22 November 2008
Doha, Qatar
----------------------------------------------------------
KEAPPA Workshop - 22nd November 2008
Knowledge Exchange: Automated Provers and Proof Assistants
http://www.cs.ualberta.ca/~piotr/KEAPPA08/
----------------------------------------------------------
preceding LPAR'08, the 15th International Conference on Logic for
Programming, Artificial Intelligence and Reasoning
November 23-27, 2008, Carnegie Mellon University, Doha, Qatar
http://www.qatar.cmu.edu/lpar08
This workshop will bring together practitioners and researchers who have
experimented with knowledge exchange among tools supporting automated
reasoning. Relatively little stress will be put on ideas that are not yet
implemented but such contributions are also welcome.
Topics of interests
+ Formats for knowledge exchange.
+ Delegating tasks from proof assistants to theorem provers.
+ Interfacing to more than one theorem prover.
+ Imports from theorem provers that can be trusted.
+ Sharing libraries among proof assistants.
Submission
Please submit an extended abstract of up to 10 pages, following the
instructions in the KEAPPA web site ...
http://www.cs.ualberta.ca/~piotr/KEAPPA08/
Organizers
+ Piotr Rudnicki, University of Alberta (Canada)
+ Geoff Sutcliffe, University of Miami (USA)
Invited Speaker
+ Josef Urban, Exporting from the Mizar Library
-------------------------------------------------------------------------------