Peter, le langage qui n'existe pas...

 Peter, the language that does not exist...

Habilitation à diriger les recherches / Habilitation thesis

Institut Polytechnique de Lorraine (INPL), LORIA Nancy, July 6, 2007.

This page will collects all the documents concerning my French Habilitation diploma.
 
Jury Members
Date: 6 july 2007, LORIA, NANCY, France
Habilitation
Referee's Reports status
Other Material
HDR-DAY: Program
Journée sur les Langages et les Preuves 
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''
09:30-10:00 Coffee break
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''
12:45-14:00 Lunch
14:00-14:30 Arnaud Spiwack (LIX, France)
''FeatherTrait Java modest extension of Featherweight Java''
14:30-15:00 Coffee break
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




View My Stats