******* Please accept our apologies if you receive multiple copies *******
************************************************************************** CALL FOR STUDENT ABSTRACTS & REGISTRATIONS NOW OPEN ************************************************************************** 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:[email protected] 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. 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 [email protected] before May 16th (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 * 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 * Ezio Bartocci (Vienna Univ. of Technology) Runtime Verification Registration fees ================= Early/Late registration fees are - €370/470 for students (accomodation included) - €300/400 for students (w/o accomodation) - €410/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 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)
-- -------------------------------------------- -------------------------------------------- Benoît Delahaye Maître de Conférences Université de Nantes/LINA ---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
