List of workshops

Call for Presentations: PriSC 2022 @ POPL 2022 by Marco Guarnieri on September 16, 2021
VMIL 2020 Deadline Extension by Juan Fumero on September 8, 2020
TERMGRAPH 2020: 2nd Call for papers by Patrick Bahr on April 3, 2020
TERMGRAPH 2020: Call for papers by Patrick Bahr on February 25, 2020
Refinement workshop: Deadline extension by Brijesh Dongol on July 2, 2019
Workshop on Model-Based Design of Cyber-Physical Systems (CyPhy’19) by Abd-Elhamid Taha on June 15, 2019 (edited on July 28, 2019)
[TAPAS 2019] 10th Workshop on Tools for Automatic Program Analysis (extended deadline) by [Deactivated account] on May 29, 2019 (edited on July 1, 2019)
Design and Analysis of Robust Systems (DARS 2019) by [Deactivated account] on February 26, 2019
CfP RoSE 2019 by Andreas Wortmann on December 11, 2018