- Where: Lisbon (Portugal), associated with ITP 2026 and IJCAR 2026, as part of FLoC 2026.
- When: 24..25-Jul-2025 (UTC+1).
Call for Papers
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.
Regular contributors will present their research and projects, including applications of Isabelle, internal developments, add-on tools, and reports on work in progress. Invited speakes will give keynote lectures and tutorials on the Isabelle system and its culture. There will also be opportunities to discuss the past, present, and future of the Isabelle community.
Please submit a regular paper (or extended abstract) of 2–20 pages (PDF) using Easychair. Reviews will be informal, to check that papers are on-topic and to decide the length of the presentation slot. No formal proceedings will be published, but accepted papers and slides will be made available on the workshop website.
Important Dates
- Paper submission deadline: TBA
- Notification of acceptance: TBA
- Deadline for final versions: TBA
- Workshop: 24..25-Jul-2025
Program (Lisbon / UTC+1)
- TBA