Research Seminar on Logic and AI

In this research seminar, we warmly invite speakers to present their research on (inter-disciplinary) topics related to logic, reasoning 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!

Talk Proposal

The seminar is organized by the Knowledge-Based Systems group. It is built on community effort: Please contact Nils Küchenmeister (or, if unavailable, Stephan Mennicke), 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 (This is a new link!) and physically in the room APB 3027.

For further information on scheduled upcoming seminars please check the program overview below.

Recent and Upcoming Talks

Date	Speaker	Topic
2027-01-28	Rajab Aghamov	Temporal Properties of Conditional Independence in Dynamic Bayesian Networks
2027-01-21	Luisa Herrmann	Smallest Synchronizing Terms over Constant Alphabets Can Be Exponentially High
2027-01-07	Pascal Kettmann	Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory
2026-12-10	Oscar Barreca	On the Complexity of Model Checking for Temporal Equilibrium Logic
2026-12-03	Tim Lyon	A Guided Tour of Sequent Formalisms for Modal Logics
	View older talks …	Subscribe to upcoming talks (iCal)

Calendar