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 Computational Logic group. Please contact Meghna Bhadra, if you would like to give a talk or invite a guest speaker.

The seminar is built on community effort. In addition to reaching out to the organizer, anyone planning on giving a talk or inviting a guest to do so is warmly encouraged to propose tentative talks via the survey: https://bildungsportal.sachsen.de/umfragen/limesurvey/index.php/464451?lang=en. The tentative talk schedule is periodically updated in the following spreadsheet, which participants can consult when planning their own talks: https://datashare.tu-dresden.de/s/KdfkcWciSsgGWDZ.

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 scheduled upcoming seminars please check the program overview below.

Recent and Upcoming Talks

Date	Speaker	Topic
2026-08-20	Stefan Borgwardt	TBA
2026-08-06	Alex Ivliev	TBA
2026-07-30	Lukas Gerlach	TBA
2026-07-09	Alisa Kovtunova	TBA
2026-07-02	Alisa Kovtunova	TBA
	View older talks …	Subscribe to upcoming talks (iCal)

Calendar