All announcements

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

CFP: First International Workshop on ENgineering Intelligent Applications' Code - ENIAC20 by [Deactivated account] on November 13, 2019 (edited on November 29, 2019)
ECOOP '20 Call for Artifact Evaluation Committee Members by Manuel Rigger on November 3, 2019
Tenure-Track Faculty Positions at the MPIs for Informatics, Software Systems, and Security & Privacy by Maria Christakis on October 16, 2019
CFP: 18th Belgium-Netherlands Software Evolution Workshop - BENEVOL 2019 by [Deactivated account] on September 20, 2019
Practical Aspects of Declarative Languages PADL2020: 2nd CFP by Ekaterina Komendantskaya on September 18, 2019
Call for Participation - Formal Aspects of Component Software (FACS 2019), Amsterdam by [Deactivated account] on September 17, 2019
TAPAS 2019 - Call for Participation - Register Early by Sep 10 by [Deactivated account] on September 7, 2019
PhD and postdoc positions at Schaffhausen Institute of Technology by Bertrand Meyer on September 2, 2019
Call for Presentations on Principles of Secure Compilation (PriSC Workshop @ POPL 2020) by Dominique Devriese on August 28, 2019
PADL 2020 (co-allocated with POPL 2020): first call for papers by Ekaterina Komendantskaya on August 12, 2019
Refinement workshop: Deadline extension by Brijesh Dongol on July 2, 2019
CFP - ModComp'19 - The 6th International Workshop on Interplay of Model-Driven and Component-Based Software Engineering by Andreas Wortmann on June 25, 2019
16th International Conference on Formal Aspects of Component Software (FACS 2019) by [Deactivated account] on June 20, 2019
EAPLS PhD Award 2018: Call for Nominations by Andreas Wortmann on June 16, 2019
Workshop on Model-Based Design of Cyber-Physical Systems (CyPhy’19) by Abd-Elhamid Taha on June 15, 2019 (edited on July 28, 2019)
GPCE 2019: 2nd Call for Papers - Athens, Greece; October 21-22 by Rodin Aarssen on June 7, 2019
ECSS 2019 - First Call for Participation by [Deactivated account] on June 3, 2019
Postdoc positions in verification and distributed systems at IMDEA, Madrid by Alexey Gotsman on May 31, 2019
[TAPAS 2019] 10th Workshop on Tools for Automatic Program Analysis (extended deadline) by [Deactivated account] on May 29, 2019 (edited on July 1, 2019)
Model-Based Design of Cyber Physical Systems (CyPhy'19) by Abd-Elhamid Taha on May 27, 2019
ModComp19: 6th international workshop on interplay of model-driven and component-based software engineering at MODELS19 by Andreas Wortmann on May 21, 2019
Post Doctoral Researcher: Dynamic Analysis of Python. by Paddy Krishnan on May 16, 2019
Fully funded PhD at the University of Surrey by Brijesh Dongol on May 7, 2019
PPDP'19 Deadline Extension 10th May by Ekaterina Komendantskaya on April 28, 2019
12th Interaction and Concurrency Experience (ICE 2019): 2nd CfP by Anastasia Mavridou on April 18, 2019