- Where: In Virtual Space, associated with IJCAR 2020 and Paris Nord Summer of LoVe. (The originally planned location in Paris-Aubervilliers, France had to be cancelled.)
- When: 30 June 2020
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.
- Paper submission deadline: 16 April 2020
- Notification of acceptance: 15 May 2020
- Workshop: 30 June 2020