3-7 Dec 2012
Marseille, France
********************** CALL FOR PARTICIPATION ************************
MOVEP 2012
10th International Winter School on
MOdelling and VErifying parallel Processes
December 3 -- 7 2012, Marseille, France
http://movep.lif.univ-mrs.fr/
***** CALL FOR STUDENT ABSTRACTS ***** CALL FOR PARTICIPATION ******
AIMS AND SCOPE -----------------------------------------------------
MOVEP is a 5 day summer school about modelling and verifying parallel
processes. The first five occurrences of the School took place in
Nantes (France) every two years from 1994 to 2002. The next editions
were held in Brussels (Belgium) in December 2004, in Bordeaux (France)
in June 2006, in Orleans (France) in June 2008, and in Aachen (Germany)
in June 2010.
The purpose of MOVEP is to bring together researchers, students and
people from industry working in the fields of control and verification
of concurrent and reactive systems. The school seeks to offer a broad
spectrum of current research in this area of theoretical and applied
computer science. The topics covered by MOVEP 2012 include model
checking, synthesis, abstract interpretation, real-time and probabi-
listic systems, logic, games, Petri nets, security, etc.
MOVEP 2012 is a thematic school of the CNRS. It is also supported by
the CIRM, the INRIA, Action Afsec of the Cnrs Gdr Asr, Aix-Marseille
University, and the LIF.
PROGRAM ------------------------------------------------------------
Tutorials (2h30)
----------------
o Analysis of Extended AADL Models
A. Cimatti (IRST, IT) and J.-P. Katoen (RWTH Aachen, DE)
o Petri Nets for Verification
Javier Esparza (TU Mnchen, DE)
o Games for Verification and Synthesis
Hugo Gimbert (LaBRI, Bordeaux, FR)
o Probabilistic systems
Marta Kwiatkowska (Oxford University, GB)
o Timed automata and their quantitative extensions
Kim G. Larsen (Aalborg University, DK)
o Logic and Verification
Moshe Y. Vardi (Rice University, US)
Technical Talks (1h30)
----------------------
o Logical foundations of security
Gilles Barthe (IMDEA, Madrid, ES)
o Verification of concurrent systems
Ahmed Bouajjani (LIAFA, Paris, FR)
o Runtime Verification
Martin Leucker (TU Mnchen, DE)
o Abstract Interpretation
Antoine Min (ENS Paris - CNRS, FR)
o Software Synthesis
Ruzika Piskac (MPI-SWS, DE)
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 submitted electronically until
October 19th (see the web site for detailed submission instructions).
REGISTRATION -------------------------------------------------------
Registration to the School is open from July 2, 2012.
Registration fees are:
o Double room 410 Euros
o Single room 450 Euros
The registration fee includes accommodation, meals, attendance to the
scientific program, course materials, coffee breaks, and a conference
dinner.
ORGANISATION -------------------------------------------------------
Steering Committee
------------------
o Franck Cassez (NICTA, Sydney, AU)
o Thierry Jron (INRIA, Rennes, FR)
o Christof Lding (RWTH Aachen, DE)
o Nicolas Markey (LSV, Cachan, FR)
o Pierre-Alain Reynier (LIF, Marseille, FR)
o Mark D. Ryan (Univ. Birmingham, GB)
Program Committee
-----------------
o Krishnendu Chatterjee (IST, AT)
o Alessandro Cimatti (IRST, Trento, IT)
o Vronique Cortier (LORIA - CNRS, FR)
o Giorgio Delzanno (Univ. of Genova, IT)
o Dino Distefano (Queen Mary Univ., GB)
o Martin Frnzle (Univ. of Oldenburg, DE)
o Petr Jancar (Technical Univ. Ostrava, CZ)
o Claude Jard (ENS Cachan, Rennes, FR)
o Bengt Jonsson (Uppsala Univ., SE)
o Joost-Pieter Katoen (RWTH Aachen, DE)
o Felix Klaedtke (ETH Zurich, CH)
o Kim G. Larsen (Aalborg Univ., DK)
o Rupak Majumdar (MPI-SWS \& UCLA, DE)
o Oded Maler (VERIMAG - CNRS, FR)
o Markus Mller-Olm (Univ. of Mnster, DE)
o Joel Ouaknine (Oxford Univ., GB)
o Jean-Franois Raskin (ULB, Brussels, BE)
o Olivier H. Roux (IRCCyN, Nantes, FR)
o Stefan Schwoon (LSV, Cachan, FR)
o Jeremy Sproston (Univ. of Torino, IT)
o Grgoire Sutre (LaBRI, Bordeaux, FR)
o Frits Vaandrager (Radboud Univ., NL)
o Luca Vigano (Univ. of Verona, IT)
Local Organisation
------------------
o Pierre-Alain Reynier (LIF, Marseille, FR)
IMPORTANT DATES ----------------------------------------------------
July 2, 2012: Opening of pre-registration
September 3, 2012: Opening of registration
October 19, 2012: Deadline for submission of student papers
November 2, 2012: End of registration
December 3 -7, 2012: Winter school MOVEP 2012
FURTHER INFORMATION ------------------------------------------------
Web site: http://movep.lif.univ-mrs.fr/
Email: movep2012@lif.univ-mrs.fr
_______________________________________________
GAMES mailing list
GAMES@lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/games