SYNCHRON19

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.