5th Prague Inter-reasoning Workshop on September 17–18 2025

Participants

Stephan Schulz, Konstantin Korovin, Martin Suda, Josef Urban, Jan Jakubův, Karel Chvalovský, Yutaka Nagashima, Stefan Ratschan, Adam Dingle, Michael Rawson, Zarathustra Amadeus Goertzel, Jonathan Julián Huerta y Munive, Chad E. Brown, Marek Dančo

Wednesday, September 17th

1:00pm – 3:00pm	lunch
3:00pm CIIRC, Room A-613 6th floor	Adam Dingle (Charles University, Prague) Natty: Natural-Language Proofs with Higher-Order Logic
3:30pm CIIRC, Room A-613 6th floor	Chad Brown (CIIRC-CTU) Infinite Models from Finite Saturations
4:00pm CIIRC, Room A-613 6th floor	Stephan Schulz (DHBW Stuttgart) Planning with Equality
7:00pm	dinner

Thursday, September 18th

10:00am – 11:00am	Martin Suda (CIIRC-CTU) Lifted Translations of PDDL to FOL
11:00am – 12:00am	Konstantin Korovin (University of Manchester) Planning and BMC in iProver
12:00am – 6:00pm	discussions and excursion