All announcements

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

CfP GCM 2022 - 13th International Workshop on Graph Computation Models by Chris Poskitt on February 12, 2022 (edited on February 15, 2022)
iFM 2022 (Integrated Formal Methods): Extended deadlines by Diego Marcilio on February 8, 2022
Informatics Higher Education Data Portal: New Annual Statistics Added by Kit Wan Chui on February 8, 2022
Amir Kafshdar Goharshady wins the EAPLS Best Dissertation Award 2020 by Maribel Fernandez on January 10, 2022
[CFP] Special Issue "Software Engineering for Robotics" (Robotics and Autonomous Systems Journal) by Alvaro Miyazawa on December 13, 2021
PLAS 2021 Call for Participation - 16th Workshop on Programming Languages and Analysis for Security by Marco Guarnieri on December 2, 2021
Call for Presentations: PriSC 2022 @ POPL 2022 -- Deadline extension by Marco Guarnieri on November 5, 2021
Second and Final Call for Presentations: PriSC 2022 @ POPL 2022 by Marco Guarnieri on October 5, 2021
Final Call For Participation - SPLASH 2021: ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity by Juan Fumero on October 5, 2021
16th Workshop on Programming Languages and Analysis for Security (PLAS 2021) by Marco Guarnieri on September 30, 2021
Call for Presentations: PriSC 2022 @ POPL 2022 by Marco Guarnieri on September 16, 2021
ECOOP 2022: Call for Papers by Carolin Brandt on September 10, 2021
Call For Participation - SPLASH 2021: ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity by Juan Fumero on September 10, 2021
Certified Programs and Proofs (CPP) 2022: Final Call for Papers by Andrei Popescu on August 18, 2021
ACM HSCC 2022 Call for Papers by Nicola Paoletti on August 4, 2021
PhD position on the design and formal verification of distributed systems at the University of Birmingham by vincent on July 28, 2021
EAPLS PhD Award 2020 Call for Nominations by Andreas Wortmann on July 26, 2021
Call for participation: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'21) and the 35th European Conference on Object-Oriented Programming (ECOOP'21) by Lisa Nguyen Quang Do on July 2, 2021
Post-doc Position in AI for Continuous Software Engineering available at the University of L'Aquila (Italy) by RominaEramo on June 21, 2021
Postdoc Position, Programming Group - SCS, University of St.Gallen by Guido Salvaneschi on June 20, 2021
Certified Programs and Proofs (CPP) 2022: Call for Papers by Andrei Popescu on June 14, 2021
MFPS 2021 - Deadline Extension and Invited Speakers by Ana Sokolova on June 6, 2021
Link Correction - CFP: 8th Workshop on Advances in Programming Languages (WAPL'21) by Hossein HAERI on May 23, 2021
PhD Position on Systematic Software Language Engineering at University of Stuttgart by Andreas Wortmann on May 21, 2021
Call for Papers: 8th Workshop on Advances in Programming Languages (WAPL'21) by Hossein HAERI on May 20, 2021