Difference between revisions of "MLQA 2011"
Jump to navigation
Jump to search
| 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. |
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 [http://concur2011.rwth-aachen.de/registration|registration page] on CONCUR website. |
+ | The registration will take place through CONCUR, please see the [[http://concur2011.rwth-aachen.de/registration|registration page]] on CONCUR website. |
--------------- |
--------------- |
||
Revision as of 06:54, 6 June 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 [page] on CONCUR website.
Tentative Programme (updated on Jan 21, 2011)
Sept. 5, 2011
- 09:00 - 09:15 Opening
- 09:15 - 10:00 J.Y. Le Boudec, ODEs and discrete simulation
- 10:00 - 10:30 Cofee Break
- 10:30 - 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: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