PLConferences
All events

Workshop

Deduktionstreffen

’26
Annual Meeting of the Interest Group for Deduction Systems
Bremen, GermanyAugust 11, 2026
  • Theorem Proving
  • Logic

Dates & Deadlines

Official page
  • AbstractJul 12passed

Notes

  • Workshop at KI 2026, the 49th German Conference on Artificial Intelligence

Last updated Jul 25, 2026