[Prev][Next][Index][Thread]
SYMPOSIUM `The Influence of Automath'
[Since it is clearly relevant, I am distributing this conference
announcement to types. -- Philip Wadler, moderator, Types Forum.]
################### Second Announcement #############################
CALL FOR PARTICIPATION
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'
(Studies in Logic and the Foundations of Mathematics, North-Holland,
eds. R.P. Nederpelt, J.H. Geuvers and R.C. de Vrijer), there will be
a symposium at the Van Trierzaal, Bestuursgebouw, Eindhoven University
of Technology, on October 6, 1994.
The program of the symposium is as follows:
11.00 -- 12.00 H.P. Barendregt (University of Nijmegen, CWI Amsterdam):
'Two level reasoning for lean proof checking'
12.00 -- 13.30 lunch break
13.30 -- 14.30 G. Huet (INRIA Paris): 'Proof engine design'
14.30 -- 15.00 tea break
15.00 -- 16.00 R.L. Constable (Cornell University): 'The influence of
Automath on Nuprl'(preliminary title)
16.00 -- Presentation of the book 'Selected Papers on Automath'
to N.G. de Bruijn, followed by a reception.
The Symposium is organised by the research group Logic and Information
Systems of Eindhoven University of Technology and Brabant University in
Tilburg, in cooperation with the Dutch Union for Logic and Foundations
of the Exact Sciences.
Participation is free and registration is not necessary. Lunch
reservations can be made to mrs. A. Bouten, tel. (0)40-474124,
e-mail wsinti@win.tue.nl, Wsk&I, Eindhoven University of Technology,
P.O. Box 513, 5600 MB Eindhoven, the Netherlands.
The organizing committee:
Herman Geuvers, Rob Nederpelt (Eindhoven University of Technology).
####################################################################