Synchron 2025

32th International Open Workshop on Synchronous Programming, Centre CNRS Paul Langevin, Aussois, November 24-28 2025

The Open Synchron Workshop is the yearly meeting of experts and young researchers in the area of Synchronous Reactive Programming and neighboring topics (executable specifications, program analysis and abstraction, operational semantics and synchrony hypothesis, model-based design and formal methods, real-time aspects, virtual vs actual parallelism and implementation issues, dedicated architectures, time predictability, controler synthesis, etc.). The range of applications of reactive programming is also an active concern for the Synchron workshop (extending from control theory and transportation systems to sw/hw co-design to intelligent connected objects, cyber-physical systems and Internet of Things). Links from logical time/clocks and physical time in heterogeneous modeling, system-level design with description of software and abstract hardware layers that share representation styles, semantic foundation of hybrid and heterogeneous formalisms also form active research directions.

The genuine format of the Open Synchron Workshop makes it unique in the modern landscape: there is no preliminary paper selection, and all attendees are offered a time slot to present their research results, either finalized or under construction. Typically, the audience is a blend of long-time attendees and newcomers, who are always welcome. The “cosy” seminar atmosphere created by the venue as a single housing location is an opportunity for informal discussions and exchanges between researchers of all kind of seniority and expertise in the field. Innovative contributions in blending reactive modeling and programming notions with neighboring research subjects and creative applicative domains, even at preliminary conceptual stages, will find here a receptive audience.

The Open Synchron Workshop topics cover, but are not restricted to, the following:

• 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
• Modeling 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, visualization of complex reactive systems
• Case-studies, industrial and teaching experience reports