Archive for October 1st, 2008

[Concurrency] PhD position at University of Paderborn

The research group “Modelling and Specification of Software Systems” at the University of Paderborn (Germany) currently offers a PhD position (2 years) in a DFG-funded project on 3-Valued Abstraction Techniques The project, funded by the German Research Council, aims at developing abstraction techniques for model checking parallel programs with respect to local properties of single [...]

CFP: 20th Ann Symp on Combinatorial Pattern Matching (CPM 2009)

CALL FOR PAPERS CPM 2009 20th Annual Symposium on Combinatorial Pattern Matching (Special anniversary edition) June 22-24, 2009, Lille, France http://bioinfo.lifl.fr/cpm09/ cpm09@lifl.fr Submission date: January 12, 2009 OVERVIEW: The 20th Symposium on Combinatorial Pattern Matching (CPM) will be held in Lille, France. Papers in all areas related to combinatorial pattern matching and its applications will [...]