Section W, room 003, Saturday afternoon
chairperson:
Dean Rosenzweig
15:00-15:40
Yuri Gurevich
invited lecture
What is an Algorithm?
15:45-16:00
Mladen Vukovic
The Interpretability Logic and Generalized Veltman Models
16:05-16:20
Paola Glavan
Knowledge and Expectation Formulae for Parsing
16:25-16:40
Boris Culina
How to Make Paradoxes in Set Theory
16:45-17:00
Svitan Gaborovic
On the Notion of Restriction in the Partial Lambda Calculus
Back to the schedule start-page
Back to the homepage
Last update: June 6, 2000.
