Program
Global Schedule
| Mo Sep 5 |
Tue Sep 6 |
Wed Sep 7 |
Thu Sep 8 |
Fr Sep 9 |
Sa Sep 10 |
| QEST Tutorials | QEST | QEST | QEST | TGC | TGC |
| CONCUR | CONCUR | CONCUR | CONCUR | GASICS | |
| EXPRESS | COMPMOD |
||||
| SOS | LAM | ||||
| MLQA | FOCLASA | ||||
| SECCO | YR-CONCUR | ||||
| Reception | Excursion & Banquet |
Monday, September 5: QEST Tutorials, EXPRESS/SOS, MLQA/SECCO
Tuesday, September 6
Wednesday, September 7
Thursday, September 8
Friday, September 9
Saturday, September 10: TGC/GASICS, COMPMOD/LAM, FOCLASA/YR-CONCUR
COMPMOD Super C, 428 & 429 |
LAM Super C, 430 |
|||
| 09:00 – 09:15 Opening | ||||
| 09:00 – 10:00 | 09:15 – 10:00 | |||
| Session CO1: Invited Talk | Session L1: Invited Talk | |||
| Verena Wolf Parameter Estimation for Stochastic Models of Chemical Reaction Networks |
Marcin Dziubiński Complexity of Multiagent BDI Logics with Restricted Modal Context |
|||
| 10:00 – 10:30 Coffee Break | ||||
| 10:30 – 12:00 | ||||
| Session CO2 | Session L2 | |||
| Cristina Calcagno, Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Eva Sciacca, Salvatore Spinella and Angelo Troina Modelling Spatial Interactions in the Arbuscular Mycorrhizal Symbiosis using the Calculus of Wrapped Compartments |
|
|||
| Luca Bortolussi and Alberto Policriti Programmable Models of Growth and Mutation of Cancer-Cell Populations |
||||
| Vashti Galpin, Jane Hillston and Federica Ciocchetta A Semi-Quantitative Equivalence for Abstracting from Fast Reactions |
||||
| 12:00 – 14:00 Lunch Break | ||||
| 14:00 – 16:00 | ||||
| Session CO3 | Session L3 | |||
|
Frank Heitmann and Michael Köhler-Bußmeier On Defining Conflict-Freedom for Object Nets |
|||
| 14:45 – 16:00 | ||||
| Session L4: Invited Talk | ||||
| Hans Hüttel Types for Behavioural Analysis |
||||
| 16:00 – 16:30 Coffee Break | ||||
| 16:30 – 17:30 | 16:30 – 17:15 | |||
| Session CO4 | Session L5 | |||
| Pietro Liò, Emanuela Merelli and Nicola Paoletti Multiple Verification in Computational Modeling of Bone Pathologies |
Gianluigi Bellin On The Pi-Calculus and Distributed Calculi for Co-Intuitionistic Logic |
|||
| Luboš Brim, Jana Fabriková, Sven Dražan and David Safranek Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation |
||||
| 17:15 – 17:30 Closing | ||||
