CfP: Summer School MOVEP 2014

CALL FOR STUDENT ABSTRACTS & REGISTRATIONS NOW OPEN

EXTENDED DEADLINE

Summer School MOVEP 2014

11th School on MOdelling and VErifying parallel Processes

7 -- 11 July 2014, Nantes, France

http://movep14.irccyn.ec-nantes.fr/

enquiries / submissions: movep14@irccyn.ec-nantes.fr

The CNRS european summer school MOVEP is organized under the auspices of
the AtlanSTIC Federation, mobilizing the IRCCyN (Institut de Recherche
en Communications et Cybernetique de Nantes, France) and LINA (Laboratoire
d'Informatique de Nantes Atlantique, France) research laboratories in
Nantes.

French at the beginning, MOVEP has become since 2000 a European summer
school. The first five occurrences of the school took place in Nantes
(France) from 1994 to 2002, then in Brussels (Belgium) in December
2004, in Bordeaux (France) in 2006, near Orleans (France) in
2008, Aachen (Germany) in 2010 and Marseille (France) in 2012.

The purpose of MOVEP is to bring together researchers,
students, and people from industry working in the area of control and
verification of concurrent real-time systems.

The program consists of six 2h30 tutorial sessions, five more 1h30 focused
technical talks, and a number of student sessions during which Ph.D.
Students will be able to present their on-going research.

Ph.D. Student Sessions
======================

In addition to the tutorials and talks, there will be special sessions
where Ph.D. students have the possibility to present their on-going
research. Extended abstracts have to be sent by email to
movep14@irccyn.ec-nantes.fr before May 23th (Extended) (see the web site for
detailed submission instructions).

Confirmed speakers and topics:
==============================

Tutorials

• Patricia Bouyer (LSV, CNRS & ENS de Cachan - France)
  • Timed Systems
• Marco Faella (DIETI, Univ. Napoli - Italy)
  • Hybrid Systems
• Holger Hermanns (Univ. des Saarlandes - Germany)
  • Probabilistic Systems
• Joost-Pieter Katoen (RWTH Aachen Univ. - Germany)
  • Logic and Verification
• Maciej Koutny (Newcastle Univ. - U.K.)
  • Concurrent Systems
• Sven Schewe (Univ. of Liverpool - U.K.)
  • Games and Synthesis

Focus Talks

• Stephanie Delaune (LSV, CNRS & ENS de Cachan - France)
  • Security
• David Parker (Univ. of Birmingham - U.K.)
  • Probabilistic Real-time Systems
• Jean-Francois Raskin (U.L.B. - Belgium)
  • Quantitative Games
• Pierre-Alain Reynier (Univ. Aix-Marseille - France)
  • Robustness of Timed Systems
• Ezio Bartocci (Vienna Univ. of Technology)
  • Runtime Verification

Registration fees
=================

Early/Late registration fees are

• EU370/470 for students (accomodation included)
• EU300/400 for students (w/o accomodation)
• EU410/510 for non-students

The registration fee includes lunches and coffee breaks from Monday 8th
through Friday 11th, attendance to the scientific program, course materials
and a conference dinner. Accomodation will be provided from Sunday 7th
through Friday 11th (students only).

Important Dates (please refer to the Website for the full procedure):
=================

• April 15, 2014 Opening of registrations
• May 23, 2014 Student Abstract submission deadline (EXTENDED)
• May 27, 2014 End of early registrations
• June 11, 2014 End of registrations
• June 13, 2014 Notification of abstract acceptance
• June 23, 2014 Deadline for the final version of abstracts
• July 7, 2014 Opening of MOVEP'14
• July 11, 2014 End of MOVEP'14

Organizing Committee
====================

• Benoit Delahaye (LINA, Universite de Nantes, France)
• Claude Jard (LINA, Universite de Nantes, France)
• Didier Lime (IRCCyN, Ecole Centrale de Nantes, France)
• Olivier H. Roux (IRCCyN, Ecole Centrale de Nantes, France)
• Michele-Anne Audrain (IRCCyN, CNRS, France)
• Anne-Francoise Quin (LINA, CNRS, France)
• Virginie Dupont (IRCCyN, CNRS, France)

Steering Committee of MOVEP'14
==============================

• Franck Cassez (NICTA, Sydney, A)
• Thierry Jeron (INRIA, Rennes, F)
• Didier Lime (IRCCyN, Nantes, F)
• Christof Loding (RWTH Aachen, D)
• Nicolas Markey (LSV, Cachan, F)
• Pierre-Alain Reynier (LIF, Marseille, F)

Program Committee of MOVEP'14
=============================

• Gilles Barthe (IMDEA, Madrid, Spain)
• Ahmed Bouajjani (LIAFA, Paris, France)
• Krishnendu Chatterjee (IST Austria)
• Alessandro Cimatti (IRST, Italy)
• Veronique Cortier (LORIA, Nancy, France)
• Pedro R. D'Argenio (Univ. of Cordoba, Argentina)
• Giorgio Delzanno (Univ. Genova, Italy)
• Dino Distefano (Facebook, UK)
• Javier Esparza (Technical Univ. of Munich, Germany)
• Martin Franzle (Univ. of Oldenburg, Germany)
• Hugo Gimbert (LaBRI, Bordeaux, France)
• Boudewijn Haverkort (Univ. of Twente, The Netherlands)
• Petr Jancar (Technical Univ., Ostrava, Czech Republic)
• Bengt Jonsson (Uppsala Univ., Sweden)
• Joost-Pieter Katoen (RWTH Aachen Univ., Germany)
• Felix Klaedtke (NEC Laboratories Europe, Germany)
• Kim G. Larsen (Aalborg Univ., Denmark)
• Martin Leucker (Univ. of Lubeck, Germany)
• Rupak Majumdar (MPI-SWS & UCLA, Germany)
• Oded Maler (Verimag, Grenoble, France)
• Antoine Mine (ENS, Paris, France)
• David Parker (Univ. of Birmingham, UK)
• Jean-Francois Raskin (Univ. Libre de Bruxelles, Belgium)
• Stefan Schwoon (LSV, Cachan, France)
• Jeremy Sproston (Univ. Torino, Italy)
• Luca Vigano (King's College London, UK)