News Archive


From: 01.01.2011

2010 has been an excellent year and 2011 is going to be even better![more]

That's it for 2010

From: 21.12.2010

Today, we are looking back at a very magical and inspiring year of research, teaching and administration.[more]

Nils appointed assistant professor

From: 16.12.2010

Today, our colleague Nils was appointed assistant professor (Akademischer Rat) effective January 1st 2011.[more]

New Semester

From: 01.11.2010

The new semester has just started! We welcome all students that attend our teaching aktivities. We offer: Informatik III (B.Sc.)Modallogiken (M.Sc.)Pro- und Hauptseminar Please go to the teaching-section for more details.[more]


From: 29.10.2010

Jürgen attends the annual "Vertrauensdozenten der Studienstiftung des Deutschen Volkes".[more]

Nils' Viva

From: 22.10.2010

Our dear colleague Nils has just defended his PhD-thesis "Modelling and Verifying Abilities of Rational Agents" and passed with honours (summa cum laude). We congratulate wholeheartedly, knowing how much effort he has invested...[more]

Pro-/Hauptseminar Meeting

From: 02.10.2010

We will meet on 2nd November at 14:00 to assign the topics of the seminar-talks. [more]

MAPC 2010 is over!

From: 20.09.2010

The Multi-Agent Programming Contest is over and has been a success![more]

Federico's talk

From: 02.09.2010

Federico gives his welcome-talk today.

Nils gives a course at EASSS 2010 in France

From: 25.08.2010

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.[more]

Nils and Jürgen at ECAI

From: 18.08.2010

Nils and Jürgen are at the European Conference on Artificial Intelligence in Lisbon, Portugal.[more]

Federico Schlesinger joins the team

From: 16.08.2010

We warmheartedly welcome our new colleague Federico Schlesinger from Argentina![more]

Michael at ESSLLI

From: 09.08.2010

Michael spends some quality-time at the European Summerschool of Logic, Language and Information at the University of Copenhagen.[more]

Banchar's Viva

From: 28.05.2010

Banchar Arnonkijpanich successfully defended his PhD-thesis. The title is "Matrix Learning for Topographic Neural Maps".[more]

Jürgen and Nils at AAMAS

From: 10.05.2010

Jürgen and Nils attend the AAMAS Conference 2010 in Toronto. Nils will give a talk on "Verifying Agents with Memory is harder than it seemed".[more]

Barbara Hammer leaves Clausthal

From: 01.04.2010

"Adieu, adieu. Remember us!"[more]

Cees Witteveen in Clausthal

From: 21.01.2010

Cees Witteveen from Delf University pays us a visit. His talk will be: Decomposition of constraint systems: Equivalences and computational properties Abstract: Decomposition is a technique to split a problem in a number of...[more]

Barbara in Groningen

From: 08.01.2010

Barbara visits Dr. Biehl at RU Groningen in the frame of an Erasmus cooperation.[more]


Kontakt  Suche  Sitemap  Data Privacy  Imprint
© TU Clausthal 2018