All announcements
To filter on a specific category, select the category from the menu above.
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