[Concurrency] Summer School Movep’08, 2nd Call for participation
————————————————————————————————————–
Please find enclosed the annoucement for the Summer School MOVEP’08.
We apologize if you received multiple copies of this mail.
Please forward this information to your colleagues and other interested
people as well. Thank you.
———————————————————————————————————–
MOVEP 2008
8th International Summer School on
MOdelling and VErifying parallel Processes
23-27 June 2008, Orléans, France
http://www.univ-orleans.fr/evenements/movep2008
******************* CALL FOR PARTICIPATION ********************
AIMS AND SCOPE ———————————————————–
MOVEP is a 5 day summer school about modeling 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 edition
was held in Brussels (Belgium) in December 2004, and the last one in
Bordeaux (France) in June 2006.
General topics relate to specification and verification of
computerized systems designed for the control of real-time
applications, reactive or critical systems, and involving concurrent
processes.
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’06 include model
checking, controller synthesis, software verification, temporal
logics, real-time and hybrid systems, stochastic systems, security,
etc.
PROGRAM ——————————————————————
Tutorials (2h30)
—————-
o Computational systems biology
Vincent Danos (University Paris Diderot, France)
o Games
Christof Löding (RWTH Aachen University, Germany)
o Verification of Probabilistic Systems
Dave Parker (Computing Laboratory, University of Oxford, UK)
o Verification of Hybrid Systems
Goran Frehse (Verimag, Grenoble, France)
o Timed Systems including model-checking, games
Nicolas Markey (LSV, Cachan, France)
o Security (Formal methods and provable security)
Yassine Lakhnech (Verimag, Grenoble, France)
Technical talks (1h30)
———————-
o Verification of infinite state probabilistic systems
Antonin Kucera (MUNI, Brno, Czech Republic)
o Controller Synthesis
Laurent Doyen (EPFL, Lausanne, Switzerland)
o Static analysis
Andreas Podelski (Institut für Informatik, University of Freiburg,
Germany)
o Binary code analysis
Thomas W. Reps (University of Wisconsin-Madison, WI, USA)
o Hierarchical Control of Discrete Event Systems
José E.R. Cury (Universidade Federal de Santa Catarina, Florianopolis,
Brazil)
STUDENT SESSIONS
———————————————————
In addition to the tutorials and talks, there will be special sessions
devoted to Ph.D. students, where they will be able to present their
on-going research. Moreover, extended abstracts of these
presentations will be published with the proceedings of the School.
REGISTRATION
————————————————————-
Registration to the School is open until May 12, 2008. The applicants
will be accepted on a first-come first served basis until the
positions are filled. Registration fees and detailed instructions are
provided on the web site.
(Due to the limited number of rooms, please register as soon as possible.)
ORGANIZATION
————————————————————-
Steering Committee
————————-
* Franck Cassez (IRCCyN, Nantes, F)
* Jean-Michel Couvreur (LIFO, Orléans, F)
* Thierry Jéron (INRIA, Rennes, F)
* François Laroussinie (LIAFA, Paris, F)
* Mark D. Ryan (Univ. Birmingham, GB)
* Grégoire Sutre (LaBRI, Bordeaux, F)
Program Committee
————————-
* Luca de Alfaro (UC Santa Cruz, USA)
* Patricia Bouyer (LSV, Cachan, F)
* Ahmed Bouajjani (LIAFA, Paris, F)
* Ed Brinksma (ESI & Univ. Twente, NL)
* Giorgio Delzanno (Univ. Genova, I)
* Alain Griffault (LaBRI, Bordeaux, F)
* Thomas A. Henzinger (EPFL, Lauzanne, CH)
* Claude Jard (IRISA, Rennes, F)
* Petr Jan?ar (VŠB-TU, Ostrava, CZ)
* Kim Larsen (Aalborg Univ., DK)
* Gavin Lowe (Oxford Univ., GB)
* Rupak Majumdar (UC Los Angeles, USA)
* Markus Müller-Olm (Univ. Münster, D)
* John Mullins (EPM, Montréal, CDN)
* Damian Niwinski (Univesity Warsaw, P)
* Jean-Francois Raskin (ULB, Bruxelles, B)
* Olivier Roux (Irccyn, Nantes, F)
* Brigitte Rozoy (LRI, Orsay, F)
* Rodolphe Sepulchre (Univ. Liège, B)
* Joseph Sifakis (VERIMAG, Grenoble, F)
* Jeremy Sproston (University Torino, I)
Local Organization (LIFO, Univerity of Orléans, F)
——————————————————————
IMPORTANT DATES
———————————————————-
March 31, 2008: Opening of registration
May 12, 2008: Deadline for submission of student papers
May 12 2008: Deadline for registration
June 23-27, 2008: Summer school MOVEP’08
FURTHER INFORMATION
——————————————————
Web site: http://www.univ-orleans.fr/evenements/movep2008
E-mail: Jean-Michel.Couvreur@univ-orleans.fr
Thierry.Jeron@irisa.fr
_______________________________________________
Concurrency mailing list
Concurrency@listserver.tue.nl
http://listserver.tue.nl/mailman/listinfo/concurrency