Share Your Research, Maximize Your Social Impacts
Main Menu
Searching By
PARTNERS
ISABELLE 2018 - ISABELLE WORKSHOP 2018
Topics/Call fo 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.
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.
Other CFPs
- 25th RCRA International Workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion"
- 5th Workshop on Formal Reasoning in Distributed Algorithms (FRIDA 2018)
- THE 5TH VAMPIRE WORKSHOP
- Nineteenth International Workshop on Logic and Computational Complexity
- 5th Workshop on Horn Clauses for Verification and Synthesis
Last modified: 2017-12-13 10:18:56