All announcements

CFP: CGO has two deadlines. by Fabrice Rastello on March 20, 2023

Postdoc position on Program Analysis at the Vienna University of Technology by Maria Christakis on March 20, 2023

Dates updated - CfP - BPM 2023: The 21st International Conference on Business Process Management (BPM) by Andrea Delgado on March 17, 2023

CfP - BPM 2023: The 21st International Conference on Business Process Management (BPM) - one week left for abstract submission !! by Andrea Delgado on March 9, 2023

SOAP 2023 extended deadline (March 15th) by pietroferrara on March 9, 2023

Call for new board members by Anton Wijs on March 3, 2023

CfP - BPM 2023: The 21st International Conference on Business Process Management (BPM) - deadline approaching !! by Andrea Delgado on February 24, 2023

NETYS 2023 - Call for Papers by Thomas Wies on February 23, 2023

Call for Contributions - 27th ACM International Systems and Software Product Line Conference by Jacob Krüger on February 7, 2023

Two Knowledge Transfer Associate Positions in Model-Based Software Engineering - University of York and Leonardo, UK by Dimitris Kolovos on February 6, 2023

The 21st International Conference on Business Process Management (BPM) BPM 2023 by Andrea Delgado on January 31, 2023

ETAPS 2023 Call For Participation by jankofron on January 30, 2023

Transformational Leadership Experience with Informatics Europe by Kit Wan Chui on January 16, 2023

Conrad Watt wins the EAPLS Best Dissertation Award 2021 by Maribel Fernandez on December 22, 2022

FORTE'23 first CfP by Antonio Ravara on December 21, 2022

1st CFP - 10th Workshop on Horn Clauses for Verification and Synthesis (HCVS) by José F. Morales on December 19, 2022

2nd CfP - 6th Workshop on Formal Reasoning about Causation, Responsibility, & Explanations in Science by Georgiana Caltais on December 18, 2022

2nd CfP - 29th International Symposium on Model Checking of Software - SPIN 2023 by Georgiana Caltais on December 18, 2022

CfP ICGT 2023 – 16th International Conference on Graph Transformation by Chris Poskitt on December 8, 2022 (edited on March 1, 2023)

PLDI 2023 Artifact Evaluation Committee Nominations by Anders Miltner on October 25, 2022

6th Workshop on Formal Reasoning about Causation, Responsibility, & Explanations in Science & Technology - CREST 2023 by Georgiana Caltais on October 24, 2022

ETAPS 2023 Final joint call for papers by jankofron on October 6, 2022

PhD positions on programmable networking at Illinois Tech in Chicago by nik on October 3, 2022

38th Annual ACM/SIGAPP Symposium on Applied Computing - Software Verification and Testing Track by Georgiana Caltais on October 2, 2022

Multiple PhD positions at The Australian National University by Nisansala Yatapanage on September 30, 2022