Research Seminar Logic and AI

In this research seminar, we invite speakers to present their research on topics related to logic and artificial intelligence. This includes presentations of published or accepted papers, rehearsals for future talks at conferences, defenses of very good student theses, as well as presentations of ongoing research. Coffee is usually provided. All are welcome.

The seminar is organized by the Computational Logic group. Please contact Piotr Ostropolski-Nalewaja if you would like to give a talk or invite a speaker.

Schedule and Location

The seminar takes place most Thursdays from 11.00 – 12.00. The research seminar takes place in a hybrid form, online through Big Blue Button and physically in APB 3027. Please see the detailed program for information on upcoming seminars.

Recent and Upcoming Talks

Date	Speaker	Topic
2023-06-08	Anas Shahab	Querying Wikidata with GraphQL
2023-06-01	Bartosz Bednarczyk	Database-Inspired Reasoning Problems in Description Logics With Path Expressions
2023-05-25	Luisa Herrmann	Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures
2023-05-12	Rajab Aghamov	Discrete Linear Dynamical Systems: The Introduction.
2023-05-04	Marko Tesic	Can AI explanations skew our causal intuitions about the world? If so, can we correct for that?
	View older talks …	Subscribe to upcoming talks (iCal)

Calendar