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 […]
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 be considered, including, but not limited to, coding and
data compression, computational […]