news
| Jul 24, 2026 | I’m giving a talk about our Paper Elixir meets TPTP: Bringing Automated Reasoning to the BEAM Ecosystem at PAAR’26 in Lisbon. The slides and the presented demo files are publically available. |
|---|---|
| Jul 02, 2026 | Our paper at PAAR’26 is accepted and a camera-ready version available at ResearchGate. I will present this work at the PAAR workshop in Lisbon on July 25. |
| Apr 01, 2026 | Teaching Assistant for AISE-Auto – Automation of Logical Reasoning offered by Prof. Dr. Christoph Benzmüller during summer semester 2026. |