Isabelle Workshop 2018

  • Where: Associated with ITP / FLoC 2018, Oxford, UK
  • When: 13 July 2018

Call for Papers

This informal workshop is intended to bring together Isabelle users and developers. Participants are invited to 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 April 2018
  • Notification of acceptance: 15 May 2018
  • Workshop: 13-Jul-2018

Organisers

Tobias Nipkow, Larry Paulson, Makarius Wenzel