[TYPES/announce] MOVEP'14 Call for participation

[Pedro R. D'Argenio]

******* Please accept our apologies if you receive multiple copies *******

*************************************************************************

                      Summer School MOVEP 2014

      11th School on MOdelling and VErifying parallel Processes

                7 -- 11 July 2014, Nantes, France

                http://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 Cybernétique 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 Orléans (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.




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

 * Stéphanie Delaune (LSV, CNRS & ENS de Cachan - France)
     Security

 * David Parker (Univ. of Birmingham - U.K.)
     Probabilistic Real-time Systems

 * Jean-François Raskin (U.L.B. - Belgium)
     Quantitative Games

 * Pierre-Alain Reynier (Univ. Aix-Marseille - France)
     Robustness of Timed Systems

 * Runtime Verification (Speaker to be confirmed)


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

Early registration fees are
  - EURO 370 for students (accomodation included)
  - EURO 300 for students (w/o accomodation)
  - EURO 410 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).

Late registration fee is EURO 500 and does not cover accomodation.



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

  April 15, 2014            Opening of registrations
  May 16, 2014            Submission deadline
  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
====================

  Benoît Delahaye           (LINA, Université de Nantes, France)
  Claude Jard             (LINA, Université de Nantes, France)
  Didier Lime             (IRCCyN, École Centrale de Nantes, France)
  Olivier H. Roux           (IRCCyN, École Centrale de Nantes, France)
  Michèle-Anne Audrain      (IRCCyN, CNRS, France)
  Anne-Françoise Quin       (LINA, CNRS, France)
  Virginie Dupont           (IRCCyN, CNRS, France)




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

  Franck Cassez             (NICTA, Sydney, A)
  Thierry Jéron             (INRIA, Rennes, F)
  Didier Lime               (IRCCyN, Nantes, F)
  Christof Löding           (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)
   Véronique 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 Fränzle     (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 Miné     (ENS, Paris, France)
   David Parker     (Univ. of Birmingham, UK)
   Jean-François Raskin     (Univ. Libre de Bruxelles, Belgium)
   Stefan Schwoon     (LSV, Cachan, France)
   Jeremy Sproston     (Univ. Torino, Italy)
   Luca Vigano     (King's College London, UK)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20140326/3928b0d1/attachment-0001.html>