AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Archive pour April, 2008

Appel à proposition ANR : atelier de réflexion prospective

Wednesday 23 April 2008

L’ANR lance un appel à propositions pour un atelier de réflexion prospective (ARP) sur les sciences et technologies cognitives.

L’ANR ne financera qu’un seul ARP, qui pourra, le cas échéant, être constitué du regroupement de plusieurs projets reçus. Cet ARP a pour objectif de réfléchir à la programmation 2010 et éventuellement de contribuer à préparer un appel à projets thématique qui serait proposé à la communauté scientifique.

Appel paru le 16 avril. Echéance le 5 juin.

Télécharger : Appel à proposition

Publié dans Appels à projets | Pas de commentaire »

RTSS 2008 (du 30 novembre au 03 decembre 2008)

Tuesday 15 April 2008

The 29th IEEE Real-Time Systems Symposium

Barcelona, Spain, November 30 - December 3, 2008

RTSS 2008

Soumission des articles : 16 mai 2008
Notification de l’acceptation : 31 aout 2008

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

ATVA 2008 (du 20 au 23 octobre 2008)

Tuesday 15 April 2008

6th International Symposium on Automated Technology for Verification and Analysis

Seoul, South Korea, October 20-23, 2008

ATVA 2008

Soumission des articles : 5 mai 2008
Notification de l’acceptation : 30 juin 2008

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