| Lecturer | Title | |||
| Mon June 17 |
||||
| 08.00-09.00 | breakfast | |||
| 09.15-09.30 | opening of SFM-13:DS | |||
| 09.30-12.30 | Herbert Wiklicky
Imperial College London UK |
Introduction to Dynamical Systems | ||
| 12.30-14.00 | lunch | |||
| 15.00-18.00 | Abbas Edalat
Imperial College London UK |
Introduction to Chaotic Dynamics and Fractals | ||
| Tue June 18 |
||||
| 08.00-09.00 | breakfast | |||
| 09.30-12.30 | Joost-Pieter Katoen
RWTH Aachen DE |
Quantitative Automata-Based Models and Model Checking |
||
| 12.30-14.00 | lunch | |||
| 14.00-17.00 | Boris Köpf
IMDEA Software ES |
Information-Theoretic Security Analysis | ||
| 17.00-18.30 | Renato Renner
ETH Zurich CH |
Quantum Information Theory (part 1) |
||
| Wed June 19 |
||||
| 08.00-09.00 | breakfast | |||
| 09.30-11.00 | Renato Renner
ETH Zurich CH |
Quantum Information Theory (part 2) |
||
| 11.00-12.30 | Jiannis Pachos
Univ. Leeds UK |
Topological Quantum Computing (part 1) |
||
| 12.30-14.00 | lunch | |||
| 14.00-15.30 | Jiannis Pachos
Univ. Leeds UK |
Topological Quantum Computing (part 2) |
||
| 15.30-18.30 | Jeremy Bradley
Imperial College London UK |
Fluid Analysis of Markov Models | ||
| Thu June 20 |
||||
| 08.00-09.00 | breakfast | |||
| 09.30-12.30 | Oded Maler
VERIMAG FR |
Discrete and Hybrid Methods in Systems Biology (1-2-3) |
||
| 12.30-14.00 | lunch | |||
| 15.00-18.00 | Ion Petre
Abo Akademi FI |
ODE Analysis of Biological Systems | ||
| Fri June 21 |
||||
| 08.00-09.00 | breakfast | |||
| 09.30-12.30 | David Safranek
Masaryk Univ. CZ |
Model Checking of Biological Models | ||
| 12.30-14.00 | lunch | |||
| 15.00-18.00 | Luca Bortolussi
Univ. Trieste IT |
Fluid Model Checking | ||
| 18.00-18.15 | closing of SFM-13:DS | |||