MLQA 2011: Difference between revisions

Revision as of 16:58, 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

11:45 - 12:30 L. Bortolussi, On the Relationship between ODE, Simulation and Stochastic Process Algebras

14:00 - 14:45 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

Convened by Flemming Nielson

@@ Line 13: / Line 13: @@
 * 10:00 - 10:30 Cofee Break
-* 10:30 - 11:45 J. Hillston, ODE and Stochastic Process Algebras
+* 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
+* 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: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
+* 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
+** 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
+** Thematic Small Working Group: ''Hidden Markov Chains and the languages/logics''
 Convened by Flemming Nielson