From: geoff@cs.miami.edu (Geoff Sutcliffe)
To: caml-list@inria.fr
Subject: [Caml-list] 4th Vampire Workshop - Call for Papers
Date: Wed, 26 Apr 2017 17:12:21 -0400 (EDT) [thread overview]
Message-ID: <20170426211221.18B2312150E@mcclellan.cs.miami.edu> (raw)
=========================
Vampire 2017: The 4th Vampire Workshop
August 7, 2017, part of CADE 2017
Gothenburg, Sweden
http://easychair.org/smart-program/Vampire17/index.html
=========================
CALL FOR PAPERS
=========================
IMPORTANT DATES:
Submission deadline: July 1, 2017
Notification of acceptance: July 7, 2017
Workshop day: August 7, 2017
WORKSHOP AIM:
The workshop aims at discussing the development and use of the first-order
theorem prover Vampire. The workshop will address the newest trends in
implementing first-order theorem provers, and focus on new challenges and
application areas.
Workshop participants will include both Vampire developers and users and
provides a convenient opportunity for interesting discussions between tool
developers and users. The users can learn more about Vampire and its recent
developments. The developers can learn more about the use of Vampire, its
efficiency in various application areas and needs of the users.
The workshop is going to to shed the light on on problems such as
- what is essential for substantial progress in theorem proving tools;
- what are the best implementation principles to be used;
- what are the best heuristics and strategies, depending on application
areas;
- both successful and unsuccessful case studies;
- missing features in modern theorem provers.
The workshop will also overview the most recent advances made in Vampire.
PAPER SUBMISSION:
We seek submissions reporting on theory, application, case studies,
experiments and work-in-progress using Vampire and other theorem provers
in various applications. Submissions can be in any form, ranging from work
in progress to completed work. For example, the users can submit:
- extended abstracts or full papers;
- theoretical papers;
- experimental papers and case studies
- or in general any papers that can benefit tool developers and users.
Papers can be of any length, ranging from 2-page abstracts to full papers
up to 20 pages in length. The papers should use the EasyChair LaTeX,
Microsoft Word, or ODT templates, which can be found at:
http://www.easychair.org/publications/epic-templates.
Submissions should be made using EasyChair, via the link :
https://easychair.org/conferences/?conf=vampire17
The workshop proceedings will be published in the EasyChair EPiC series.
PROGRAM CHAIRS:
Laura Kovacs (Vienna University of Technology)
Andrei Voronkov (University of Manchester, Chalmers University of
Technology and EasyChair)
reply other threads:[~2017-04-26 21:12 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20170426211221.18B2312150E@mcclellan.cs.miami.edu \
--to=geoff@cs.miami.edu \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).