KEAPPA - knowledge exchange for automated reasoning (fwd)
Josef Urban <[email protected]>
| Newsgroups | gmane.comp.mathematics.mizar |
|---|---|
| Message-ID | <[email protected]> |
---------- Forwarded message ---------- Date: Sat, 13 Sep 2008 12:13:46 -0400 (EDT) From: Geoff Sutcliffe <[email protected]> Subject: KEAPPA - knowledge exchange for automated reasoning We believe that existing automated provers and proof assistants are complementary, to the point that their cooperative integration would benefit all efforts in automating reasoning. Indeed, a number of specialized tools incorporating such integration have been built. The issue is, however, wider, as we can envisage cooperation among various automated provers as well as among various proof assistants. We have therefore arranged the following workshop, and invite you to submit. We hope to see you in Qattar! Cheers, Piotr and Geoff ------------------------------------------------------------------------------- ---------------------------------------------------------- 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 -------------------------------------------------------------------------------