News
FIRST CALL FOR PAPERS PAAR IJCAR'08 Workshop on Practical ...
www.eprover.org
PROGRAM COMMITTEE Serge Autexier Nikolaj Bjorner Peter Baumgartner Koen Claessen Bernd Fischer Ulrich Furbach Martin Giese Volker Haarslev Thomas ...
SBU - Computer Science Department Dr. Leo Bachmair to Accept...
www.cs.stonybrook.edu
... co-authored with Harald Ganzinger and Uwe Waldmann and published at LICS ‘93. Dr. Bachmair is also the recipient of the LICS Test-of-Time Award, ...
Es geht wieder rauf | Onetz
www.onetz.de
Die Oberwildenauer schreiben Geschichte, wenn auch nur eine kleine: Sie sind der erste Regionalligameister nach Einführung des 120er Spielmodus.
Beyer folgt auf Waldmann - WESER-KURIER
www.weser-kurier.de
Bahnhofsvorstadt. Die DKV-Residenz in der Contrescarpe hat einen neuen Direktor. Der 42-jährige Sven Beyer ist auf Uwe Waldmann gefolgt, der die Geschicke ...
sorted by relevance / date