SYNCHRON 2016
23rd International Open Workshop on Synchronous Programming (SYNCRON)
Invited speakers: Edward Lee, UC Berkeley, USA; Koen Claessen, Chalmers DK; Steven Edwards, U Columbia, USA.
External sponsoring allows to offer a reduced registration fee for young researchers.
The 23rd International Open Workshop on Synchronous Programming 2016 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.
This 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 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.
The workshop topics cover, but are not restricted to, the following issues:
Synchronous and asynchronous models for time and concurrency
Safety-critical real-time systems
Synchronous languages and programming formalisms
Synchronous hybrid models for control theory
Compilation techniques and code synthesis for single/multi-threaded, multi-core, multi-processing architectures
Formal specification, type theories and model-theoretic verification of synchronous programs
Test and validation of programs
Modelling and simulation environments
Timing Analysis for synchronous programs
Component-based development of embedded systems
Discrete and hybrid systems
High-level hardware modeling and synthesis
Novel language paradigms blending synchrony with asynchrony and non-determinism
semantic abstraction and refinement
Design methodologies, visualisation of complex reactive systems
Case-studies, industrial and teaching experience reports
SYNCHRON is the yearly rendezvous for all researchers working in or around the field of synchronous programming. It is an open forum where students and researchers can present and discuss about ongoing work on the numerous topics related to synchronous programming: language design, compilation, validation, case-studies, models of computation and communication, domain-specific languages, concurrency and scheduling theory, modeling pragmatics etc.
Bamberg ( https://www.uni-bamberg.de/en/studies/living-studying/ ) is a beautiful city in Upper Franconia (now part of Bavaria) of approximately 70.000 inhabitants including around 13.000 students. Bamberg's old city is listed in the UNESCO World Heritage register since 1993. The workshop venue will be the Dominican Church University Aula which is located right in the center of the UNESCO World Heritage site of Old Town Bamberg. The workshop coincides with the annual christmas market (http://en.bamberg.info/weihnachtsmaerkte/ ).