Difference between revisions of "MLQA 2011"
Jump to navigation
Jump to search
| Line 11: | Line 11: | ||
* 09:15 - 10:00 Y. Le Boudec, ODEs and discrete simulation |
* 09:15 - 10:00 Y. Le Boudec, ODEs and discrete simulation |
||
| − | 10:00 - 10:30 |
+ | * 10:00 - 10:30 Cofee Break |
| − | Cofee Break |
||
| − | 10:30 - 11:45 |
+ | * 10:30 - 11:45 J. Hillston, ODE and Stochastic Process Algebras |
| − | J. Hillston |
||
| − | ODE and Stochastic Process Algebras |
||
| ⚫ | |||
| − | 11:45 - 12:30 |
||
| − | L. Bortolussi |
||
| ⚫ | |||
| − | 12:30 - 14:00 |
+ | * 12:30 - 14:00 Lunch & poster session |
| − | Lunch & poster session |
||
| ⚫ | |||
| − | 14:00 - 14:45 |
||
| − | J. Desharnais |
||
| ⚫ | |||
| ⚫ | |||
| − | 14:45 - 15:30 |
||
| − | V. Wolf |
||
| ⚫ | |||
| − | 15:45 - 17:30 [TSWG sessions] |
+ | * 15:45 - 17:30 [TSWG sessions] |
Thematic Small Working Group |
Thematic Small Working Group |
||
| Line 43: | Line 33: | ||
Convened by Flemming Nielson |
Convened by Flemming Nielson |
||
| − | 17:30 - 18:30 |
+ | * 17:30 - 18:30 MLQA business meeting |
| − | MLQA business meeting |
||
Revision as of 16:54, 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