All announcements

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

Last CFP: 1st ETAPS Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies (CREST) by goessler on January 4, 2016
PLDI 2016 call for workshops and tutorials by Manu Sridharan on October 8, 2015
CREST: 1st Workshop on Causal-based Reasoning for Embedded and safety-critical Systems Technologies by goessler on October 6, 2015
PLDI 2016: call for papers by Manu Sridharan on September 16, 2015
Postdoc positions - Center for Advanced Software Analysis, Aarhus University by Anders Møller on August 31, 2015
Fabrizio Montesi wins the EAPLS Best PhD Dissertation Award 2014 by Arend Rensink on August 30, 2015 (edited on August 31, 2015)
WODA 2015: Deadline Extension by [Deactivated account] on August 5, 2015
SOAP track at SAC 2016 - 2nd Call for Papers by Hernan Melgratti on August 5, 2015
AVoCS 2015: Final Call for Research Idea Papers & Participation by Yuhui Lin on August 3, 2015
PPPJ 2015: Call For Participation by [Deactivated account] on July 29, 2015
AVoCS 2015: Joint Call for Research Idea Papers & Participation by Yuhui Lin on July 17, 2015
Parsing@SLE 2015: Call for talk proposals by Ali Afroozeh on July 13, 2015
FORMAL APPROACHES TO PARALLEL AND DISTRIBUTED SYSTEMS (4PAD) by Frederic Loulergue on July 8, 2015
Call for Papers: WODA 2015 by [Deactivated account] on June 22, 2015
5th International Workshop on Cyber-Physical Systems (Extended Deadline: June 17) by Mohammad Mousavi on June 11, 2015
AVoCS 2015: Extended Paper Deadline by Yuhui Lin on June 8, 2015
PPPJ 2015: Deadline Extension by [Deactivated account] on June 5, 2015
FINAL CALL FOR PAPERS by Yuhui Lin on May 27, 2015
PhD fellowship & Engineer position in programming tools at INRIA Bordeaux, France by [Deactivated account] on May 26, 2015
Deadline Extension: Topics in Theoretical Computer Science (TTCS 2015) -- Tehran, Iran by mmajid on May 15, 2015
PLDI 2015 Call for Student Volunteers by Manu Sridharan on April 29, 2015
Final CFP: Topics in Theoretical Computer Science (TTCS 2015) -- Tehran, Iran by mmajid on April 22, 2015
CFP: HSB 2015 - Hybrid Systems Biology by Paolo Zuliani on April 10, 2015
Open PhD position at Mines Nantes by [Deactivated account] on April 9, 2015
PPPJ 2015: Call for papers by [Deactivated account] on April 9, 2015