MOVEP 2014 : 11th Summer School on Modelling and Verification of Parallel Processes (MOVEP'14), 7-11 July 2014, Nantes, France
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 other year from 1994 to 2002. It then moved to Brussels (Belgium) in 2004 Bordeaux (France) in 2006, Orléans (France) in 2008, Aachen (Germany) in 2010, and Marseilles (France) in 2012.
For the 20th anniversary of the event, the 11th edition will be held once again in Nantes.
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.
The program of the School consists of six 2h30 tutorials and five 1h30 technical talks.
The objective of the VSS workshop is to bring together the international community of researchers and practitioners in the area of Variable Structure Systems and Sliding Mode Control.
The VSS 2014 will feature 3 plenary sessions (whose at least one given by an industrial partner), and regular and interactive sessions on the most recent results obtained in the field of sliding mode control and variable structure systems..
for further informations see :http://movep14.irccyn.ec-nantes.fr/
Date 7-11 July 2014
Lieu IRCCyN Amphi S, Nantes, France