Loria - INPL

615, rue du Jardin Botanique
BP-101
54602 Villers-lès-Nancy
FRANCE

Assistante : Chantal Llorens
33 +3 54 95 84 02
Chantal.Llorens'@'loria.fr

Ecole des Mines de Nancy

Parc de Saurupt
CS 14 234
54042 Nancy cedex
France

Assistante : Françoise Laurent
33 +3 83 58 42 70
Francoise.Laurent'@'mines.inpl-nancy.fr

33 +3 54 95 84 60
Jean-Yves.Marion'@'loria.fr

Implicit Computational Complexity

News

Call for paper ! Special of TOCL on Implicit computational complexity

Slides of Geocal school : (1) Data Ramification and (2) Quasi-Interpretations

An improvement of quasi-interpretations : Sup-interpretations accepted at Flops'06

Implicit complexity over an arbitrary structure: Quantifier alternations. IC, 204(2), 2006.

A survey on Quasi-interpretations. Submitted to TCS

Tech Report : Modularity and Quasi-Interpretations

Tech Report : Analysing complexity of imperative programms

Related Projects

CRISS (ACI Sécurité)

Geocal (ACI Math.)

Appsem II (IST)

Avérroès (RNTL)

PAI Pessoa