[TYPES/announce] MLQA - Call for Participation

Henrik Pilegaard hepi at imm.dtu.dk
Wed Jan 7 11:38:04 EST 2009


This is a call for participation in the Kick-Off meeting of Models and 
Logics for Quantitative Analysis (MLQA).
It takes place on Saturday 28’th of March 2009 in York and is part of 
ETAPS 2009.

The focus of the working group is on process models analysed using 
logics for quantitative properties:
(1) process models formally described by transition systems, automata or 
process calculi,
(2) logics for expressing stochastic and continuous (control theory) 
properties as well as discrete ones,
(3) algorithms, theory and tools, and
(4) applications within embedded systems, service oriented systems, and 
biological systems.

For more details see: http://www.mt-lab.dk/MLQA


See you in York,

Flemming Nielson <nielson(at)imm.dtu.dk> and
Henrik Pilegaard <hepi(at)imm.dtu-dk>


More information about the Types-announce mailing list