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.

Official LILaC pages of IRIT (in French)

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

How to get to IRIT