fermer
Bureau des congrès

SYNCHRON'2017

Centre de conférences, Inria Rennes - Bretagne Atlantique

Synchron17 est un workshop ouvert, consacré à la programmation synchrone, sous tous ses aspects : conception de langage, compilation et génération de code, vérification formelle, analyse statique, test, environnements de programmation, plate-formes d’exécution, sémantiques concurrentes, ordonnancement, méthodologies de modélisation, etc. C’est le rendez-vous annuel et incontournable de la communauté Programmation Synchrone. Il a vocation à être un forum ouvert : étudiants, chercheurs et ingénieurs peuvent présenter leurs travaux et échanger sur de nouvelles directions de recherche. Les langages de programmation synchrones ont été introduits dans les années 1980 pour la programmation des systèmes embarqués critiques. Ce sont des systèmes réactifs dont les calculs sont cadencés par des horloges logiques. Malgré leur caractère concurrent, ils sont déterministes par construction. La principale force de l’approche synchrone est sa sémantique mathématique rigoureuse, qui offre aux ingénieurs la possibilité de garantir la correction de leurs programmes.

  • public
    Professionnels
  • excellences
    Numérique
  • thèmes
    Technologie - TIC – numérique
  • personnes attendues
    30 à 40

lieu :
Centre de conférences, Inria Rennes - Bretagne Atlantique
Campus de Beaulieu
263 avenue Général Leclerc
RENNES
35042

Organisateur :
Inria Rennes - Bretagne Atlantique
CAILLAUD Benoît

contactez-nous Site de l'organisateur