fermer
Bureau des congrès

- Congrès-colloque-conférence -

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
  • type d’événement
    Congrès-colloque-conférence
  • excellences
    Numérique
  • thèmes
    Technologie - TIC – numérique
  • personnes attendues
    30 à 40
  • Portée
    International

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
 

ICCA WorldLogo Ouest Congrèslogo_aivfc.jpg