AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Archive pour May, 2010

MOVEP 2010 (June 28 — July 2 2010)

Monday 17 May 2010

MOVEP 2010
9th International Summer School on
MOdelling and VErifying parallel Processes

June 28 — July 2 2010, Aachen, Germany

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.

MOVEP 2010 is supported by the ESF GAMES project, INRIA Rennes, Action AFSEC (CNRS) and the RWTH Aachen.

Publié dans Actions Afsec, Manifestations, Ecoles d'été | Pas de commentaire »

RTSS 2010 (30 nov - 03 dec 2010)

Thursday 13 May 2010

The 31st IEEE Real-Time Systems Symposium

RTSS 2010
November 30 - December 3, 2010
San Diego, CA, USA

Soumission des articles : 16 mai 2010
Notification de l’acceptation : 08 aout 2010

Publié dans Manifestations, Conférences | Pas de commentaire »

FORMATS 2010 (8-10 Septembre 2010)

Thursday 13 May 2010

The 8th International Conference on Formal Modelling and Analysis of Timed Systems.

FORMATS 2010
IST Austria, Klosterneuburg, Austria
8-10 September, 2010

Soumission des articles : 25 avril 2010
Notification de l’acceptation : 24 mai 2010

Publié dans Manifestations, Conférences | Pas de commentaire »