tableaux

Resources:

FLoC '02 - Federated Logic Conference
Seven concurrent meetings will be held. Copenhagen, Denmark; 20 July -- 1 August 2002.
http://floc02.diku.dk/

SUNY - Albany
New York
http://www.cs.albany.edu/

Trier, University
Computer Science Department. Research groups cover stochastic modelling and computer networks, theoretical computer science, programming languages and compilers, databases and information systems, system software and distributed systems algorithms and data structures.
http://www.informatik.uni-trier.de/

Laboratoire Lorrain de recherche en informatique et ses applications
LORIA - Thèmes de recherche: théories et techniques de production de logiciel et intelligence artificielle. CNRS - UMR 7503. Présentation des équipes, de la recherche et documentation.
http://www.loria.fr