Applications industrielle de la logique informatique

Une conférence sur les applications industrielles de la logique informatique doit avoir lieu à Louvain, en Belgique, le 22 mars l996. Cette manifestation est organisée par le déprtement de Science informatique de l'Université catholique de Louvain avec le soutien du centre relais Innovation flamand.(IWT).

L'objectif de la conférence est de mieux faire connaître aux professionnels de l'informatique la technologie basée sur la logique de calcul. A cette occasion des présentations seront faites par divers usagers et concepteurs industriels de Belgique et d'ailleurs. Une session de transfert de technologie est également prévue.

Pour tout renseignement complémentaire s'adresser à:

Katholieke Universiteit Leuven
B. Martens/M. Bruynooghe/G. Janssens
Dept. Computerwetenschappen
200A Celestijnenlaan
B-3001 Heverlee
Tel. +32-16-327552; Fax +32-16-327996
E-mail: maurice@cs.kuleuven.ac.be ou
E-mail: gerda@cs.kuleuven.ac.be ou
E-mail: bern@cs.kuleuven.ac.be

On peut aussi trouver des informations supplémentaires sur le World Wide Web à:

http://www.cs.kuleuven.ac.be/conference/IACoL.shtml