Skip to main content

Jean-Yves MARION

  •  CV
  •  Publications
  •  Research
    •  Codisasm
    •  Research group
    •  Projects
  •  Contact
  • Sécurité

LCC 2015

20 May 201530 September 2016 Thierry GARTISER Events

Invited talk at 16th International Workshop on Logic and Computational Complexity (LCC), July 4-5, 2015, Kyoto, Japan – collocated with ICALP/LICS 2015

Post navigation

Two workshops co-located on Implicit Computational Complexity
WORKSHOP ON SECURITY FOR LOW-LEVEL CODE

Jean-Yves Marion

Jean-Yves MARION

Head of the LORIA

Page under construction

Contact:
jean-yves dot marion at loria dot fr
Tel: +33 3 83 59 20 30
Secretary:
Josiane Reffort
josiane dot reffort at loria dot fr
Tel: +33 3 83 59 20 06
Address:
LORIA, Campus Scientifique, BP 239
F54506 Vandœuvre lès Nancy Cedex

Institut Universitaire de France

LORIA LOGOCNRS LOGOINRIA CORPO RVBUniv Lorraine LOGO

  • Mentions légales
sparkling Theme by Colorlib Powered by WordPress