[TPHOLs'99 Home Page] [Call for Papers] [Guide for Authors] [Accepted Papers] [Supplementary Proceedings] [Conference History] [Conference Schedule] [How to Get There] [Weather and Tourism]

TPHOLs'99: Preliminary Program

Session 1: Tuesday 11:00

12:00 Lunch

Session 2: Tuesday 13:20

15:20 Coffee Break

Session 3: Tuesday 15:50

Session 4: Wednesday 9:00

10:00 Coffee break

Session 5: Wednesday 10:20

12:20 Lunch

Session 6: Wednesday 13:30

15:30 Coffee Break

Session 7: Wednesday 16:00 Poster Session

Certification of Sorting Algorithms in the Coq System
Jean-Christophe Filliâtre and Nicolas Magaud (Université de Paris Sud and Ecole Normale Supérieure de Lyon)
A case study in class library verification: Java's vector class
Marieke Huisman, Bart Jacobs, and Joachim van den Berg (University of Nijmegen)
Embedding Algebraic Specifications in HOL
Dan Zhou and Shiu-Kai Chin (Florida Atlantic University and Syracuse University)

Session 8: Wednesday 17:00 System demonstrations

Session 9: Thursday 9:00

10:20 Coffee break

Session 10: Thursday 11:00

12:20 Lunch

Thrusday afternoon

Excursion to Gourdon

Thursday evening

Banquet "Moulin des Moines" (Valbonne)

Session 11: Friday 9:00

10:00 Coffee break

Session 12: Friday 10:20

12:00 Lunch

Session 13: Friday 13:00

Session 14: Friday 14:20, Poster session

Implementing Extensible Theorem Provers
Kathi Fisler, Shriram Krishnamurthi, and Kathryn E. Gray (Rice University)
Importing Isabelle Formal Mathematics into NuPRL
Pavel Naumov (Cornell University)
Working with Linear Logic in Coq
James Power and Caroline Webster (National University of Ireland)

15:20 Coffee Break

Session 15: Friday 16:00


[TPHOLs'99 Home Page] [Call for Papers] [Guide for Authors] [Accepted Papers] [Supplementary Proceedings] [Conference History] [Conference Schedule] [How to Get There] [Weather and Tourism]

Comments and Feedback: TPHOLs99@sophia.inria.fr
Author: The TPHOLs'99 Organising Committee
Date Last Modified: Wed 31 May 2000
URL: schedule.html