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.
The SYNCHRON 2017 workshop will start on Monday November 27th, 2017 and end on Friday December 1st, 2017.
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.
Practical info about how to come (either by plane, train, or car) to Rennes is available here.
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.
Workshop registration fees include:
- attendance to the sessions,
- lunches and coffee/tea breaks during the week,
- the welcome reception (Cheese & Wine) on Monday, November 27,
- the social event (visit of Rennes followed by the gala dinner) on Wednesday, November 29,
- all conference materials.
|Until November 12, 2017||From November 13, 2017|
- Additional ticket for social event on Wednesday, November 29: €60 each
- Students must upload or mail their Student Card or other document showing full-time status at the time of the registration.
- Payment by credit card, bank transfer and purchase order (bon de commande, only for French academics) are accepted.
- Cancellation policy: All cancellations must sent in writing to the SYNCHRON 2017 secretariat. Cancellations received before November 15, 2017 are fully refundable minus a 100 € processing and administration charge. Cancellations received after this date are non-refundable. No refunds will be given for non-attendance. Phone cancellations are not accepted. Reimbursement will be processed after the conference.
- Important notice: Inria has given mandate to VERT.COM for the organization of SYNCHRON 2017 and therefore to act and receive the fees on its behalf.