AFSEC

MOVEP’08 (23-27 juin 2008)

9th May 2008

MOVEP is a 5 day summer school about modeling and verifying parallel processes. ( http://www.univ-orleans.fr/movep2008/)

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’08 include model checking, controller synthesis, software verification, temporal logics, real-time and hybrid systems, stochastic systems, security, etc.

Leave a Reply

You must be logged in to post a comment.