Report from the Kick-Off meeting
The
Kick-Off meeting of the proposed ERCIM working group on Models and Logics for Quantitative Analysis (abbreviated MLQA) took place on Saturday 28Õth of
March in conjunction with ETAPS 2009 in York.
The programe of the meeting was as follows:
á
10.10-10.30: Opening
o
Flemming Nielson: ÒAn overview of MLQAÓ
á
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
á
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
á
16.00-17.00: Short Presentations (Ò4 minutes, 1 slideÓ):
o
Tino Teige (University of Oldenburg).
o
Herbert Wiklicky (Imperial College).
o
Vashti Galpin (University of Edinburgh).
o
Manuela Bujorianu (Cicada).
o
Stefan Kiefer (TU Munich).
o
Erik de Vink (CWI and TU/e).
o
Milad Niqui (CWI).
o
Ezio Bartocci (Universita Camerino).
o
Henrikas Pranevicius (Kaunas University of Technology).
o
Sven Schneider (TU Berlin).
o
Mark Timmer (University of Twente).
o
Uli Fahrenberg (University of Aalborg).
á 17.10-18.00: Discussion
Please consult the MLQA webpage http://www.MT-LAB.dk/MLQA for the
presentations made.
The discussion fully supported actually creating the
working group.
Concerning
the mission statement it was suggested that the logic component be stressed
further, that we should make sure to involve control theory and that we should
be open to neighbouring areas like performance guarantees; the latter could be
accomplished by inviting guest speakers to future meetings. It was also
suggested that theorem proving be mentioned as a relevant technology.
Concerning application areas it was suggested that life sciences (applications
to biology) should be worked better into the document and that the security
component should be strengthened.
Concerning
the duration of the meetings a two day meeting colocated with a relevant
conference was favoured. It is not the intention ot create a meeting with
accepted papers but rather to keep it an informal venue intended to create
synergies. Some concrete suggestions were to colocate with QEST and FORMATS whereas ETAPS
was felt to be a bit crowded (and there
was the unfortunate scheduling of MLQA and QAPL on the same day) and ICALP and
DiscoTec were found not to be too close in topic. Indeed QEST and FORMATS will
be held in 2011 in Aachen and Joost-Pieter Katoen (present at the meeting) will
be the organizer.
Concerning
the contents of the meeting it was suggested that an effort should be made to
make the meetings ÒspecialÓ. Ideas could be to contrast ÒopposingÓ analysis
techniques, to present and share case studies of a reasonable size that could
be addressed using various techniques. In other words to actually avoid the
risk of becoming yet another conference. Once the board of the working group is
in place it would be the duty of the board to make this kind of planning.
The
meeting was attended by the following attendees:
|
Attendant |
Affiliation |
|
|
Ezio |
Bartocci |
UNICAM, Camerino, Italy |
|
Manuela |
Bujorianu |
University of Manchester, UK |
|
Gabriel |
Ciobanu |
Romanian Academy,Iasi, Romania |
|
Vincent |
Danos |
University of Edinburgh, Informatics |
|
Rocco |
de Nicola |
Universita di Firenze, Italy |
|
Erik |
de Vink |
TU Eindhoven and CWI |
|
Uli |
Fahrenberg |
Aalborg University, Computer Science |
|
Vashti |
Galpin |
University of Edinburgh, Informatics |
|
Stephen |
Gilmore |
University of Edinburgh, Informatics |
|
Matthew |
Hennessy |
Trinity College Dublin, Computer Science |
|
Holger |
Hermanns |
Saarland University |
|
Jane |
Hillston |
University of Edinburgh, Informatics |
|
Joost-Pieter |
Katoen |
RWTH Aachen and University of Twente |
|
Stefan |
Kiefer |
TU Munich, Informatics |
|
Richard |
Lassaigne |
University Paris 7 |
|
Diego |
Latella |
CNR, ISTI |
|
Michele |
Loreti |
Universita di Firenze, Italy |
|
Emanuela |
Merelli |
UNICAM, Camerino, Italy |
|
Flemming |
Nielson |
DTU Informatics |
|
Hanne Riis |
Nielson |
DTU Informatics |
|
Milad |
Niqui |
CWI |
|
Catuscia |
Palamidessi |
INRIA |
|
David |
Parker |
Oxford University |
|
Nenrikas |
Pranevicius |
Kaunas University |
|
Paola |
Quaglia |
Trento University, Italy |
|
Vladimiro |
Sassone |
University of Southampton |
|
Sven |
Schneider |
Technical University Berlin |
|
Nataliya |
Skrypnyuk |
DTU Informatics |
|
Carolyn |
Talcott |
SRI International, USA |
|
Tino |
Teige |
Oldenburg University |
|
Mark |
Timmer |
University of Twente, Netherlands |
|
Herbert |
Wiklicky |
Imperial College, London |
|
Ender |
Yuksel |
DTU Informatics |