[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