| 9:00 | |
|---|---|
| 10:00 | |
| 11:00 | |
| 12:00 | |
| 13:00 | |
| 14:00 | |
| 15:00 | |
| 16:00 | |
| 17:00 | |
| 18:00 |
Model checking timed constraint automata within Vereofy
Speaker David MüllerTime 9:30 AM - 10:30 AMLocation INF 3027 TUD Andreas-Pfitzmann-BauDescription Formal verification becomes more important for software and hardware engineering. Model checking provides an algorithmic technique to examine whether a system fulfills a…FWO-Institutskolloquium "Researches developed at CEA in the field of speciation applied to environment and biology"
Speaker Eric AnsoborloTime 10:00 AM - 11:00 AMLocation 801/P244 - Seminarraum FWO HZDRDescription The knowledge of the speciation of elements at trace and ultra-trace level, in biological and envi-ronmental media is essential to acquire a better understanding of the mechanisms…Integrative modeling in developmental systems biology
Speaker Walter de BackAffiliation Speaker Dept. of Innovative Methods of Computing (IMC), Center for Information Services and High Performance Computing (ZIH), Technische Universität DresdenTime 2:30 PM - 3:30 PMSeries IMB - SeminarLocation 3rd floor, room 3.465 Institut für Medizinische Informatik und Biometrie (IMB)Description Cells in a developing tissue simultaneously differentiate, signal, move and divide and do not necessarily conform to our conceptual distinction between gene regulation, signaling…Modelling, Simulating and Analysing Structure Formation in Tissue and in Cellular Automata
Speaker Andreas DressAffiliation Speaker BielefeldTime 3:00 PM - 4:00 PMSeries TUD ZIH ColloquiumLocation Willersbau A317 TUDDescription Structure formation has fascinated mankind ever since antiquity. And, after the introduction of infinitesimal calculus, partial differential equations appeared for a long time to…
Legend
- Biology
- Chemistry
- Civil Eng., Architecture
- Computer Science
- Economics
- Electrical and Computer Eng.
- Environmental Sciences
- for Pupils
- Law
- Linguistics, Literature and Culture
- Materials
- Mathematics
- Mechanical Engineering
- Medicine
- Physics
- Psychology
- Society, Philosophy, Education
- Spin-off/Transfer
- Traffic
- Training
- Welcome