All announcements

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

CfP: HAPi DevOps 2022 (co-located with VL/HCC)​ by Jácome Cunha on June 6, 2022
Postdoctoral Researcher and PhD positions at University of Birmingham by vincent on May 31, 2022
A-TEST 2022: Call for Papers by Akos Kiss on May 20, 2022
[Final CFP - Extended Deadline] Special Issue "Software Engineering for Robotics" (Robotics and Autonomous Systems Journal) by Alvaro Miyazawa on May 18, 2022
Deadline approaching: SASSUR 2022 by jldelavara on April 28, 2022
ETAPS 2023: Call for Satellite Events by jankofron on April 22, 2022
Call for SL-COMP 2022 by Quang Loc Le on April 21, 2022
The EAPLS Best Paper Award 2022 by Anton Wijs on April 20, 2022
[2nd CFP] Special Issue "Software Engineering for Robotics" (Robotics and Autonomous Systems Journal) by Alvaro Miyazawa on April 8, 2022
Call for Submissions - 2022 Informatics Europe Best Practices in Education Award by Kit Wan Chui on March 25, 2022
Call for Submissions - 2022 Minerva Informatics Equality Award by Kit Wan Chui on March 25, 2022
Call for papers: SASSUR 2022 by jldelavara on March 25, 2022
2nd CfP: 15th Interaction and Concurrency Experience (ICE 2022) by Cinzia DI GIUSTO on March 22, 2022
First CFP: 6th Working Formal Methods Symposium by Vlad Rusu on March 17, 2022
PhD Scholarship Heriot-Watt University, Scotland by Ekaterina Komendantskaya on March 16, 2022
CfP: 15th Interaction and Concurrency Experience (ICE 2022) by Cinzia DI GIUSTO on February 14, 2022
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