All announcements

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

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
EAPLS Best Paper Award 2019 by Anton Wijs on April 16, 2019
Permanent Academic positions at Heriot-Watt University by Ekaterina Komendantskaya on April 12, 2019
Principles and Practice of Declarative Programming by Ekaterina Komendantskaya on April 12, 2019
SAS 2019, EXTENDED Deadline: April 22 Abstract, April 25 Paper and Artifact: 26th Static Analysis Symposium, CfP by Bor-Yuh Evan Chang on April 11, 2019
16th International Conference on Formal Aspects of Component Software (FACS 2019) by [Deactivated account] on April 9, 2019
Fully-funded PhD position at Inria Lille (France) by Simon Bliudze on April 5, 2019
DARS 2019: 4th Workshop on the Design and Analysis of Robust Systems (with CAV 2019) by [Deactivated account] on April 1, 2019
Call for Posters - ECOOP 2019 by Lisa Nguyen Quang Do on March 28, 2019