All announcements

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

25th FOSAD edition: International Summerschool on FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN by Alessandro Aldini on March 18, 2026
31st Bertinoro International Spring School – 2026 edition by Antonio Brogi on March 16, 2026
Marktoberdorf Summer School 2026 by Peter Mueller on March 16, 2026
The Fourth Prolog Education Workshop at ICLP'26 (Lisbon, Portugal) by Gopal Gupta on March 10, 2026
International Conference on Software and Systems Reuse, Product Lines, and Configuration (VARIABILITY 2026): Third Call for Research Papers by Announce on March 9, 2026
PhD position in formal methods for cyber-physical systems in a Marie Curie Doctoral Network by Peter Olveczky on March 9, 2026
HLPP 2026: 19th International Symposium on High-level Parallel Programming and Applications by Gaetan Hains on March 5, 2026
28th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing by SYNASC2026 on March 5, 2026
28th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'26) by Peter Olveczky on March 3, 2026
Lecturer in Mathematically Structured Programming at University of Strathclyde, Glasgow, UK by jfdm on March 3, 2026
37th IEEE International Symposium on Software Reliability Engineering (ISSRE 2026): Second Call for Papers (Industry Track) by Announce on March 3, 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
37th IEEE International Symposium on Software Reliability Engineering (ISSRE 2026): First Call for Fast Abstracts and Project Highlights by Announce on March 2, 2026
PhD position in verification of neuro-cyber-physical systems by Ekaterina Komendantskaya on March 2, 2026
International Conference on Software and Systems Reuse, Product Lines, and Configuration (VARIABILITY 2026): First Call for Demos and Tools by Announce on March 2, 2026
MFPS XLII: Final call for papers by Danel Ahman on February 23, 2026
International Conference on Software and Systems Reuse, Product Lines, and Configuration (VARIABILITY 2026): Last Call for Workshop Proposals by Announce on February 23, 2026
RExAI 2026 : International Workshop on Formal Requirements Engineering and Artificial Intelligence by Hazel Taylor on February 20, 2026
International Conference on Software and Systems Reuse, Product Lines, and Configuration (VARIABILITY 2026): Second Call for Contributions by Announce on February 11, 2026
8th Distributed Ledger Technology Workshop by Francesco Tiezzi on February 11, 2026
ECMFA2026 Round 2 CfP - 22nd European Conference on Modelling Foundations and Applications by Massimo Tisi on February 9, 2026
Informatics Europe Higher Education Data Portal updated with additional academic year and country by Kit Wan Chui on February 3, 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)
International Workshop on Engineering Autonomous Systems Intelligence by Sara Pettinari on February 3, 2026
37th IEEE International Symposium on Software Reliability Engineering (ISSRE 2026): First Call for Replications and Negative Results by Announce on February 2, 2026