|
Professor of Informatics smolka at ps.uni-saarland.de +49 (681) 302-5311 Phone +49 (681) 302-5615 Fax Universität des Saarlandes Campus E1 3, Rm. 514 66123 Saarbrücken Germany Assistant |
Research: Computational Logic, Programming Languages, Constraint Programming
Apply to Saarbrücken Graduate School of Computer Science
24th Int. Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011
23rd Int. Conference on Automated Deduction (CADE 23), Wroclaw, Poland, 31 July - 5 August 2011
7th Workshop on Methods for Modalities, Osuna, Spain, 10-12 November 2011
Book: Programmierung - eine Einführung in die Informatik mit Standard ML
Making the simple complicated is commonplace; making the complicated simple, awesomely simple, that's creativity. -- Charles Mingus