Email Gateway (Aug 18 2022 at 10:21): Email Gateway (Aug 18 2022 at 10:21):From: Lucas Dixon <ldixon@inf.ed.ac.uk>
CALL FOR ABSTRACTS
The Isabelle Workshop 2007
A workshop at CADE'07, Bremen, Germany, 16th July 2007.
http://homepages.inf.ed.ac.uk/ldixon/events/isabelle-ws-07/
Submission deadline: 20 May 2007
Principal goals of the workshop:
Overview:
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:
Submissions:
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@inf.ed.ac.uk
look forward to seeing you all in Bremen,
Lucas Dixon
Last updated: May 03 2024 at 04:19 UTC