Research Seminar Logic and AI

Aus International Center for Computational Logic
Version vom 2. April 2024, 08:34 Uhr von Lukas Gerlach (Diskussion | Beiträge)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Wechseln zu:Navigation, Suche
Toggle side column

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 Knowledge-Based Systems group. Please contact Lukas Gerlach 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

DateSpeakerTopic
2025-04-03 Tim Lyon On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic
2025-03-06 Lukas Gerlach Formalizing Possibly Infinite Trees of Bounded Degree
2025-02-06 Lukas Schulze Description Logic with Abstraction and Refinement
2025-01-16 Simon Razniewski GPTKB: Comprehensively Materializing Factual LLM Knowledge
2024-12-12 Luisa Herrmann Tree Automata with Global and Non-Global Counting
View older talks … Subscribe to upcoming talks (iCal)


Calendar