caml-list - the Caml user's mailing list
 help / color / Atom feed
* [Caml-list] The 6th Vampire Workshop - CFP
@ 2019-05-28 12:41 geoff
  0 siblings, 0 replies; only message in thread
From: geoff @ 2019-05-28 12:41 UTC (permalink / raw)
  To: caml-list

Vampire 2019: The 6th Vampire Workshop
July 7, 2019, affiliated with SAT 2019
Lisboa, Portugal

- Submission deadline: June 16, 2019
- Notification of acceptance: June 19, 2019
- Workshop day: July 7, 2019

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.

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 1-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:

Submissions should be made using EasyChair, via the link :

The workshop proceedings is planned to be published in the EasyChair EPiC 

Laura Kovacs (Vienna University of Technology) 
Andrei Voronkov (University of Manchester and EasyChair) 

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, back to index

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-05-28 12:41 [Caml-list] The 6th Vampire Workshop - CFP geoff

caml-list - the Caml user's mailing list

Archives are clonable:
	git clone --mirror
	git clone --mirror

Example config snippet for mirrors

Newsgroup available over NNTP:

AGPL code for this site: git clone