All announcements

To filter on a specific category, select the category from the menu above.

VMCAI 2027 - Second Call for Papers - Papers due on September 16! by Caterina Urban on August 26, 2026
Postdoctoral Research Fellow in Trustworthy GenAI-assisted Software Engineering by Violet Ka I Pun on August 17, 2026
STARS - STAtic+Runtime verification Synergies @ SEFM 2026 by Alceste Scalas on August 12, 2026
International Conference on Software and Systems Reuse, Product Lines, and Configuration (VARIABILITY 2026): Call for Participation by Announce on August 11, 2026
Call for ESSLLI 2027 Lectures and Workshops by Danel Ahman on July 31, 2026 (edited on August 19, 2026)
EAPLS Best Doctoral Dissertation Award 2024-2025: Call for Nominations by Stefan Gruner on July 29, 2026
RAIRO: Formal Methods for Modeling and Verification of Distributed and Trustworthy Computing Systems by Stephan Merz on July 29, 2026
Call for Papers - VMCAI 2027 - 28th International Conference on Verification, Model Checking, and Abstract Interpretation by Caterina Urban on July 29, 2026
37th IEEE International Symposium on Software Reliability Engineering (ISSRE 2026): Last Mile for Paper Submission for Doctoral Consortium Papers by Announce on July 28, 2026
37th IEEE International Symposium on Software Reliability Engineering (ISSRE 2026): Last Call for Doctoral Consortium Papers by Announce on July 13, 2026
37th IEEE International Symposium on Software Reliability Engineering (ISSRE 2026): Last Combo Call for Workshop Papers by Announce on July 10, 2026
37th IEEE International Symposium on Software Reliability Engineering (ISSRE 2026): Last Call for Journal First, Conference Second Proposals by Announce on July 10, 2026
Summer School on Security Testing and Verification (ST&V 2026) - Brussels, Sept 7-10 - Second Call for Participation by Dominique Devriese on July 8, 2026
37th IEEE International Symposium on Software Reliability Engineering (ISSRE 2026): Last Mile for Industry Track Submissions by Announce on June 25, 2026
37th IEEE International Symposium on Software Reliability Engineering (ISSRE 2026): Last Call for Replications and Negative Results by Announce on June 22, 2026
37th IEEE International Symposium on Software Reliability Engineering (ISSRE 2026): Last Mile for Fast Abstracts and Project Highlights Submissions by Announce on June 17, 2026
International Conference on Software and Systems Reuse, Product Lines, and Configuration (VARIABILITY 2026): Last Call for Workshop Papers by Announce on June 17, 2026
37th IEEE International Symposium on Software Reliability Engineering (ISSRE 2026): First Call for Doctoral Consortium Papers by Announce on June 15, 2026
37th IEEE International Symposium on Software Reliability Engineering (ISSRE 2026): First Call for Journal First, Conference Second Proposals by Announce on June 15, 2026
EOI: Fellowship Opportunities with the MSP Group at University of Strathclyde by jfdm on June 11, 2026
37th IEEE International Symposium on Software Reliability Engineering (ISSRE 2026): First Combo Call for Workshop Papers by Announce on June 8, 2026
37th IEEE International Symposium on Software Reliability Engineering (ISSRE 2026): Last Call for Papers (Industry Track) by Announce on June 1, 2026
Call for Participation: 5th Summer School on Security Testing and Verification (ST&V 2026) - September 7-10, Brussels, Belgium by Dominique Devriese on June 1, 2026
International Conference on Software and Systems Reuse, Product Lines, and Configuration (VARIABILITY 2026): Last Call for Doctoral Symposium Papers by Announce on May 26, 2026
CNRS tenure-track research position by David Monniaux on May 22, 2026