The Coq and CROAP groups at INRIA Rocquencourt
and Sophia-Antipolis proposal to host TPHOLs'99
|
Since 1996, the HOL's users workshop became a general
conference of theorem provers based on higher-order logic with significant
participation of researchers working with other proof assistants.
Our proposal coming from the Coq community witnesses the evolution of the conference and the strong interest in further interactions between different approaches of proof developments.
LOCATION
The conference would be held on the french riviera near Nice. Nice's
International airport is well-connected to all major european and
non-european cities. It can can also be reached by high-speed trains (TGV) from Paris.
The region is very touristic and proposes a large selection of hotels. As the dates we propose for the conference are outside touristic peaks, affordable hotels will cost less than 300 FFR. We will take a special care to propose alternative and cheaper accommodation for students.
ORGANIZERS
Yves
Bertot, Laurent
Théry - CROAP project, INRIA
Sophia-Antipolis
Gilles Dowek, Christine
Paulin-Mohring - COQ project, INRIA Rocquencourt
COSTS
In keeping with the tradition of encouraging student participation in the
conference, we will endeavour to keep conference costs to a minimum. We
shall ask funding from INRIA and other french organizations to support
invited speakers.
TIMING
Our plan is to schedule the conference at the beginning of September (first or second week).
PROCEEDINGS
In previous years the refereed proceedings of TPHOLs, and its predecessor
conferences, have been published by Springer-Verlag in the Lecture Notes
in Computer Science series. We hope to be able to continue that tradition.
We also plan to offer a less formal, unrefereed track at the conference
to encourage student and work-in-progress presentations. This
material would be recorded in a separate, informal proceedings published
as an INRIA technical report.
FORMAT
We propose to run TPHOLs'99 in much the same as previous TPHOLs; that is,
we would expect to host the conference over a 4 or 5 day period combining
both serious and social activities. The program would consist mainly
of refereed paper presentations of around half an hour each. There
would also be poster space provided for the presentation of work from the
informal track of the conference. Poster presenters would be given
a few minutes each in the main program to introduce themselves and their
work.
