Edited volume on Neuro-Symbolic Integration Together with Pascal Hitzler, Barbara edited a volume of the Springer series Studies in Computational Intelligence, entitled 'Perspectives of Neuro-Symbolic Integration'. The book gathers recent research in the form of overview articles written by experts in the field.

Jürgen at ECSS07 Jürgen participates in the European Computer Science Summit 3rd Annual Informatics Europe Meeting 2007 in Berlin.-Link-

Tristan at WLP 2007 Today Tristan will give his talk on "LTL Model Checking with Logic Based Petri Nets" at the WLP 2007 workshop in lovely Würzburg.-WLP 2007-

Oberseminar: Tristan's talk Place: Seminarraum, Am Regenbogen Today Tristan will practice his WLP-talk "LTL Model Checking with Logic Based Petri Nets".