SYNCHRON 2017 call for participation

by Benoit Caillaud, Oct. 13, 2017

Call for participation: SYNCHRON 2017 (International Open Workshop on Synchronous Programming), Nov 27th to Dec 1st 2017, Rennes, France, http://synchron17.inria.fr

SYNCHRON 2017

International Open Workshop on Synchronous Programming

Nov 27th to Dec 1st 2017

Rennes, France

http://synchron17.inria.fr

Call for participation


Description

This open workshop is devoted to all aspects of synchronous programming: language design, compilation and code generation, formal verification, static analysis and testing, programming environments, execution platforms, semantics issues in synchronous concurrency and scheduling, modelling pragmatics, etc. It is an open forum where both students and senior researchers/engineers can present and discuss about ongoing work on the numerous topics related to synchronous programming. This traditional workshop is the annual rendezvous hotpot of the synchronous community and a ‘must’ event for anyone interested in keeping up with the latest developments in academic and industrial synchronous research.


Synchronous languages have been introduced in the 1980s to program safety-critical reactive and embedded systems. Such systems are characterised by their continuous concurrent interaction which is synchronised by logical clocks that ensure reactive progress and functional determinacy. The key advantage of the synchronous approach is its rigorous mathematical semantics which allows engineers to build software tools to support correct-by-verification or correct-by construction code generation, in order to develop critical embedded software faster and better.


One key aspect of SYNCHRON is that it is an open workshop, meaning that every attendee (including MS students, PhD students, postdocs) is welcome to present his or her research results. Don’t be shy! For organisation reasons and in order to avoid having 20 talks on the first day and no talk on the last day, we however ask you to indicate in the registration web page if you intend to give a presentation, and if so on which day.


Important dates

The SYNCHRON 2017 workshop will start on Monday November 27th, 2017 and end on Friday December 1st, 2017.


Venue

The SYNCHRON 2017 workshop will take place at the Inria Rennes - Bretagne Atlantique research center, in the lovely city of Rennes in Brittany. The workshop itself will take place in the main amphitheater of the Inria research center, in the main building.

Registration and practical info about how to come (either by plane, train, or car) to Rennes is available on the SYNCHRON 2017 web pages : http://synchron17.inria.fr


Lodging is easy to find in Rennes (use your favourite research tool). We advise to book an accommodation close to public transport to reach the Inria research center, that is close to buses 6, 4, or 40ex.


The banquet will take place on Wednesday November 29th, and will be preceded by a guided visit of the city center of Rennes.