All announcements

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

2nd CFPs: Constraint​​s in Formal Verificati​​on 2011 by mvelev on September 5, 2011
CC 2012: submission site now open by [Deactivated account] on August 30, 2011
CP 2011 - Call for Participation by [Deactivated account] on August 11, 2011
CP 2011 - Call for Participation by [Deactivated account] on July 21, 2011
4th York Doctoral Symposium (YDS 2011) - Deadline Extension for Papers by Chris Poskitt on June 20, 2011
CP 2011 - Call for Participation by [Deactivated account] on June 15, 2011
open post-doctoral position (INRIA Bordeaux, France) by [Deactivated account] on June 6, 2011
FAST 2011: Deadline extended by FabioMartinelli on June 3, 2011
MiniZinc 2.0 Workshop by [Deactivated account] on May 30, 2011
Two 3-year Research Assistants - PLanCompS project - Swansea by Peter Mosses on May 18, 2011
CFP: FAST2011 - 8th International Workshop on Formal Aspects of Security & Trust by FabioMartinelli on May 17, 2011
Post-doctorate position on model-driven engineering embedded software architectures at INRIA, Rennes by Jean-Pierre Talpin on May 2, 2011
2011 GTTSE/SLE Students' Workshop by [Deactivated account] on April 30, 2011
4th York Doctoral Symposium (YDS 2011) - Call for Papers and Posters by Chris Poskitt on April 26, 2011
21st Workshop on Logic-based methods in Programming Environments by Alexander Serebrenik on April 25, 2011
open post-doc position at INRIA Bordeaux, France by [Deactivated account] on April 21, 2011
CfP: Workshop of the 2nd SICSA MultiCore Challenge (n-body problem) by Hans-Wolfgang Loidl on April 20, 2011
extended deadline - April 20 - AMMSE 2001 - Algebraic Methods in Model-Based Software Engineering by Vlad Rusu on April 12, 2011
Winner EAPLS Best PhD Dissertation Award 2010 by Arend Rensink on April 11, 2011
Last CFP: International Conference on Domain-Specific Languages (DSL 2011) by [Deactivated account] on April 8, 2011
Final CfP: The 9th International Conference on SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM'11) by Gerardo Schneider on April 7, 2011
EAPLS best paper award at ETAPS 2011 by Mark van den Brand on April 4, 2011
SLE 2011 - Deadline extension by [Deactivated account] on March 30, 2011
SLE 2011 - Final Call for papers by [Deactivated account] on March 18, 2011
Extended Deadline: Special issue on Software Evolution, Adaptability and Maintenance by Lionel Seinturier on March 15, 2011