MLQA 2011: Difference between revisions
(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...) |
No edit summary |
||
| (36 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
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 (Version 3 of Jan 7, 2011) ----------------------- |
|||
--------------- |
|||
| ⚫ | |||
'''Programme''' |
|||
09:00 - 09:15 |
|||
Opening |
|||
The abstracts and the presentations of the talks in MLQA 2011 are available, please click on the titles below. |
|||
09:15 - 10:00 |
|||
Y. Le Boudec |
|||
ODEs and discrete simulation |
|||
| ⚫ | |||
10:00 - 10:30 |
|||
Cofee Break |
|||
* 09:30 - 09:45 [http://wiki.ercim.eu/wg/MLQA/images/d/d5/MLQA_2011-Welcome.pdf Opening] |
|||
10:30 - 11:45 |
|||
J. Hillston |
|||
ODE and Stochastic Process Algebras |
|||
* 09:45 - 10:30 J.Y. Le Boudec, [[Abstracts MLQA 2011#ODEs and discrete simulation|ODEs and discrete simulation]] |
|||
11:45 - 12:30 |
|||
L. Bortolussi |
|||
On the Relationship between ODE, Simulation and Stochastic Process Algebras |
|||
* 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]] |
|||
14:00 - 14:45 |
|||
J. Desharnais |
|||
Approximation of continuous space systems and associated metrics and logics |
|||
* 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]] |
|||
14:45 - 15:30 |
|||
V. Wolf |
|||
Stochastic Hybrid Analysis of Markov Population Models |
|||
| ⚫ | |||
15:45 - 17:30 [TSWG sessions] |
|||
* 14:00 - 14:45 V. Wolf, [[Abstracts MLQA 2011#Stochastic Hybrid Analysis of Markov Population Models|Stochastic Hybrid Analysis of Markov Population Models]] |
|||
Thematic Small Working Group |
|||
Formal Aspects and Tools for Quantitative Information Hiding |
|||
Convened by Catuscia Palamidessi |
|||
* 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]] |
|||
Thematic Small Working Group |
|||
Hidden Markov Chains and the languages/logics |
|||
Convened by Flemming Nielson |
|||
* 15:30 - 16:00 Cofee Break |
|||
MLQA business meeting |
|||
* 16:00 - 17:00 [http://wiki.ercim.eu/wg/MLQA/images/1/17/MLQA_2011-Business.pdf 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 |
|||
See the [http://wiki.ercim.eu/wg/MLQA/images/c/c9/Minutes_from_the_MLQA_2011_Meeting.pdf minutes from the MLQA 2011 Meeting] |
|||
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