LILaC

Logic, Interaction, Language, and Computation

LILaC is a research group of IRIT on Logic, Interaction, Language, and Computation. LILaC is headed by Philippe Balbiani.

• Research Programme
• Projects
• Members
• Papers
• Editorial production
  • Journal of Applied Non-Classical Logics
  • Books
• Software
  • The Lotrec tableaux theorem prover
• Seminars
  • reasoning and decision theme of IRIT: from 2007 on
  • reasoning and decision theme of IRIT: 2003-2007
  • LILaC group: until 2003

proposals for theses and master theses (in French)

How to get to IRIT