[TYPES/announce] MLQA in York in March
Prof Flemming Nielson
nielson at imm.dtu.dk
Wed Feb 11 11:44:20 EST 2009
This is a call for participation in the Kick-Off meeting of
Models and Logics for Quantitative Analysis (MLQA)
on Saturday 28’th of March 2009 as part of ETAPS in York.
The proposed working group focuses on process models analysed
using logics for quantitative properties:
(1) process models described by transition systems,
automata or process calculi,
(2) logics for stochastic or 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 please see http://www.mt-lab.dk/MLQA
For registration please complete the ETAPS registration form;
to give a short presentation send a mail as indicated in the link.
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