Final Schedule

http://www.cedar-forest.org/forest/events/Bruijn03/program.html
 
 
 

     8:30 - 9:30        REGISTRATION


Morning Session Chair: Fairouz Kamareddine

9.30 - 10.30	Invited talk Computations via proofs Henk Barendregt (Nijmegen, NL)
10.30 - 11.00	BREAK
11.00 - 11:30	A simple Canonical Representation of Rational Numbers Yves Bertot (INRIA, Sophia Antipolis, FR)
11.30 - 12.00	Eigenvariables, bracketing and the decidability of positive minimal intuitionistic logic Gilles Dowek and Ying Jiang (LIX+ INRIA, FR and Beijing, China)

     12.00 - 14.00        LUNCH


Afternoon Session Chair: Herman Geuvers

14.00 - 15.00	Invited talk Variable Binding and Logical Frameworks Peter Aczel (University of Manchester, UK)
15.00 - 15.30	BREAK
15.30 - 16:00	Automath and Pure Type Systems Fairouz Kamareddine and Twan Laan and Rob Nederpelt (Heriot-Watt, Edinburgh, UK and Eindhoven, NL)
16.00 - 16.30	Tactics and Parameters Gueorgui Jojgov (Eindhoven, NL)
16.30 - 17:00	On the structure of mizar types Grzegorz Bancerek (Bialystok, Poland)

                       19.30         SOCIAL BANQUET  
 
 

Saturday, 5 July 2003

Morning Session Chair: Henk Barendregt

9.30 - 10.30	Invited talk Recent Results in Type Theory and Their Relationship to Automath Bob Constable (Cornell, USA)
10.30 - 11.00	BREAK
11.00 - 11:30	Explicit Substitutions a la de Bruijn: the local and global way Fairouz Kamareddine and Alejandro Rios (Heriot-Watt University, Edinburgh, UK and Buenos Aires, AR)
11.30 - 12.00	Remarks on Isomorphisms of Simple Inductive Types David Chemouil and Sergei Soloviev (IRIT, FR)
12.00 - 12.30	Polymorphic Type Checking for the Ramified theory of Types of Principia Mathematica Randall Holmes (Boise State University, USA)

     12.30 - 14.00        LUNCH

     14:00        END  of workshop on Mathematics, Logic and Computation
 

---

Last modified: 16 June 2003.