Some Logic in Belgium

CNRL Centre National de Recherches de Logique. Belgium has a number of small but very active university department specializing in logic ( mathematical and/or philosophical). CNRL is a national conglomerate of such departments; it is sponsored by the FNRS - FRFC -FWO program.
Liste de logiciens belges intéressés par notre Seminaire in Logique.
Répertoire des logiciens belges du CNRL.

Some Logic in the World

Mathematical Logic around the World
The Kurt Gödel Society

University of Mons-Hainaut

Institut de Mathématique
Institut d'Informatique

Some Mathematical Links

Belgian Mathematical Society
Françoise Point is one of the editor of the Bulletin of the Belgian Mathematical Society
Neurocolt
The Logic Team in Mons was one of the teams of Neurcolt project. C. Michaux was the local manager of this project.
CFV : The "Centre Fédéré en Vérification" is a working group in computer aided verification, which organizes a monthly seminar.

Mathematical Databases

MathScinet
Zentralblatt
EULER Project
Jahrbuch Project
-bibliography

Encyclopædiæ

Encyclopædia Britannica
Catalogues de publications Antilope / Zebra