CALLIGRAMME : Linear logic, proof networks and categorial grammars (project-team)

About the project : Project-Team site (french) Activity report Videos and photos Research reports Theses Theme : Sym Symbolic systems Nancy - Grand Est research center

Project-Team Presentation

LORIA joint project-team with CNRS, University Henri Poincaré, University Nancy 2 and INPL.

The object of the CALLIGRAMME projet-team is the development of tools and methods stemming from proof theory, especially linear logic. Two fields of applications are emphasized: in computational linguistics, the modelling of the syntax and semantics of natural languages; in software engineering, the study of the termination and complexity of programs.

Research themes

• Proof nets, sequent calculus, and typed lambda-calculi.
• Categorial Grammars
• Implicit Complexity of computation.

International and industrial relations

• Cooperation with the Xerox Research Center in Grenoble.
• Collaboration with the Laboratoire de mathématiques discrètes in Luminy (Marseilles).
• Many collaborations with university centers: Utrecht, Roma 3, Catalonia, Saarland, Indiana.

Scientific leader

Philippe DE GROOTE
+33 3 54 95 84 04
Secretary : +33 3 83 59 30 09