AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Archive pour la catégorie 'Conférences'

ISoLA 2010 et WCTT Track

Friday 10 September 2010

La conférence ISoLA 2010 (4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation 18-20 October 2010) a un track WCTT (Worst Case Traversal Time). La communauté AFSEC/WEED y est particulièrement bien représentée avec 5 papiers sur 9.

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

FSTTCS 2010 (15-18 septembre 2010)

Sunday 13 June 2010

Foundations of Software Technology and Theoretical Computer Science

FSTTCS 2010
December 15 to 18, 2010,
IMSc, Chennai, India

Soumission des articles : 07 juillet 2010
Notification de l’acceptation : 13 septembre 2010

Publié dans Manifestations, Conférences | 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 »

Petri NETS 2010 (23 au 25 juin 2010)

Sunday 25 October 2009

31st International Conference on Application and Theory of Petri Nets and other Models of Concurrency

PETRI NETS 2010

June 21-25, 2010
Braga, Portugal

. Submission of Papers : January 5, 2010
. Notification : March 1, 2010
. Final Version Due : April 1, 2010
. Workshops & Tutorials : June 21-22, 2010
. Conference : June 23-25, 2010

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

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 »

FSTTCS 2009 (15-17 décembre 2009)

Thursday 4 June 2009

The 29th Foundations of Software Technology and Theoretical Computer Science Conference

December 15 to 17, 2009, IIT Kanpur, India

FSTTCS 2009

Soumission des articles : 7 juillet 2009
Notification de l’acceptation : 14 septembre 2009

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

RTSS’09 (1-4 decembre 2009)

Monday 4 May 2009

The 30th IEEE Real-Time Systems Symposium

Washington, D.C., USA, December 1-4, 2009

RTSS 2009

Soumission des articles : 26 mai 2009
Notification de l’acceptation : 23 aout 2009

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

FORMATS’09 (13-16 Septembre 2009)

Monday 4 May 2009

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

Budapest, Hungary, 13-16 September 2009

FORMATS’09

Soumission des articles : 24 avril 2009
Notification de l’acceptation : 8 juin 2009

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

MSR’09 (du 16 au 18 Novembre 2009)

Friday 3 April 2009

Septième Colloque Francophone sur la Modélisation des Systèmes Réactifs
Soutenu par les GDR ASR et MACS et par l’action transversale AFSEC.

Nantes, du 16 au 18 Novembre 2009

Site : MSR’09

. Pré-soumission des résumés : 15 mai 2009
. Soumission des articles : 24 mai 2009
. Notification de l’acceptation : 1 juillet 2009

Les articles acceptés seront publiés dans un numéro spécial du journal JESA.
Télécharger l’appel à communications au format pdf : CFP-MSR09

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