News

IfI Kolloquium

IfI Kolloquium Person/Speaker: Prof. Gabriele Kern-Isberner

Place: Seminar room R210, Am Regenbogen 15, CLZOn Friday 2nd December we will welcome Prof. Kern-Isberner from University of Dortmund for a next invited talk in our IfI Kolloquia serie.-Gabriele Kern-Isberner- -flyer-

IfI Kolloquium

IfI Kolloquium Person/Speaker: Prof. Dr. Karl Schlechta

Place: Seminar room R210, Am Regenbogen, CLZOn Wednesday, 30th November, Karl Schlechta will come for an invited talk in the IfI Kolloquia serie. You are invited.-Karl Schlechta- -flyer-

PhD. thesis defense

PhD. thesis defense Person/Speaker: Yingqian Zhang

Place: The University of Manchester, UKOn 28th November, our colleague Yingqian Zhang will defend her PhD. thesis at School of Computer Science of The University of Manchester. Although she probably won't need it anyway (Yingqian did a great on job on her thesis) we wish her a good luck.-Yingqian Zhang-

IfI Kolloquia

IfI Kolloquia Person/Speaker: Diego Borro

Place: T4, Tannenhoehe, CLZDiego Borro, guest of Prof. Zachmann, will speak on "Collision Detection and Haptic Devices in Virtual Reality Environments". -Diego Borro- -flyer-

CIG meeting

CIG meeting Person/Speaker: Wojtek Jamroga

Place: Am Regenbogen 15, CLZDuring our regular CIG meeting Wojtek started to present some results on model checking of ATL formulas for agents with incomplete information and imperfect memory (w.r.t history). A good discussion resulted from this trigger...

New CIG server

New CIG server Person/Speaker: Peter Novak

Place: cig.in.tu-clausthal.deOur group web server got a new machine, operating system and location. In the case of any problems caused by migration, please contact the webmaster.-http://cig.in.tu-clausthal.de/-

BNAIC 2005

BNAIC 2005 Person/Speaker: Wojtek Jamroga

Place: Brussel, BelgiumWojtek Jamroga will attend 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-

CIG meeting

CIG meeting Person/Speaker: Wojtek Jamroga

Place: Am Regenbogen 15, CLZDuring our regular group meeting Wojtejk will refer on his CEMAS'05 paper "Do Agents Make Model Checking Explode (Computationally)?".-Wojtek Jamroga-