AFSEC

Approches Formelles des Systèmes Embarqués Communicants

ETAPS 2010 (du 20 au 28 Mars 2010)

24th 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

Leave a Reply

You must be logged in to post a comment.