Welcome to SYNCHRON 2024

International Open Seminar on Synchronous Reactive Programming

Date: TBA (November), 2024)

University Aula, Bamberg, Germany.

The 31st International Open Seminar on Synchronous Reactive Programming 2024 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.

 

 

Description

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, bounded resource consumption 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.

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.

SYNCHRON is a friendly gathering for lively discussions and presentations. There is no formal reviewing/publication process, but participants will be invited to share materials through the website of the workshop. Thus, this is the perfect place to present on-going, yet unpublished work, or work that has already been presented elsewhere in a related venue (EMSOFT, MEMOCODE, FDL, DATE, DAC, CPS-IoT, PLDI, CC, POPL, ESOP, SCOPES, etc.).

 

The workshop topics cover, but are not restricted to, the following topics:

  • Synchronous and asynchronous models for time and concurrency
  • Safety-critical real-time systems
  • Synchronous languages and programming formalisms
  • Synchronous hybrid models for control theory
  • Relaxed models of synchrony such as sparse synchrony and logical execution time
  • Compilation techniques and code synthesis for single/multi-threaded, multi-core, multi-processing architectures
  • Formal specification, type theories and model-theoretic verification
  • Test and validation of programs
  • Modelling and simulation environments
  • Timing and other non-functional analysis for synchronous programs
  • Component-based development of (synchronous) 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

 

 

Previous editions of this workshop were held in: