MLQA 2011

From ERCIM Working Group MLQA
Revision as of 14:33, 31 March 2011 by Ender (talk | contribs)

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 (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, 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 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
Retrieved from "https://wiki.ercim.eu/wg/MLQA/index.php?title=MLQA_2011&oldid=345"