Towards Formalizing Cyclic Tableaux and Interpolation for PDL in Lean

Malvin Gattinger will give a talk titled Towards Formalizing Cyclic Tableaux and Interpolation for PDL in Lean.

Date & Time: Wed, Jun 11 2025 at 16:00 Location: Gußhausstraße 27-29, Seminar Room 127 (third floor)

Click here for more details and registration