Synchron 2010

November 29th - December 3rd 2010      Villa Clythia, Fréjus - France organised and funded by ARTIST 

Synchron 2010


Synchronous languages form a distinctive branch of Concurrency Theory. They are based on simple ideas of discrete logical time, explicit parallelism/concurrency and joint discrete reactions as operational behaviours. Their striking features is that such notions are provided to the plain designer him/herself, so that precise timing and time handling is seen as an integral part of functional design, not an extra-functional analysis and simulation afterthought addendum.

Sophisticated environments have been built around synchronous formalisms, both in academic and industrial settings. Their relevance to central concerns in embedded system design has amply been recognized in the past, including avionics, rail, factory automation, automotive, and of course digital circuits and on-chip system design.

Synchronous formalisms naturally enjoy both program and model quality, so that they can be both formally analysed and efficient executed without the discrepancy of awkward simulation schemes. Logical time can represent phenomena at very different level of abstractions altogether, in a unified way. The issues of component-based design, reuse and contracts find easy and natural formulations. They also find powerful and complexly crafted algorithmic solutions.

With the advent of multicore parallel programming models, on-chip networks, 3D digital circuits, sensor networks, low-power constraints and other such niceties, synchronous modelling and programming is faced with new challenges. Advancing the theory together with its connections to other neighbouring domains is a goal of the Synchron seminar Workshop, and the 17th edition is intending to advance this just like previous editions have.

Scientific organizers

  • Robert de SIMONE
    Research Director
    INRIA Sophia Antipolis Méditerranée
  • Charles ANDRE
    University of Nice - Sophia Antipolis

Local Organization

  • Patricia LACHAUME
    INRIA Sophia Antipolis Méditerranée
  • Marie-Agnès PERALDI-FRATI
    Associate Professor
    University of Nice - Sophia Antipolis

Past Editions

  • Programs of the past editions are here.

Inria I3S artist cnrs uns

(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009

Réalisation Axome - Création de sites Internet