The Coq mailing list

[owner Coq Club <owner-coq-club AT pauillac.inria.fr>]

                    LAST CALL FOR PAPERS AND VOTES
                
                  The 15th International Conference on
                Theorem Proving in Higher Order Logics

                        Hampton, Virginia, USA
               Tuesday 20 August - Friday 23 August 2002 
                               
                http://shemesh.larc.nasa.gov/tphols2002 ;
               
To vote for the location of next year's TPHOLs, please go to:

http://shemesh.larc.nasa.gov/tphols2002/tphols2003.html

To submit a paper please go to:

http://shemesh.larc.nasa.gov/tphols2002/call.html


                            CALL FOR PAPERS
                            
TOPICS

The programme committee welcomes submissions on all aspects of theorem
proving in higher order logics, and on related topics in theorem
proving and verification.  

SUBMISSION

Submissions are invited in the following categories:

 o Category A: Full research paper (Springer-Verlag's LNCS)
 o Category B: Work in progress    (ICASE-NASA Technical Report)

DEADLINES AND SUBMISSION PROCEDURE

                              Category A    Category B 

Submission deadline:          22 Feb 2002   17 May 2002 
Notification of acceptance:   22 Apr 2002   17 Jun 2002
Camera-ready copy due:        24 May 2002    5 Jul 2002 

Papers should be no more than 16 pages in length and should be written
using LaTeX2e and the LNCS style file, which is available from
http://www.springer.de/comp/lncs/authors.html. Only electronic
submissions will be accepted.

CONFERENCE ORGANIZATION

The conference is being organized jointly by the NASA Langley Research
Center, ICASE, and Concordia University.

Enquiries concerning the conference should be emailed to:
tphols2002 AT larc.nasa.gov

More detailed and printable call for papers can be found at:

http://shemesh.larc.nasa.gov/tphols2002/call.pdf
http://shemesh.larc.nasa.gov/tphols2002/call.ps


                             
*********************** CALL FOR VOTES ******************************
                                
The current organizers of TPHOLs are soliciting votes to select the
venue for TPHOLs 2003. Anyone seriously contemplating attending the
16th International Conference on Theorem Proving in Higher Order
Logics, TPHOLs 2003, is encouraged to vote. 

Three offers to host TPHOLs 2003 have been received:

 * Hagenberg, Austria
 * Rome, Italy
 * Paris, France

A summary of the bids is given below.

Votes can be made via web at http://192.42.142.81:8002/vote.html

The first, second and third preferences will receive 3, 2 and 1 point
respectively. The bid with the highest number of points will win the
voting. If only a partial preference is declared, the bid(s) excluded
will receive zero points. In the event of a tie, all third preferences 
will be eliminated and a recount made. If the second count results in
a tie, second preferences will be eliminated and a recount made. In the 
rare event of a tie after a third recount, the organizers of TPHOLs 2002
will use a random process of selection.

A vote will be counted only if it is accompanied by the full name of the
voter. Names of voters will not be made public. Voting closes at
23:59:59
Greenwich Mean Time on 28th February 2002. All votes will be
acknowledged 
by an e-mail response. Within one week after the end of voting, the
result 
of the vote will be posted on the Web and announced to the relevant
mailing lists. 

This information is also available on the web at:

http://shemesh.larc.nasa.gov/tphols2002/tphols2003.html

Victor Carreno
TPHOLs 2002 Conference Chair

Summary of bids:

--------------------------------------------------------------------------

Hagenberg, Austria 

 Location:   Castle of Hagenberg, Hagenberg.

 Dates:      July, August, or September 2003.
       
 Format:     Four days (Tue - Fri) with an additional first day (Mo) 
             for tutorials.

 Summary:    We will organize publication as a Springer LNCS volume. 
             We have excellent contacts to Springer Heidelberg and
Vienna
             through our own RISC book series. 

 Organizers: Bruno Buchberger, Research Institute for Symbolic
Computation, 
             Johannes Kepler University
             Martina May, head of the Hagenberg Congress management
group 
       
 Web site:   http://www.risc.uni-linz.ac.at/conference/tphols2003/ ;

 Contact:    
Bruno.Buchberger AT risc.uni-linz.ac.at
 

-------------------------------------------------------------------------

 Rome, Italy 
                           
 Location:    Universita di Roma Tre 

 Dates:       9-12 September 2003 

 Format:      Monday 8.9.2003 Tutorials

              Tuesday 9.9.2003 First day
              Wednesday 10.9.2003 Second day and afternoon excursion
                  (to be detailed further!) 
              Thursday 11.9.2003 Third day
              Friday 12.9.2003 Last day and business meeting 

 Co-location: We intend to co-locate TPHOLs 2003 with TABLEAUX2003. 

 Summary:     We plan to use the same format as previous TPHOLs
              conferences with Category A full research refereed
              papers and Category B work in progress reports. We will
              seek publication of Category A papers in LNCS. Category B 
              papers will be published as a University of Freiburg
              technical report.  

 Organizers:  Program Chairs: David Basin, Burkhart Wolff (University
                   of Freiburg, Germany)
              Local Arrangements: Marta Cialdea (Università di Roma
                   Tre), Program Chair of Tableaux2003.  

 Web site:    http://www.informatik.uni-freiburg.de/~wolff/tphols2003/ ;

 Contact:     
wolff AT informatik.uni-freiburg.de
 

-------------------------------------------------------------------------

Paris, France 

 Location:    Paris, CNAM 

 Dates:       1-3 september 2003 

 Co-location: Calculemus 2003 (Chair : Therese Hardin) 

 Organizers:  Conference Chair : Catherine Dubois (Professor, IIE &
CNAM)
              program comittee chair : Benjamin Werner
(INRIA-Rocquencourt)
              other organizers : Damien Doligez (INRIA-Rocquencourt)
              Bruno Barras (INRIA & Trusted Logic) 

 Web site:    http://pauillac.inria.fr/TPHOL03/

 Contact:     
Benjamin.Werner AT inria.fr
              
tphol2003 AT pauillac.inria.fr