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

The ArtistDesign European Network of Excellence on Embedded Systems Design is organizing the 5th edition of it’s ARTIST Summer School in Europe, September 7-11 2009. ArtistDesign is funded by the European Commission.

Hard deadline for applications is May 1st 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

TiSto 2009 : International Workshop on Timing and Stochasticity in Petri nets and other models of concurrency

a satellite event of PETRI NETS 2009

June 23, 2009
Paris, France

. Submission of Papers (extended): April 15, 2009
. Notification : May 6, 2009
. Final Version Due : June 1, 2009
. Workshops : June 23, 2009

The 20th International Conference on Concurrency Theory

Bologna, Italy, September 1—4, 2009

CONCUR 09

Soumission des résumés : 8 avril 2009
Soumission des articles : 15 avril 2009
Notification de l’acceptation : 25 mai 2009

La technopole Rennes Atalante, le p̫le de comp̩titivit̩ Images & r̩seaux et le centre de recherche Inria Rennes РBretagne Atlantique co-organisent, le 16 d̩cembre prochain, unejourn̩e th̩matiquesur le th̬meLogiciel embarqu̩, des solutions g̩n̩riques et transectorielles.
L’objectif de cette journée est dedévelopper les échanges entre entreprises etchercheursacadémiques du grand Ouest afin de favoriser l’émergence de projets innovants.

La journée débutera par une présentation du tout nouveau Club des entreprises de l’embarqué.
Elle se poursuivra par une série d’exposés donnés en tandem par un représentant du monde académique et un représentant du monde industriel. Ces exposés couvriront le spectre du logiciel embarqué allant des architectures matérielles aux machines virtuelles, en passant par les langages de programmation et de vérification et l’ingénierie des modèles.
Bertrand Braunschweig présentera ensuite le programme Systèmes embarqués et grandes infrastructures de l’Agence nationale de la recherche.

Journée Logiciel embarqué

International Conference on Application and Theory of Petri Nets and other Models of Concurrency
Collocated with RAPID SYSTEM PROTOTYPING 2009 (RSP’09)

PETRI NETS 2009

June 22-26, 2009
Paris, France

. Submission of Papers : January 5, 2009
. Notification : March 1, 2009
. Final Version Due : April 1, 2009
. Workshops & Tutorials : June 22-23, 2009
. Conference : June 24-26, 2009

Email : petrinet2009@lip6.fr

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

York, UK, 22-29 March, 2009

ETAPS 2009

Soumission des articles : 2 octobre 2008
Notification de l’acceptation : 12 decembre 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

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