All announcements

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

NWPT 2022 - Call for papers by Crystal Chang Din on September 20, 2022 (edited on October 5, 2022)

ESOP 2023 - Call for Papers by Thomas Wies on September 6, 2022

Positions for Postdocs and Ph.D. candidates by Heiko Mantel on August 31, 2022

ETAPS 2023 2st joint call for papers by jankofron on August 31, 2022

PhD scholarship, Heriot-Watt University by Ekaterina Komendantskaya on July 29, 2022

ETAPS 2023 1st joint call for papers by jankofron on July 13, 2022

First 8 scholarships available for the Ph.D. Program in Computer Science at the Universities of Pisa, Florence and Siena by Antonio Brogi on July 11, 2022