MLQA 2011: Difference between revisions

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

@@ Line 8: / Line 8: @@
 Sept. 5, 2011
-* 09:00 - 09:15 Opening
+* 09:30 - 09:45 Opening
-* 09:15 - 10:00 J.Y. Le Boudec, [[Abstracts MLQA 2011#ODEs and discrete simulation|ODEs and discrete simulation]]
+* 09:45 - 10:30 J.Y. Le Boudec, [[Abstracts MLQA 2011#ODEs and discrete simulation|ODEs and discrete simulation]]
-* 10:00 - 10:30 Cofee Break
+* 10:30 - 11:00 Cofee Break
-* 10:30 - 11:45 J. Hillston, [[Abstracts MLQA 2011#Stochastic process algebras and ODEs|Stochastic process algebras and ODEs]]
+* 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]]
-* 15:45 - 17:30 [TSWG sessions]
+* 15:30 - 16:00 Cofee Break
-** Thematic Small Working Group: ''Formal Aspects and Tools for Quantitative Information Hiding''. Convened by Catuscia Palamidessi
-** Thematic Small Working Group: [[Abstracts MLQA 2011#Small Thematic Working Group on Hidden Markov Models|Hidden Markov Chains and the languages/logics]]. Convened by Flemming Nielson
+* 16:00 - 17:00 MLQA business meeting
+* 17:00 - 18:00 Thematic Small Working Group: [[Abstracts MLQA 2011#Small Thematic Working Group on Hidden Markov Models|Hidden Markov Chains and the languages/logics]]. Convened by Flemming Nielson
-* 17:30 - 18:30 MLQA business meeting