Research Seminar on Logic and AI

In this research seminar, we invite speakers to present their research on (inter-disciplinary) 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. All are welcome!

The seminar is organized by the Computational Logic group. Please contact Meghna Bhadra, if you would like to give a talk or invite a guest speaker.

Schedule and Location

The research seminar is scheduled on Thursdays from 11.00 am to 12.00 pm. It is held in a hybrid form, both online through Big Blue Button and physically in the room APB-2026. For further information on an upcoming seminar pease check the program overview for the same.

Recent and Upcoming Talks

Date	Speaker	Topic
2026-03-19	Philipp Hanisch	Declarative Debugging for Datalog with Aggregation
2026-03-12	Philipp Hanisch	Rule Rewriting Revisited: A Fresh Look at Static Filtering for Datalog and ASP
2026-02-19	Lydia Blümel	Concepts of Conditional Independence in Computational Argumentation
2026-02-05	Simon Razniewski	News from Knowledge-aware AI
2026-01-22	Sarah Gaggl	Interactive Exploration of Plan Spaces
	View older talks …	Subscribe to upcoming talks (iCal)

Calendar