Difference between revisions of "MLQA 2011"
Jump to navigation
Jump to search
| Line 8: | Line 8: | ||
Sept. 5, 2011 |
Sept. 5, 2011 |
||
| − | * 09: |
+ | * 09:30 - 09:45 Opening |
| − | * 09: |
+ | * 09:45 - 10:30 J.Y. Le Boudec, [[Abstracts MLQA 2011#ODEs and discrete simulation|ODEs and discrete simulation]] |
| − | * 10: |
+ | * 10:30 - 11:00 Cofee Break |
| − | * |
+ | * 11:00 - 11:45 J. Hillston, [[Abstracts MLQA 2011#Stochastic process algebras and ODEs|Stochastic process algebras and ODEs]] |
| Line 28: | Line 28: | ||
* 14:45 - 15:30 J. Desharnais, [[Abstracts MLQA 2011#Approximation of continuous space systems and associated metrics and logics|Approximation of continuous space systems and associated metrics and logics]] |
* 14:45 - 15:30 J. Desharnais, [[Abstracts MLQA 2011#Approximation of continuous space systems and associated metrics and logics|Approximation of continuous space systems and associated metrics and logics]] |
||
| − | * 15: |
+ | * 15:30 - 16:00 Cofee Break |
| − | ** Thematic Small Working Group: ''Formal Aspects and Tools for Quantitative Information Hiding''. Convened by Catuscia Palamidessi |
||
| ⚫ | |||
| ⚫ | |||
| ⚫ | |||
| − | |||
| ⚫ | |||
Revision as of 13:46, 2 August 2011
The third annual meeting of the MLQA working group will take place on September 5, 2011 in Aachen - colocated with CONCUR and QEST.
The registration will take place through CONCUR, please see the registration page on CONCUR website.
Tentative Programme (updated on Jan 21, 2011)
Sept. 5, 2011
- 09:30 - 09:45 Opening
- 09:45 - 10:30 J.Y. Le Boudec, ODEs and discrete simulation
- 10:30 - 11:00 Cofee Break
- 11:00 - 11:45 J. Hillston, Stochastic process algebras and ODEs
- 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 V. Wolf, Stochastic Hybrid Analysis of Markov Population Models
- 14:45 - 15:30 J. Desharnais, Approximation of continuous space systems and associated metrics and logics
- 15:30 - 16:00 Cofee Break
- 16:00 - 17:00 MLQA business meeting
- 17:00 - 18:00 Thematic Small Working Group: Hidden Markov Chains and the languages/logics. Convened by Flemming Nielson