Welcome!
This is our joint research seminar, in particular for PhD students and postdocs in the groups, and for students presenting their BSc or MSc thesis.
We use it as a platform to exchange research ideas and current interests.
Students are very welcome! Guests are also very welcome!
The talks take place on Tuesdays, 2.15pm, in our WE5/03.004 unless otherwise stated.
See VC-course: vc.uni-bamberg.de/course/view.php.
Upcoming talks: WS 2026/27 (updated regularly)
Date | Title | Speaker |
|---|---|---|
| 20.10.2026 | The Logical Expressive Power of Graph Neural Networks(620.0 B) | Prof. Dr. Carsten Lutz, Leipzig University |
| 27.10.2026 | Discussion of the impact of AI in research and teaching | All (short input is welcome, please prepare) |
| 10.11.2026 | New Results on Lax Logic | Dr. Matt Fairtlough |
| 24.11.2026 | Explicit Modular Decomposition(2.1 KB) | Prof. Dr. Marc Hellmuth, Leipzig University |
| 01.12.2026 | On non-rigidity in Quantified Modal Logic | Luke Burke, PHD |