coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] FTP'07: Call for participation

From: ranise AT loria.fr
To: theorem-provers AT ai.mit.edu, isabelle-users AT cl.cam.ac.uk, calculemus-ig AT calculemus.net, frocos AT loria.fr, clp AT comp.nus.edu.sg, eacsl AT dimi.uniud.it, aiia AT di.unito.it, coq-club AT pauillac.inria.fr, formal-methods AT cs.uidaho.edu, pvs AT csl.sri.com, rewriting AT ens-lyon.fr, types-announce AT lists.seas.upenn.edu, twelf-list AT twelf.org, acl2 AT cs.utexas.edu, logic AT cs.stanford.edu, THEORYNT AT listserv.nodak.edu, smt-lib AT cs.nyu.edu, cassis AT loria.fr, protheo AT loria.fr, mosel AT loria.fr, types AT loria.fr, qsl_tous AT loria.fr
Subject: [Coq-Club] FTP'07: Call for participation
Date: Wed, 1 Aug 2007 18:34:44 +0200
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

                   CALL FOR PARTICIPATION

   FTP 2007 - International Workshop on First-Order Theorem Proving
          (September 12-13, 2007, Liverpool, United Kingdom)
                   http://www.csc.liv.ac.uk/~ftp07/

The Sixth International Workshop on First-Order Theorem Proving will
take place at the University of Liverpool, UK, on September 12-13, 2007,
co-locating with the Sixth International Symposium on Frontiers of
Combining Systems <http://www.csc.liv.ac.uk/~frocos07/> on September
10-12, 2007.

PROGRAM
-------
A list of accepted papers and a preliminary workshop program which
includes three invited talks and thirteen research presentations can
be found at
            <http://www.csc.liv.ac.uk/~ftp07/program.html>

INVITED TALKS
-------------
* Bernd Fischer <http://www.ecs.soton.ac.uk/about/bernd_fischer.php>
  (Southampton, England, UK):
  "Applying First-Order Theorem Provers in Formal Software Safety
   Certification"
* Martin Giese <http://www.risc.uni-linz.ac.at/people/mgiese/>
  (Linz, Austria):
  "Aspects of First-order Reasoning in the KeY system"
* Viorica Sofronie-Stokkermans <http://www.mpi-inf.mpg.de/~sofronie/>
  (MPI Informatik, Saarbruecken, Germany) [joint with FroCos]:
  "Hierarchical and Modular Reasoning in Complex Theories: The Case
   of Local Theory Extension"

STUDENT GRANTS
--------------
A limited number of student participation grants is available on a
first come first served basis which allows us to waive the workshop
registration fee for those students. (A proof of student status will
be requested if necessary.)

IMPORTANT DATES (NEW)
---------------------
Early registration deadline:           August 10,       2007
Recommended hotel reservations:  August 17,       2007
Workshop:                         September 12-13, 2007

FURTHER INFORMATION
-------------------
For additional information please consult the following web pages:

* Overview of FTP 2007    <http://www.csc.liv.ac.uk/~ftp07/>
* Registration
<http://www.csc.liv.ac.uk/~ftp07/registration.html>
* Travel & Accommodation  <http://www.csc.liv.ac.uk/~ftp07/travel.html>
* Venue                   <http://www.csc.liv.ac.uk/~ftp07/venue.html>

RELATED EVENTS
--------------
FTP 2007 will be collocated with FroCoS'07
<http://www.csc.liv.ac.uk/~frocos07/>
(6th International Symposium on Frontiers of Combining Systems)

CONTACTS
--------
Programme Chair:           Silvio Ranise <http://www.loria.fr/~ranise/>,
                           LORIA and INRIA-Lorraine, France
Local Organisation Chair:  Ullrich Hustadt
<http://www.csc.liv.ac.uk/~ullrich>,
                           University of Liverpool, UK

[Coq-Club] FTP'07: Call for participation, ranise