Productions (libres ?) de l'INRIA
Le SeDRe :
http://sedre.loria.fr/LogSci/index.html
http://gforge.inria.fr/