[Prev][Next][Index][Thread]
Symposium/Book announcement
##################### FIRST ANNOUNCEMENT #####################
SYMPOSIUM
"The Influence of AUTOMATH"
Eindhoven University of Technology (Netherlands)
October 6, 1994.
At the occasion of the publication of the book
`Selected Papers on Automath'
(Eds. R. Nederpelt, H. Geuvers and R. de Vrijer, Studies
in Logic and the Foundations of Mathematics, North-Holland),
there will be a symposium at the Eindhoven University of
Technology (Netherlands) on October 6, 1994.
The program of the symposium is as follows.
11.00 - 12.00 H. Barendregt (University of Nijmegen, CWI),
title: `Two level reasoning for lean proof
checking'
12.00 - 13.30 Lunch Break
13.30 - 14.30 G. Huet (INRIA-Paris), title: `Proof engine
design'
14.30 - 15.00 Tea Break
15.00 - 16.00 R. Constable (Cornell University),
preliminary title: `The Influence of Automath
on Nuprl'
16.00 - Presentation of the book `Selected Papers
on Automath', followed by a reception
The Symposium will be held at the `Bestuursgebouw' of the
University. A second announcement of the Symposium will be
sent in the beginning of September. This will include more
detailed information.
The organizing committee
H. Geuvers and R. Nederpelt.
##############################################################