Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

28 June to 2 July 2010, 9th Summer School on Modelling and Verifying Parallel Processes (MOVEP 2010), Aachen (Germany)

Date: 28 June to 2 July 2010
Location: Aachen (Germany)
Costs: € 50-100
Deadline: 21 May 2010

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, and in Orleans (France) in June 2008.

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 2010 include model checking, testing, synthesis, real-time and hybrid systems, games, stochastic systems, security, computational systems biology etc.

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.

FURTHER INFORMATION
Web site: http://automata.rwth-aachen.de/movep2010/
Email:

Extended abstracts have to be submitted electronically until May 21st (see the web site for detailed submission instructions).

Please note that this newsitem has been archived, and may contain outdated information or links.