27th International Open Workshop on Synchronous Programming

November 26th to 27th, 2020, online

The Open Synchron Workshop is the annual meeting of experts and young researchers in the area of synchronous reactive programming. The main topics include executable specifications, program analysis, operational semantics, model-based design, formal methods, real-time programming, dedicated architectures, timing predictability, and controller synthesis.

The genuine format of the Open Synchron Workshop makes it unique in the modern landscape: there is no preliminary paper selection, and authors may present their new work in any available slot on a first-come/first-served basis. While the audience typically comprises a number of established researchers in the topic, newcomers are more than welcome. The cosy seminar atmosphere created by the venue in a single housing location is an opportunity for informal discussions and exchanges between researchers of differing seniority and expertise. Innovative contributions in blending reactive modeling and programming notions with neighboring research subjects and creative applicative domains, even at preliminary conceptual stages are always greatly appreciated.

Online Format

Regrettably Synchron 2020 cannot be held physically in Dammarie-lès-Lys, just outside Paris, as planned.

Instead Synchron 2020 will be organized as a distributed synchronous system on Thursday, November 26 and Friday, November 27. It will operate in Central European Time (UTC+1).

The event will be hosted using videoconferencing software and local hubs. Participants can either connect directly from their own computer or join colleagues at one of the hubs.

Anyone in the world is welcome to propose and watch talks. Please see the participation page.

After the proposal deadline, we will divide the available time up into slots and publish the program.