Colloquium for Franz Baader's 60th Birthday

Impressions

For more pictures from the colloquium, see the password-protected page here.

Franz Baader

On June 15th, 2019 Franz Baader celebrated his 60th birthday. The colloquium on June 25th, 2019 honors his scientific achievements throughout his career as computer scientist. He has contributed to the fields of Unification Theory, Automated Reasoning, and Knowledge Representation and Reasoning, moving from his PhD studies in Erlangen to Kaiserslautern/Saarbrücken, Aachen, Canberra, and finally to Dresden, getting to know a lot of interesting people along the way. We have organized an exciting program with many interesting invited talks and even a quiz.

Festschrift

A Festschrift for the occasion (also affectionately known as "Franzschrift") was prepared under the editorship of Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, and Frank Wolter. The book, with the title "Description Logic, Theory Combination, and All That," was published in the  Springer series Lecture Notes in Computer Science, as volume 11560. You can access the contents online through the following link, starting from the day of the colloquium for up to 4 weeks:

https://link.springer.com/book/10.1007/978-3-030-22102-7

VenuE

Faculty of Computer Science at TU Dresden
Andreas-Pfitzmann-Bau
Nöthnitzer Straße 46, 01062 Dresden
Room E023 (ground floor)
See also https://goo.gl/maps/ybNRPppn3Hxc96JP9

Program

See the pdf.

Quiz

You can participate in the entertaining quiz after the lunch break, by using the following link during the quiz: https://pingo.coactum.de/260463

Lunch and Coffee Break

During the colloquium, food and drinks will be served in front of the lecture room, E023.

Dinner

For those participants who registered for the dinner at 19:30, here is some information about the venue:

Restaurant "Kurfürstenschänke"
An der Frauenkirche 13, 01067 Dresden
See also https://goo.gl/maps/QxWSuuCqae6aCNG67

The best option to get directly from the colloquium venue to the restaurant is to take the tram line 3 from the stop "Münchner Platz" to the stop "Pirnaischer Platz". You can also walk the whole way from the faculty to the restaurant in about 45 minutes. There will be some local participants available after the colloquium who can guide you there.

SPONSOR

© CRC/TR 248

We are grateful for the financial support from the Center for Perspicuous Computing (CPEC), which is funded by the DFG in CRC/TR 248 "Foundations of Perspicuous Software Systems".