MLQA 2011: Difference between revisions

Latest revision as of 15:59, 12 September 2011

The third annual meeting of the MLQA working group took place on September 5, 2011 in Aachen - colocated with CONCUR and QEST. The event consisted of a number of invited talks, a poster session and a business meeting.

Programme

The abstracts and the presentations of the talks in MLQA 2011 are available, please click on the titles below.

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

See the minutes from the MLQA 2011 Meeting

@@ 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 took place on September 5, 2011 in Aachen - colocated with CONCUR and QEST. The event consisted of a number of invited talks, a poster session and a business meeting.
 ---------------
-'''Tentative Programme (updated on  Jan 21, 2011)'''
+'''Programme'''
+The abstracts and the presentations of the talks in MLQA 2011 are available, please click on the titles below.
-Sept. 5, 2011
+'''Sept. 5, 2011'''
-* 09:00 - 09:15 Opening
+* 09:30 - 09:45 [http://wiki.ercim.eu/wg/MLQA/images/d/d5/MLQA_2011-Welcome.pdf 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:45 J. Hillston, [[Abstracts MLQA 2011#Stochastic process algebras and ODEs|Stochastic process algebras and ODEs]]
+* 10:30 - 11:00 Cofee Break
+* 11:00 - 11:45 J. Hillston, [[Abstracts MLQA 2011#Stochastic process algebras and ODEs|Stochastic process algebras and ODEs]]
 * 11:45 - 12:30 L. Bortolussi, [[Abstracts MLQA 2011#On the Relationship between  ODE, Simulation and Stochastic Process Algebras|On the Relationship between  ODE, Simulation and Stochastic Process Algebras]]
@@ Line 23: / Line 23: @@
 * 14:00 - 14:45 V. Wolf, [[Abstracts MLQA 2011#Stochastic Hybrid Analysis of Markov Population Models|Stochastic Hybrid Analysis of Markov Population Models]]
+* 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:30 - 16:00 Cofee Break
+* 16:00 - 17:00 [http://wiki.ercim.eu/wg/MLQA/images/1/17/MLQA_2011-Business.pdf MLQA business meeting]
-* 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]
-** 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
+* 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
+See the [http://wiki.ercim.eu/wg/MLQA/images/c/c9/Minutes_from_the_MLQA_2011_Meeting.pdf minutes from the MLQA 2011 Meeting]
-* 17:30 - 18:30 MLQA business meeting