AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Archive pour April, 2009

Summer School on Embedded Systems Design (near Grenoble, France, Sept 7-11 2009)

Thursday 9 April 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. 

Publié dans Manifestations | Pas de commentaire »

Ecole d’été temps réel ETR 2009 (du 31 aout au 4 septembre 2009)

Tuesday 7 April 2009

La sixième école d’été temps-réel ETR 2009 (http://etr09.telecom-paristech.fr/index.php)
aura lieu à Télécom ParisTech, 46, rue Barrault, Paris 13ème, du lundi 31 août au vendredi 4 septembre 2009.
ETR 2009 est soutenue par l’AFSEC.

Le programme est maintenant disponible : http://etr09.telecom-paristech.fr/programme.php. Il se compose de 5 sessions :

  • Développement d’applications temps réel : modèles, paradigmes et langages
  • Enjeux industriels
  • Méthodes formelles
  • Ordonnancement et supports d’exécution ;
  • Réseaux temps réel et qualité de service.

Télécom ParisTech organise l’Ecole d’Eté Temps Réel ETR 2009, avec le soutien du groupe MeFoSyLoMa.

Publié dans Actions Afsec, Ecoles d'été | 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 »

TiSto’09 (23 juin 2009)

Wednesday 1 April 2009

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

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