AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Archive pour December, 2007

CAV 2008 (du 7 au 14 juillet 2008)

Tuesday 18 December 2007

20th International Conference on Computer Aided Verification
Princeton, USA, July 7-14, 2008
CAV 2008

Soumission des articles : 28 janvier 2008
Notification de l’acceptation : 26 mars 2008

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

Calendrier prévisionnel des appels à projets 2008 de l’ANR

Tuesday 18 December 2007

Un calendrier prévisionnel des appels à projets de l’ANR vient de paraître (10 décembre 2008).

Télécharger : Calendrier prévisionnel 2008 ANR

Publié dans Appels à projets | Pas de commentaire »

Petri Nets 2008 (du 25 au 27 juin 2008)

Saturday 1 December 2007

29th INTERNATIONAL CONFERENCE ON APPLICATION AND THEORY OF PETRI NETS
AND OTHER MODELS OF CONCURRENCY

Xi’an, China, June 23-27, 2008
ICATPN’08

Soumission des articles : 5 janvier 2008
Notification de l’acceptation : 1 mars 2008

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