List of workshops

STARS - STAtic+Runtime verification Synergies @ SEFM 2026 by Alceste Scalas on August 12, 2026 (edited on September 7, 2026)
HWSW - Workshop on Verification & Validation & Runtime Analysis, Patagonia, Argentina by Martin Leucker on May 11, 2026
The 21th Workshop on Programming Languages and Analysis for Security (PLAS 2026) by Adrien Koutsos on May 6, 2026
Workshop in Celebration of Marcelo Fiore's 60th Birthday by Vikraman Choudhury on April 8, 2026
SASSUR 2026 - Call for papers by jldelavara on April 7, 2026
First CfP: 11th ACM SIGPLAN Workshop on Numerical and Symbolic Abstract Domains by Michael Schwarz on March 26, 2026
2nd International Workshop on Software Architecture and Generative AI (SAGAI), co-located with the 23rd IEEE International Conference on Software Architecture #ICSA2026 by Ivan Compagnucci on February 3, 2026 (edited on February 13, 2026)
BENEVOL 2025 by Vadim Zaytsev on September 2, 2025
SASSUR 2025 - Deadline extended by jldelavara on May 5, 2025
SASSUR 2025 - Deadline approaching by jldelavara on April 29, 2025
SASSUR 2025 - Call for papers by jldelavara on April 9, 2025
6th Asynchronous Programming Models Workshop (APM'24) by Eduard Kamburjan on June 14, 2024
SASSUR 2024 - Deadline extended by jldelavara on May 3, 2024
SASSUR 2024 - Deadline approaching by jldelavara on April 25, 2024
PLMW@PLDI 2024: Call for Scholarship Applications by Anitha Gollamudi on March 24, 2024
SASSUR 2024 - Call for papers by jldelavara on March 20, 2024
MARS 2024 - Call for papers (deadline extension January 25) - Luxembourg City (Luxembourg) by Matthias Volk on January 15, 2024
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