MLQA 2011

From ERCIM Working Group MLQA
Revision as of 16:49, 12 January 2011 by Ender (talk | contribs) (New page: --------------- Tentative Programme (Version 3 of Jan 7, 2011) ----------------------- Sept. 5, 2011 09:00 - 09:15 Opening 09:15 - 10:00 Y. Le Boudec ODEs and discrete simulation 1...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Tentative Programme (Version 3 of Jan 7, 2011) -----------------------

Sept. 5, 2011

09:00 - 09:15 Opening

09:15 - 10:00 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 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

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=311"