Research Seminar Logic and AI
Aus International Center for Computational Logic
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. 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 speaker.
Schedule and Location
The research seminar is scheduled on Thursdays from 11.00 am – 12.00 pm. It is held in a hybrid form, both online through Big Blue Button and physically in APB-2026. For further information on an upcoming seminar pease check the program overview for the same.
Recent and Upcoming Talks
| Date | Speaker | Topic |
|---|---|---|
| 2025-12-11 | Lucas Carr | Investigating Preferential Reasoning in Formal Concept Analysis |
| 2025-12-04 | Racquel Dennison | Multi-Network Batch Scheduling with Answer Set Programming |
| 2025-11-27 | Nicholas Leisegang | Defeasibility in Propositional Standpoint Logics |
| 2025-11-13 | Ruvarashe Madzime | ECCRS: An Interpretable Rule Classifier with Exceptions |
| 2025-11-06 | Lukas Gerlach | About the Multi-Head Linear Restricted Chase Termination |
| View older talks … | Subscribe to upcoming talks (iCal) |
