Applied Logic Group

Since july 2000 the Applied Logic Group has fusioned with the Language, Reasoning, and Computation Group (LRC), forming the Logic, Interaction, Language, and Computation Group (LILaC).

The pages of ALG are no longer maintained. The pages of LILaC are currently under construction.

Staff

Research Topics

Projects

Publications

Editorial production

Software

118, route de Narbonne
31062 TOULOUSE CEDEX 4
Phone: (+33) 5.61.55.67.64
FAX: (+33) 5.61.55.83.25

last update: nov. 2000


Andreas.Herzig@irit.fr / https://www.irit.fr/~Andreas.Herzig