All announcements

IJCAR 2024: 2nd CfP by Peter Lammich on November 26, 2023

MARS 2024 - Call for Papers by Matthias Volk on November 15, 2023

CFP - 27th Ibero-American Conference on Software Engineering (CIbSE 2024) by Andrea Delgado on November 1, 2023

IJCAR 2024: call for co-located events by Peter Lammich on October 25, 2023

SPIN 2024 - Call for Papers - extended deadline: 22 January 2024 by Anton Wijs on October 20, 2023 (edited on January 8, 2024)

IJCAR 2024 --- Call for Papers by Peter Lammich on October 18, 2023

(Deadline Extension) Dafny Workshop at POPL 24 by Stefan Zetzsche on October 16, 2023

[Call for Papers] EASE 2024 - Evaluation and Assessment in Software Engineering by Ivan Machado on October 15, 2023

FACS 2023 - Call for Participation by [Deactivated account] on September 30, 2023

(2nd CfP) Dafny Workshop at POPL 24 by Stefan Zetzsche on September 28, 2023

Call for participation LOPSTR 2023 by jurjo on September 26, 2023

CFP: OOPSLA 2024: Round 1 Call for Papers by Umar Farooq on September 12, 2023

Call for Participation - BPM 2023: The 21st International Conference on Business Process Management (BPM) by Andrea Delgado on August 31, 2023

EAPLS Best Dissertation Award 2023: Extended Deadline by Andreas Wortmann on August 28, 2023

EAPLS Best Dissertation Award 2023: Call for Nominations (Deadline August 31) by Andreas Wortmann on August 24, 2023 (edited on August 31, 2023)

CfP: 2nd Workshop on Collaboration Mining for Distributed Systems (CoMinDS) at the 5th International Conference on Process Mining (ICPM 2023)- one week left for submission !! by Andrea Delgado on August 16, 2023

QUAMES 2023 - Deadline extended by jldelavara on July 31, 2023

CfP: 2nd Workshop on Collaboration Mining for Distributed Systems (CoMinDS) at the 5th International Conference on Process Mining (ICPM 2023) by Andrea Delgado on July 26, 2023

EAPLS Best Dissertation Award 2023: Call for Nominations by Andreas Wortmann on July 25, 2023 (edited on August 28, 2023)

QUAMES 2023 - Deadline approaching by jldelavara on July 19, 2023

PhD position at Chalmers in Combined Software Co-Piloting and Verification by Wolfgang Ahrendt on July 5, 2023

FACS 2023 - Final Call for Papers (extended deadlines) by [Deactivated account] on July 4, 2023

CfP: 5th International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE 2023) by Farnaz Fotrousi on July 3, 2023

CfP: 2nd Workshop on Collaboration Mining for Distributed Systems (CoMinDS) at the 5th International Conference on Process Mining (ICPM 2023) by Andrea Delgado on June 16, 2023

QUAMES 2023 - Call for papers by jldelavara on June 16, 2023