Between 5.-8. September Prof. Juergen Dix is attending 8th International Conference on Logic Programming and Non Monotonic Reasoningconference in Italy.
Central and Eastern European Conference on Multi-Agent Systems, where he also presents paper by him and Prof. Dix: "Do Agents Make Model Checking Explode (Computationally)?".
The 17th Belgian-Dutch Conference on Artificial Intelligence and present there a paper by him and Prof. Dix: "Turning Game Models Turn-Based for Model Checking Properties of Agents".- BNAIC 2005 -
Person/Speaker: Frank Michael Schleif Place: T4, Tannenhoehe, CLZFrank Michael Schleif, invited by Prof. Hammer will speak on "Fishing for bio-marker candidates in ms-data by use of Learning Vector Qua
Strickert from Pattern Recognition Group of Department of Cytogenetics at IPK-Gatersleben, invited by Prof. Barbara Hammer, who will speak on Unveiling Data Secrets with Multidimensional Scaling Methods.
Prof. Dr. Ulrich Reif, from Fachbereich Mathematik, TU Darmstadt will speak on "Analyse des Vierpunkt-Schemas" The talk will take place on Monday, June 12 2006 in Seminar room A (Seminarraum A) of Institut
Deutsch
English