Programme
for the Kick-Off Meeting
The
Kick-Off meeting takes place on Saturday 28Õth of March in conjunction with
ETAPS 2009 in York. The aim is to establish an ERCIM Working Group called MLQA on Models and Logics for Quantitative Analysis.
Attendees
of MLQA are invited to attend the
joint invited talk of Vincent Danos on ÒInternal coarse-graining of rule-based
modelsÓ at QAPL (Quantitative
Aspects of Programming Languages) scheduled for 9.00-9.55 in the Exhibition
Centre in the Physics & Electronics building at the Campus in York.
The MLQA Kick-Off meeting starts at 10.10 in Langwith College at the Campus in York:
á
10.10-10.30: Opening
o
Flemming Nielson: ÒAn overview of MLQAÓ
á
10-30-11.00: Tea Break
á
11.00-12.30: Invited Talks:
o
Stephen Gilmore - stochastic analysis in PEPA
o
Carolyn Talcott - statistical model checking in Maude
o
Rocco De Nicola - process algebras for stochastic features
á
12.30-14.00: Lunch Break
á
14.00-15.30: Invited Talks:
o
Diego Latella - applications to service oriented systems: ÒA Stochastic
Logic for Mobility and Global ComputingÓ
o
Holger Hermanns - applications to embedded systems
o
Paola Quaglia - applications to biological systems
á
15.30-16.00: Tea Break
á
16.00-18.30: Presentations & Finalisation
o
Short presentations by attendees (4 minutes, 1 slide, to be sent to Flemming Nielson <nielson(at)imm.dtu.dk> no later than March 20):
¤
Tino Teige (University of Oldenburg); slide ok.
¤
Herbert Wiklicky (Imperial College); slide ok.
¤
Vashti Galpin (University of Edinburgh); slide ok.
¤
Manuela Bujorianu (Cicada); slide ok.
¤
Stefan Kiefer (TU Munich); slide ok.
¤
Erik de Vink (CWI and TU/e); slide ok.
¤
Milad Niqui (CWI); slide ok.
¤
Ezio Bartocci (Universita Camerino); slide ok.
¤
Henrikas Pranevicius (Kaunas University of Techno-logy); slide ok.
¤
Sven Schneider (TU Berlin); slide ok.
¤
Mark Timmer (University of Twente); slide ok.
¤
Uli Fahrenberg (University of Aalborg); slide ok.
o
Finalisation of the
MLQA Description
Registration:
á If you want to partipate in the meeting (including
organizers and invited speakers) you must register accordingly as part of your
ETAPS registration and pay the appropriate fee.
á If you want to give a short 4 minute statement of your
interests you must additionally register by sending an e-mail to Flemming
Nielson <nielson(at)imm.dtu.dk> – we will deal with requests on a
first-come-first-serve basis – including a one page pdf (landscape mode)
to support your presentation. The deadline has now passed.
Flemming Nielson
<nielson(at)imm.dtu.dk>
The MLQA home page: http://www.MT-LAB.dk/MLQA