AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Archive pour August, 2009

ETAPS 2010 (du 20 au 28 Mars 2010)

Monday 24 August 2009

The European Joint Conferences on Theory and Practice of Software (ETAPS) is a confederation of five main annual conferences :
CC 2010, International Conference on Compiler Construction
ESOP 2010, European Symposium on Programming
FASE 2010, Fundamental Approaches to Software Engineering
FOSSACS 2010, Foundations of Software Science and Computation Structures
TACAS 2010, Tools and Algorithms for the Construction and Analysis of Systems

20-28 March 2010, Paphos, Cyprus

ETAPS 2010

Soumission des articles : 8 octobre 2009
Notification de l’acceptation : 11 decembre 2009

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