SYNCHRON 2016

hosted by The Otto-Friedrich University of Bamberg, Informatics Theory Group

The 23rd International Open Workshop on Synchronous Programming will be hosted by the Otto-Friedrich University of Bamberg and held in the Dominican Church University Aula located in the UNESCO World Heritage Site of Old Town Bamberg in Upper Franconia.

Start: 05 Dec 2016

End: 09 Dec 2016

  • Registration – If you want to submit additional information – such as a presentation title or further remarks – later, after the initial registration, please send an E-Mail to Joaquín Aguado (joaquin.aguado@uni-bamberg.de).

    The event is over. It is not possible to purchase tickets anymore.This event used XING Events for online ticketing. Start to organise your own events in an effective and professional way.
    Test it now

    * incl. legal VAT
  • Description

    This traditional 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 characterized 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 to build software tools to support correct-by-verification or correct-by-construction code generation for the programmers to develop critical embedded software faster and better.

Share

Or share this link:

Export

Information

  • Directions

    Event venue address

    The 23rd International Open Workshop on Synchronous Programming will be hosted by the Otto-Friedrich University of Bamberg and held in the Dominican Church University Aula located in the UNESCO World Heritage Site of Old Town Bamberg in Upper Franconia. Dominikanerstraße 2a 96049 Bamberg Germany
    Wheelchair friendly Unknown
  • More events

powered by XING Events

Event organiser: The Otto-Friedrich University of Bamberg, Informatics Theory Group
More participants thanks to online event management solutions from XING Events.

Imprint