All announcements

Ph.D. student position(s) in analysis and transformations of imperative Deep Learning programs by Raffi Khatchadourian on June 23, 2022

Postdoc positions in reverse engineering and binary verification at Virginia Tech by Nico Naus on June 15, 2022

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