LICS Program
W10
A Tutorial Workshop on Realizability Semantics
Program

 

June 30, 1999 -  Room 3-L
8:45 - 9:00

 OPENING
9:00 - 10:00 Tripos Theory in Retrospect
A. Pitts
10:00 - 10:30 COFFEE BREAK
10:30 - 11:30 History and Developments
J. van Oosten
11:30 - 12:00 Local realizability toposes and a modal logic for computability
S. Awodey, L. Birkedal, D.S. Scott
12:00 - 14:00 LUNCH
14:00 - 15:00 TBA
J.M.E. Hyland
15:00 - 15:30 Matching typed and untyped realizability
J. Longley
15:30 - 16:00 COFFEE BREAK
16:00 - 17:30 Completions
A. Carboni
17:30 - 18:00 Realizability models from geometry of interaction
S. Abramsky
18:00 - 18:30 A metric model for PCF
M.H. Escardo

July 1, 1999 -  Room 3-L

9:00 - 10:00
Effectivity and Totality
U. Berger
10:00 - 10:30 COFFEE BREAK
10:30 - 11:30 Applications to Normalization
C.-H. Luke Ong
11:30 - 12:00 The uniform provability realization of intuitionistic logic, modality and lambda-terms
S. Artemov
12:00 - 14:00 LUNCH
14:00 - 15:00 Realizability Semantics for Type Theories
B. Reus
15:00 - 15:30 A type theory which is complete for Kreisel's modified realizability
MT. Crolard
15:30 - 16:00 COFFEE BREAK
16:00 - 17:00 Completions
A. Carboni
17:00 - 17:30 Comparing models of higher type computation
G. Rosolini, T. Streicher

Program