Isabelle Workshop 2022

Hybrid event, associated with with ITP 2022 / FLoC 2022.

  • Virtual Space: BigBlueButton (via TU Munich)
  • Physical Location: Haifa, Israel
  • Time: 11-Aug-2022

Call for Papers

This informal workshop will bring together users and developers of the interactive theorem prover Isabelle. Participants will present their research and projects, including applications of Isabelle, internal developments, add-on tools, and reports on work in progress.

Please submit a paper (or extended abstract) of up to 20 pages. These will be reviewed informally and accepted papers will form part of the programme. Time permitting, the workshop will include demonstrations or briefings by the development team. There will also be opportunities to discuss issues of interest to the Isabelle community.

Papers should be submitted (in PDF) using EasyChair. No formal proceedings will be published, but accepted papers will be available on the workshop website.

Important Dates

  • Paper submission deadline: 15-May-2022
  • Notification of acceptance: 13-Jun-2022
  • Workshop: 11-Aug-2022

Program (Haifa time / GMT+3)

  1. Session 09:10-10:30 (Chair: Andrei Popescu)
    • 09:10 Tobias Nipkow: Welcome
  2. Session 11:00-12:30 (Chair: Štěpán Holub)
  3. Session 14:00-15:30 (Chair: René Thiemann)
  4. Session 16:00-17:30 (Chair: Chelsea Edmonds)

Remote Organisers

Tobias Nipkow, Larry Paulson, Makarius Wenzel

Local Technology Chair

Fabian Huch