All announcements

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

Call for new board members by Mark van den Brand on October 9, 2017

*last CFP* ESOCC 2017 / EU projects track by Antonio Brogi on August 29, 2017

Theory and Practice of Differential Privacy (TPDP) - Deadline Extension: August 11 2017 by [Deactivated account] on August 5, 2017

Postdoc and Ph.D. Positions in Security & Concurrency with Formal Methods by Heiko Mantel on July 22, 2017

Call for Papers Microservices 2017 by Saverio Giallorenzo on July 15, 2017

Call for Participation: SAS 2017 by Caterina Urban on July 5, 2017

CFP: REBLS 2017 - 4th International Workshop on Reactive and Event-Based Languages & Systems by Guido Salvaneschi on June 12, 2017

Reachability Problems 2017 (Extended Deadline) by Matthew Hague on May 12, 2017