MOVEP 2012 (from 3 to 7 of december 2012)

17th April 2012

The 10th school of MOVEP (MOdelling and VErifying parallel Processes) will take place at the CIRM in Luminy (Marseille) and will be hosted by the LIF from 3 to 7 of december 2012.
MOVEP 2012

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 probabilistic systems, logic, games, Petri nets, security, etc.
The program of the School consists of six 2h30 tutorials and five 1h30 talks.

Leave a Reply

You must be logged in to post a comment.