Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle Users Workshop 2012


view this post on Zulip Email Gateway (Aug 18 2022 at 19:36):

From: Tobias Nipkow <nipkow@in.tum.de>
CALL FOR PAPERS

Isabelle Users Workshop 2012
http://in.tum.de/~nipkow/Isabelle2012
Associated with Interactive Theorem Proving (ITP 2012)
Princeton, NJ, USA

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, etc. Well-argued position papers (e.g. describing proposed
extensions) are also welcome, 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.

Submission URL:
http://www.easychair.org/conferences/?conf=isabelle2012

Important Dates:

* Paper submission deadline: June 15
* Notification of acceptance: June 29
* Workshop: August 12

Organisers: Tobias Nipkow, Larry Paulson and Makarius Wenzel


Last updated: Mar 28 2024 at 08:18 UTC