List of workshops

MARS 2024 - 2nd Call for Papers - Luxembourg City (Luxembourg) - April 6th, 2024 by Matthias Volk on January 9, 2024
MARS 2024 - Call for Papers by Matthias Volk on November 15, 2023
(Deadline Extension) Dafny Workshop at POPL 24 by Stefan Zetzsche on October 16, 2023
(2nd CfP) Dafny Workshop at POPL 24 by Stefan Zetzsche on September 28, 2023
QUAMES 2023 - Deadline extended by jldelavara on July 31, 2023
QUAMES 2023 - Deadline approaching by jldelavara on July 19, 2023
CfP: 5th International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE 2023) by Farnaz Fotrousi on July 3, 2023
QUAMES 2023 - Call for papers by jldelavara on June 16, 2023
SASSUR 2023 - Deadline extended by jldelavara on May 2, 2023
SASSUR 2023 - Call for papers by jldelavara on April 5, 2023
2nd International Workshop on Digital Twins for Business Processes by Fabrizio Fornari on April 1, 2023
SOAP 2023 extended deadline (March 15th) by pietroferrara on March 9, 2023
Transformational Leadership Experience with Informatics Europe by Kit Wan Chui on January 16, 2023
1st CFP - 10th Workshop on Horn Clauses for Verification and Synthesis (HCVS) by José F. Morales on December 19, 2022
2nd CfP - 6th Workshop on Formal Reasoning about Causation, Responsibility, & Explanations in Science by Georgiana Caltais on December 18, 2022
6th Workshop on Formal Reasoning about Causation, Responsibility, & Explanations in Science & Technology - CREST 2023 by Georgiana Caltais on October 24, 2022
NWPT 2022 - Call for papers by Crystal Chang Din on September 20, 2022 (edited on October 5, 2022)
CfP: HAPi DevOps 2022 (co-located with VL/HCC)​ by Jácome Cunha on June 6, 2022
A-TEST 2022: Call for Papers by Akos Kiss on May 20, 2022
Deadline approaching: SASSUR 2022 by jldelavara on April 28, 2022
2nd CfP: 15th Interaction and Concurrency Experience (ICE 2022) by Cinzia DI GIUSTO on March 22, 2022
CfP: 15th Interaction and Concurrency Experience (ICE 2022) by Cinzia DI GIUSTO on February 14, 2022
PLAS 2021 Call for Participation - 16th Workshop on Programming Languages and Analysis for Security by Marco Guarnieri on December 2, 2021
Call for Presentations: PriSC 2022 @ POPL 2022 -- Deadline extension by Marco Guarnieri on November 5, 2021
Second and Final Call for Presentations: PriSC 2022 @ POPL 2022 by Marco Guarnieri on October 5, 2021