Nouvelles

30 juin 2014La programmation des sessions doctorant est en ligne
26 juin 2014Des informations sur le logement sont en ligne
14 mai 2014Emploi du temps provisoire en ligne
17 avril 2014Doctorants: Envoyez des résumés de vos travaux
15 avril 2014Les inscriptions sont ouvertes
15 mars 2014Ouverture du site web

Dates importantes

15 avril 2014Ouverture des inscriptions
16 mai 2014Échéance de soumission
23 mai 2014Échéance de soumission étendue
27 mai 2014Fin des inscriptions à tarif réduit
11 juin 2014Fin des inscriptions
13 juin 2014Notification de l'acceptation des résumés
23 juin 2014Échéance pour la version finale des résumés
7 juillet 2014Ouverture de MOVEP'14
11 juillet 2014Fin de MOVEP'14

Contexte et objectifs

MOVEP est une école d'été sur la modélisation et la vérification des processus parallèles qui se tient sur 5 jours. Les cinq premières occurrences de l'école se sont tenues à Nantes (France), tous les deux ans, entre 1994 et 2002. Elle s'est ensuite tenue à Bruxelles (Belgique) en 2004, Bordeaux (France) en 2006, Orléans (France) en 2008, Aachen (Allemagne) en 2010, et Marseilles (France) en 2012.

Pour le 20e anniversaire de cette manifestation, la 11e édition aura à nouveau lieu à Nantes.

Les thèmes abordés touchent à la spécification et la vérification des systèmes informatisés conçus pour la commande d'applications temps réel, réactives ou critiques, impliquant des activités parallèles.

Le but de MOVEP est de rassembler des jeunes chercheurs, des étudiants et des industriels travaillant dans les domaines du contrôle et de la vérification des systèmes réactifs concurrents. L'école s'attache à offrir un large éventail de sujets de recherches actuels dans ces domaines de l'informatique théorique et appliquée. Les thèmes couverts par MOVEP'14 incluent la logique temporelle, les systèmes temps réels et hybrides, les systèmes stochastiques, la sécurité, la vérification en ligne, etc.

Le programme de MOVEP'14 consiste en six tutoriels de 2h30 et cinq exposés plus ciblés d'1h30.

Sessions étudiants

En complément des tutoriels et des exposés ciblés, nous organiserons des sessions spéciales dédiées aux doctorants, dans lesquelles ils pourront présenter leurs recherches en cours. De plus des résumés étendus de ces présentations seront publiés dans les actes de l'école. Veuillez vous référer la page dédiée et à l'appel à contribution pour de plus amples informations.

Téléchargements

Soutiens

CNRS Inria GDR ASR AFSEC Centrale Nantes Université de Nantes Fédération AtlanSTIC IRCCyN LINA Nantes Métropole Conseil Régional Pays de la Loire