All announcements
To filter on a specific category, select the category from the menu above.
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