Organizers  

•     Nikolaj Bjorner (Stanford)
•     Reiner Hähnle (Karlsruhe)
•     Wolfram Menzel (Karlsruhe)
•     Wolfgang Reif (Ulm)
•     Peter H. Schmitt (Karlsruhe)