Co-located workshops

less than 1 minute read


EXPRESS/SOS: The EXPRESS/SOS workshop series aims at bringing together researchers interested in the formal semantics of systems and programming concepts, and in the expressiveness of computational models.

Monday, August 31, 2020, online


FRIDA: The 7th Workshop on Formal Reasoning in Distributed Algorithms Dates: September 3rd to September 5th 2020.

Tentative schedule: Online workshop from 5pm to 7pm CET


SNR: The workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT (SNR) focuses on the combination of symbolic and numeric methods for reasoning about Cyber-Physical Systems and the Internet of Things to facilitate model identification, specification, verification, and control synthesis problems for these systems.

Monday, August 31, 2020, online

TRENDS: TRENDS 2020 brings together researchers interested in Concurrency Theory and its applications, to exchange ideas and discuss recent trends and open problems.

Saturday, Sept 5, 2020, online


QAVS: The first workshop on Quantitative Aspects of Variant-rich Systems (QAVS) brings together researchers active in the areas of design, implementation, and analysis of variant-rich systems to discuss quantitative modeling and analysis methods.

Monday, August 31, 2020, online