AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Archive pour la catégorie 'Ecoles d'été'

MOVEP 2014, 7-11 July 2014, Nantes, France

Sunday 4 May 2014

11th Summer School on Modelling and Verification of Parallel Processes (MOVEP 2014), 7-11 July 2014, Nantes, France.

MOVEP 2014 is supported by AFSEC.

Program

MOVEP is a 5 day summer school about modeling and verifying parallel processes. The first five occurrences of the School took place in Nantes (France) every other year from 1994 to 2002. It then moved to Brussels (Belgium) in 2004 Bordeaux (France) in 2006, Orléans (France) in 2008, Aachen (Germany) in 2010, and Marseilles (France) in 2012.

For the 20th anniversary of the event, the 11th edition will be held once again in Nantes.

General topics relate to specification and verification of computerized systems designed for the control of real-time applications, reactive or critical systems, and involving concurrent processes.

The purpose of MOVEP is to bring together researchers, students and people from industry working in the fields of control and verification of concurrent and reactive systems. The School seeks to offer a broad spectrum of current research in this area of theoretical and applied computer science. The topics covered by MOVEP’14 include model-checking, controller synthesis, software verification, temporal logics, real-time and hybrid systems, stochastic systems, security, run-time verification, etc.

The Program of the School consists of six 2h30 tutorials and five 1h30 technical talks.

Publié dans Actions Afsec, Ecoles d'été | Pas de commentaire »

Ecole d’été temps réel ETR 2013 (du 26 au 30 août 2013)

Monday 17 June 2013

La huitième école d’été temps-réel ETR 2013 (http://www.irit.fr/ETR13//)
aura lieu à l’ENSEEIHT, Toulouse.
ETR 2013 est soutenue par l’AFSEC.

Les systèmes temps réel sont caractérisés par la nécessité de respecter des contraintes temporelles imposées au système informatique par son environnement. Par exemple, un procédé de fabrication, un avion, un train, un système de surveillance ou un système multimédia sont des exemples de systèmes temps réel. Étant donnée la nature critique des domaines d’application des systèmes temps réel et embarqués, le développement de tels systèmes requiert la mise en œuvre d’approches et de technologies de haut niveau.

Publié dans Actions Afsec, Ecoles d'été | Pas de commentaire »

MOVEP 2012 (from 3 to 7 of december 2012)

Tuesday 17 April 2012

The 10th school of MOVEP (MOdelling and VErifying parallel Processes) will take place at the CIRM in Luminy (Marseille) and will be hosted by the LIF from 3 to 7 of december 2012.
MOVEP 2012

The purpose of MoVeP is to bring together researchers, students and people from industry working in the fields of control and verification of concurrent and reactive systems. The school seeks to offer a broad spectrum of current research in this area of theoretical and applied computer science. The topics covered by MoVeP 2012 include model checking, synthesis, abstract interpretation, real-time and probabilistic systems, logic, games, Petri nets, security, etc.
The program of the School consists of six 2h30 tutorials and five 1h30 talks.

Publié dans Actions Afsec, Ecoles d'été | Pas de commentaire »

Ecole d’été temps réel ETR 2011 (du 29 août au 2 septembre 2011)

Friday 17 June 2011

La septième école d’été temps-réel ETR 2011 (http://www.univ-brest.fr/ETR2011/)
organisé par le LISyC de l’Université de Bretagne Occidentale
aura lieu a à l’Université de Bretagne Occidentale, UFR Sciences et Techniques, 6 avenue Le Gorgeu, Brest.
ETR 2011 est soutenue par l’AFSEC.

Le programme comporte 5 sessions :

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

Publié dans Actions Afsec, Ecoles d'été | Pas de commentaire »

MOVEP 2010 (June 28 — July 2 2010)

Monday 17 May 2010

MOVEP 2010
9th International Summer School on
MOdelling and VErifying parallel Processes

June 28 — July 2 2010, Aachen, Germany

The purpose of MOVEP is to bring together researchers, students and people from industry working in the fields of control and verification of concurrent and reactive systems. The school seeks to offer a broad spectrum of current research in this area of theoretical and applied computer science. The topics covered by MOVEP 2010 include model checking, testing, synthesis, real-time and hybrid systems, games, stochastic systems, security, computational systems biology etc.

MOVEP 2010 is supported by the ESF GAMES project, INRIA Rennes, Action AFSEC (CNRS) and the RWTH Aachen.

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

MOVEP’08 (23-27 juin 2008)

Friday 9 May 2008

MOVEP is a 5 day summer school about modeling and verifying parallel processes. ( http://www.univ-orleans.fr/movep2008/)

The purpose of MOVEP is to bring together researchers, students and people from industry working in the fields of control and verification of concurrent and reactive systems. The School seeks to offer a broad spectrum of current research in this area of theoretical and applied computer science. The topics covered by MOVEP’08 include model checking, controller synthesis, software verification, temporal logics, real-time and hybrid systems, stochastic systems, security, etc.

Publié dans Ecoles d'été | Pas de commentaire »

Bilan de l’école d’été ETR 2007 du 03 au 07 septembre 2007

Thursday 27 September 2007

ETR 2007

Bilan de l’école d’été temps-réel organisée avec le soutien de l’AFSEC à Nantes du 03 au 07 septembre 2007 :

  • 96 inscrits dont 52 doctorants.
  • 23 exposés sur 5 sessions :
    • Développement de systèmes temps réel : modèles, paradigmes et langages
    • Les enjeux industriels
    • Méthodes formelles
    • Ordonnancement et supports d’execution ;
    • Reseaux et qualite de service.
  • 14 présentations dans les sessions doctorants

Les transparents des présentations sont disponibles sur la page programme

Publié dans Actions Afsec, Ecoles d'été | Pas de commentaire »

Ecole d’été temps réel ETR2007 du 03 au 07 septembre 2007

Tuesday 24 April 2007

La cinquième école d’été temps-réel ETR 2007 ( http://www2.irccyn.ec-nantes.fr/ETR07/)
aura lieu à Nantes, du 3 au 7 septembre 2007.

Le programme est maintenant disponible : Programme. Il se compose de 5 sessions :

  • Développement de systèmes temps réel : modèles, paradigmes et langages
  • Les enjeux industriels
  • Méthodes formelles
  • Ordonnancement et supports d’execution ;
  • Reseaux et qualite de service.

Les doctorants sont invités à présenter leurs travaux à la communauté temps réel au cours des sessions doctorants, ce qui sera l’occasion de favoriser l’échange d’idées, d’expérience et d’informations.
Soumission des articles doctorants : 27 mai 2007

Publié dans Actions Afsec, Ecoles d'été | Pas de commentaire »