Difference between revisions of "MLQA 2011"
(New page: --------------- Tentative Programme (Version 3 of Jan 7, 2011) ----------------------- Sept. 5, 2011 09:00 - 09:15 Opening 09:15 - 10:00 Y. Le Boudec ODEs and discrete simulation 1...) |
|||
| Line 1: | Line 1: | ||
| + | The third annual meeting of the MLQA working group will take place on September 5, 2011 in Aachen - colocated with CONCUR and QEST. |
||
| ⚫ | |||
| + | |||
| + | --------------- |
||
| + | |||
| ⚫ | |||
Sept. 5, 2011 |
Sept. 5, 2011 |
||
| − | 09:00 - 09:15 |
+ | * 09:00 - 09:15 Opening |
| − | Opening |
||
| − | 09:15 - 10:00 |
+ | * 09:15 - 10:00 Y. Le Boudec, ODEs and discrete simulation |
| − | Y. Le Boudec |
||
| − | ODEs and discrete simulation |
||
10:00 - 10:30 |
10:00 - 10:30 |
||
Revision as of 16:52, 12 January 2011
The third annual meeting of the MLQA working group will take place on September 5, 2011 in Aachen - colocated with CONCUR and QEST.
Tentative Programme (Version 3 of Jan 7, 2011)
Sept. 5, 2011
- 09:00 - 09:15 Opening
- 09:15 - 10:00 Y. Le Boudec, ODEs and discrete simulation
10:00 - 10:30 Cofee Break
10:30 - 11:45 J. Hillston ODE and Stochastic Process Algebras
11:45 - 12:30 L. Bortolussi On the Relationship between ODE, Simulation and Stochastic Process Algebras
12:30 - 14:00 Lunch & poster session
14:00 - 14:45 J. Desharnais Approximation of continuous space systems and associated metrics and logics
14:45 - 15:30 V. Wolf Stochastic Hybrid Analysis of Markov Population Models
15:45 - 17:30 [TSWG sessions]
Thematic Small Working Group Formal Aspects and Tools for Quantitative Information Hiding Convened by Catuscia Palamidessi
Thematic Small Working Group Hidden Markov Chains and the languages/logics Convened by Flemming Nielson
17:30 - 18:30 MLQA business meeting