[TPHOLs'98 Home Page] [Call for Papers] [Travel Bursaries] [Guide for Authors] [Guide for Reviewers] [Registration Form] [Conference Schedule] [Conference History] [How to Get There] [Weather and Tourism] [TPHOLs'99] [IRW/FMP'98 Home Page] [The ANU]

TPHOLs is on the Mediterranean, Again!

The result of the competition to host TPHOLs'99 resulted in the INRIA organization edging out strong bids from Scotland and Freiburg. (More details of the bids can be found at http://cs.anu.edu.au/tphols98/bids99.html, at least for the time being.)

The Sponsors:

The CROAP Group, INRIA at Sophia Antipolis.
The Coq Group, INRIA at Rocquencourt.

The Committee:

More Details:

The TPHOLs'99 Organizing Committee's web pages are at http://www.inria.fr/croap/TPHOLbid.html

Comments and Feedback: TPHOLs98@cs.anu.edu.au
Author: The TPHOLs'98 Organising Committee
Date Last Modified: Wed 23 Sep 1998
URL: http://cs.anu.edu.au/TPHOLs98/tphols99.html