All announcements

CFP: MORSE'18 - 5th Workshop on Model-Driven Robot Software Engineering by Andreas Wortmann on May 14, 2018

CfP: ModComp'18: 5th International Workshop on Interplay of Model-Driven and Component-Based Software Engineering by Andreas Wortmann on May 8, 2018

June 1 Submission Deadline for 2018 Informatics Europe Best Practices in Education Award by [Deactivated account] on May 7, 2018

June 1 Submission Deadline for 2018 Minerva Informatics Equality Award by [Deactivated account] on May 3, 2018

CfP - SEMS'18: 5th International Workshop on Software Engineering Methods in Spreadsheets by [Deactivated account] on April 24, 2018

Call for abstracts- Discrete models and formal verification in biology by [Deactivated account] on April 20, 2018

REFINE 2018 deadline extension by Brijesh Dongol on April 17, 2018

VECoS 2018: Deadline extensions by Simon Bliudze on April 11, 2018

Upcoming Deadline for SAS 2018: April 13th by Caterina Urban on March 31, 2018

QAPL 2018: second call for papers by Erik de Vink on March 22, 2018

25th Static Analysis Symposium (SAS 2018): Call for Papers by Caterina Urban on March 9, 2018

CALL FOR PARTICIPATION: ETAPS 2018 - 21st European Joint Conferences on Theory And Practice of Software by Ezio Ezio Bartocci on March 9, 2018

Call for Papers -- ManLang'18: 15th International Conference on Managed Languages & Runtimes by Rick Rabiser on February 28, 2018

Call for Posters - ECOOP / ISSTA 2018 by Lisa Nguyen Quang Do on February 28, 2018

Call for Submissions: 2018 Minerva Informatics Equality Award by [Deactivated account] on February 13, 2018

CFP: VL/HCC 2018 - IEEE Symposium on Visual Languages and Human-Centric Computing by Rui Pereira on February 2, 2018

MeTRiD 2018: Deadline extension (ETAPS workshop) by Simon Bliudze on January 22, 2018

Cornell, Maryland, Max Planck Pre-doctoral Research School 2018: Call for applications by Maria Christakis on January 12, 2018

Euro-Par 2018 Conference, Turin, Italy (opening talk by Turing award SIlvio Micali) by Massimo Torquati on January 5, 2018

iFM 2018 Call For Paper by Hao Wu on December 11, 2017

12th International Workshop on Rewriting Logic and its Applications (WRLA 2018): last CfP by Vlad Rusu on December 4, 2017 (edited on December 29, 2017)

Rigorous System Design, CfP MeTRiD workshop @ ETAPS 2018 by Simon Bliudze on December 3, 2017

CfP VECoS 2018 || September 26-28, 2018 - Grenoble, France by Simon Bliudze on December 3, 2017

PEPM 2018 Call for Poster/Demo Abstracts and Participation by Hsiang-Shang Ko on November 23, 2017 (edited on November 25, 2017)

Postdoctoral position in formal semantics and compiler verification by Delphine Demange on October 25, 2017