08:30-08:55
Café et croissant |
|
08:55-09:00
Opening, Luigi & Karl Tombre (tbc) |
|
09:00-09:30
Gilles Dowek (LIX, France) |
''Linear-algebraic
lambda-calculus: higher-order, encodings and confluence'' |
|
|
10:00-10:45
Furio Honsell (UNIUD, Italy) |
''A framework for defining
logical frameworks'' |
|
10:45-11:00
Mini Coffee break |
|
11:00-11:45
Robert Harper (CMU, USA)
|
"Mechanizing Language
Theory"
|
|
11:45-12:15
Pierre Lescanne (ENS Lyon, France) |
''Towards two-dimensional
classical computations: the *X calculus'' |
|
|
14:00-14:30
Arnaud Spiwack (LIX, France) |
''FeatherTrait Java modest
extension of Featherweight Java'' |
|
|
15:00-15:45
Kim Bruce (Pomona College, USA) |
''Modularity and Scope in
Object-Oriented Languages'' |
|
15:45-16:00
Mini Coffee break |
|
16:00-17:00
Luigi Liquori (INRIA Sophia, France) |
"Peter, le langage qui
n'existe pas, HDR" |
|
18:00 --
Liquori's HDR reception |
|