AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Archive pour la catégorie 'Conférences'

Session “logiciels pour la recherche” MSR 2015

Thursday 22 October 2015

Lors du 10e Colloque sur la Modélisation des Systèmes Réactifs (MSR 2015), qui aura lieu à Nancy du 18 au 20 novembre, les groupes SED (GDR MACS) et AFSEC organisent une session sur le thème des logiciels pour la recherche relatif à modélisation, l’analyse et la commande des systèmes réactifs et temps réel. Le but est de présenter à la communauté les logiciels que vous avez développés ou que vous utilisez dans le cadre de vos travaux de recherche.

Cette présentation se fera en deux temps :

  • Une présentation rapide (5 minutes) en session plénière : genèse de l’outil, fonctionnalités, licences, copies d’écran…
  • Un temps plus long de discussion autour des démonstrateurs, ou chacun pourra de manière informelle échanger avec les présentateurs et tester les outils qui les intéressent particulièrement

Nous lançons donc un appel à propositions à tous ceux qui souhaitent présenter un outil qu’ils jugent intéressant. Le but n’est pas de vendre ou de gagner un prix mais de partager votre expérience ou votre travail.
N’hésitez donc pas à proposer de présenter votre propre création, même si elle n’est qu’en version alpha, ou au contraire un outil mature que vous maîtrisez.

Nous espérons présenter entre 5 et 10 outils. Nous attendons vos propositions et dans un deuxième temps nous reviendrons vers celles
retenues pour préciser les moyens matériels et logiciels à mettre en oeuvre.

Les personnes intéressées sont invitées à se faire connaître (sans trop tarder) auprès de
- Laurent Piétrac, laurent.pietrac@insa-lyon.fr
- Sébastien Lahaye, sebastien.lahaye@univ-angers.fr
- ou Olivier H. Roux, olivier-h.roux@irccyn.ec-nantes.fr
en transmettant une brève description de leur outil logiciel.

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

Modélisation des Systèmes Réactifs (MSR 2015)

Wednesday 22 July 2015

10ème Colloque sur la Modélisation des Systèmes Réactifs (MSR 2015)

Inria Nancy ‐ Grand Est, France, du 18 au 20 novembre 2015

Site : MSR’15

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

Modélisation des Systèmes Réactifs (MSR’13)

Sunday 2 June 2013

Colloque Francophone sur la Modélisation des Systèmes Réactifs
Soutenu par l’AFSEC.

INRIA Rennes - Bretagne Atlantique, France, du 13 au 15 novembre 2013

Site : MSR’13

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

Modélisation des Systèmes Réactifs (MSR’11)

Tuesday 6 September 2011

Colloque Francophone sur la Modélisation des Systèmes Réactifs
Soutenu par l’AFSEC.

Ecole Centrale de Lille, du 16 au 18 novembre 2011

Les inscriptions sont ouvertes.
“Early registration” : 30 septembre 2011

Site : MSR’11

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

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 »

Parution du numéro spécial de JESA avec les actes de MSR

Friday 13 November 2009

Les actes de la conférence (MSR’09) organisée avec le soutien de l’AFSEC viennent de paraître sous la forme d’un numéro spécial du journal JESA vol.47 numeros 7-9.

Publié dans Actions Afsec, Ouvrages - Journaux, Conférences | Pas de commentaire »

MSR’09 (du 16 au 18 Novembre 2009) - Appel à participation

Friday 11 September 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

Les inscriptions sont ouvertes.
“Early registration” : 16 octobre 2009

Site : MSR’09

Publié dans Actions Afsec, 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 »

FORMATS 2008 (du 15 au 17 septembre 2008)

Tuesday 11 March 2008

The 6th International Conference on Formal Modelling and Analysis of Timed Systems.
(Co-located with the Qest 2008 conference)
Soutenue par l’AFSEC

Saint-Malo, France, September 15—17, 2008

FORMATS 2008

Soumission des articles : 12 mai 2008
Notification de l’acceptation : 23 juin 2008

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