[isabelle] The Isabelle Workshop 2007 - Call for Abstracts


The Isabelle Workshop 2007

A workshop at CADE'07, Bremen, Germany, 16th July 2007.

Submission deadline:	20 May 2007

Principal goals of the workshop:

* Provide an overview of ongoing developments with Isabelle
* Foster collaboration between different researchers
* Share and solve problems
* Forum for discussing future directions


This workshop aims to provides an overview of ongoing developments in Isabelle for both researchers interested in knowing more about the system as well Isabelle's developers and users. With the increasing use of the system and its combination of many automated deduction techniques, it is important to foster collaboration between different researchers. For the developers of Isabelle, meeting users is an important part of focusing development of the system. The workshop will also provide a forum to discuss new technologies and see a wide range of applications for automated reasoning. Discussion of formal theory developments also gives a chance to share knowledge and encourage improvements to the underlying proof tools and definitional machinery. Most formalisations in Isabelle's are in Higher-Order Logic, but we also encourage discussion of developments in other logics.

Suggested Themes:

* Formal Theory Developments,
* Isar and Interfaces,
* Definitional Machinery,
* Proof Automation,
* Future Directions


Authors are invited to submit abstracts for presentation at the workshop. These can concern finished work or work in progress and the length is up to the author. Although there will be no formal refereeing, if a large number of abstracts are received we may change the format so that some speakers give shorter talks.

Submissions should be made via EasyChair http://www.easychair.org/ISABELLE2007/

There will be a programme of short talks and demonstrations. A bound collection of the abstracts will be circulated to participants and made available online.

If you have any questions you can email me: ldixon at inf.ed.ac.uk
look forward to seeing you all in Bremen,
Lucas Dixon

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.