Suche

Brocken hiking trip Place: HarzTomorrow, January 30th 2006, we are planning to do some hiking in Harz and hopefuly to go to Brocken mountain. - Brocken Cam -

Matei Popovici and Mihnea Muraru, both teaching assistants at the Computer Science Department of Politehnica University of Bucharest, visit for an PhD internship. The will stay for approximately 4 months

(Jürgen Dix) Jürgen Dix has just been invited to the Editorial Board of IEEE Transactions of Knowledge and Data Engineering, one of the leading journals in this area.

Nils gives a course on "Model Checking Temporal and Strategic Logics" at the 12th European Agent Systems Summer School (EASSS 2010) in St. Etienne in France. http://easss2010.emse.fr/

Jürgen Dix visits Bath 1-7 Dezember 2006: JD is visiting the Dept. of CS at Bath University and acting as external examiner for the PhD of Owen Cliffe.

Seminar room, Am Regenbogen 15Dr. Yingqian Zhang from TU Delft will give a talk about "Cooperative and selfish task allocation in agent social networks".

Group trip to Hanskühnenburg Today, our group and our guest Dr. Yingqian Zhang from TU Delft made a nice hiking trip to Hanskühnenburg. Afterwards, we relaxed in the spa in Bad Harzburg.

Prof. Dr. Wojciech Penczek from Institute of Computer Science, PAS, Warsaw, Poland and Institute for Informatics, Podlasie Academy, Siedlce, Poland will speak on "Bounded Parametric Model Checking for

Martin Balaz in Clausthal Martin Balaz from the Faculty of Mathematics, Physics and Informatics, Comenius University, Bratislava will visit us for two weeks. He is going to extend his cooperation with

Universität Hannover will speak on "The Tractability of Model-Checking for LTL: The Good, the Bad and the Ugly Fragments". - Heribert Vollmer -