Tentative Programme of TYPES 98 (Details)



 

Friday, 27th
Saturday, 28th
Sunday, 29th
Monday, 30th
Tuesday, 31th

   8.30   

Arrival
Invited Speaker (Gunnar Stålmark)
Invited Speaker (Martin Abadi)
Invited Speaker (Per Martin-Löf)
 

9.00

Session 11
Aczel

9.30

Session 3
Goguen
Session 6
Luo, Soloview
Session 9
Sambin
Miculan

10.00

Compagnoni / McBride
Naraschewski
Valentini
Yu

10.30

Coffee break

11.00

Session 4
Matthes
Session 7
Liquori
Session 10
Barendregt
Session 12
Delahaye

11.30

Setzer
Goubault-Larrecq
von Plato
Pons

12.00

Telford
Leleu
Dowek
Kammüller

12.30

Lunch
Lunch
Lunch

13.00

13.30

Excursion
Departure

14.00

Registration
Session 5
Persson
Session 8
Barthe

14.30

Filliatre
Berardi

15.00

Session 1
Streicher
Duprat
Fridlender

15.30

Ishtiaq
Coscoy
Coquand

16.00

Filinski
Coffee break

16.30

Coffee break
Demo Session
Demo Session

17.00

Session 2
Bezem

17.30

Pfenning

18.00

Oostdijk
Concert

18.30

Strecker
Discussion

19.00

Reception and Dinner

19.30

Dinner
Dinner

20.00

Banquet

20.30







Detailed programme (Chart)



Friday , 27th March

Saturday , 28th March

Sunday , 29th March

Monday , 30th March

Tuesday , 31th March


Back to home-page TYPES'98


Types 98
Last modified: Thu Mar 26 18:32:36 MET 1998