Email Gateway (Dec 21 2025 at 12:22): Email Gateway (Dec 21 2025 at 12:22):From: Makarius <makarius@sketis.net>
Call for papers: Isabelle Workshop 2026 (FLoC Lisbon)
=====================================================
Website: https://sketis.net/isabelle/isabelle-workshop-2026
Where: Lisbon (Portugal), associated with ITP and IJCAR, as part of FLoC
When: 24..25-Jul-2025 (UTC+1)
What:
This informal workshop will bring together users and developers of the
interactive theorem prover Isabelle. The year 2026 is special due to 40th
anniversary of Isabelle, so we allocate 2 full days for the event.
Important Dates:
- Paper submission deadline: 09-May-2026 (AoE)
- Notification of acceptance: 01-Jun-2026 (UTC+0)
Organisers and Program Chairs:
- Jasmin Blanchette
- Dmitry Traytel
- Makarius Wenzel
Last updated: Dec 21 2025 at 20:24 UTC