List of workshops

37th IEEE International Symposium on Software Reliability Engineering (ISSRE 2026): Second Call for Workshop Proposals by Announce on March 27, 2026
First CfP: 11th ACM SIGPLAN Workshop on Numerical and Symbolic Abstract Domains by Michael Schwarz on March 26, 2026
EOOLT'26 10th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools – Last Call for Papers by Benoît Caillaud on March 3, 2026
8th Distributed Ledger Technology Workshop by Francesco Tiezzi on February 11, 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)
EOOLT 2026 10th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools by Benoît Caillaud on November 18, 2025
International Conference on Software and Systems Reuse, Product Lines, and Configuration (VARIABILITY 2026): First Call for Workshop Proposals by Announce on October 21, 2025
CFP: MARS'26 - 7th ETAPS workshop on Models for formal analysis of real systems by goessler on September 24, 2025
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