c Liste des étudiants M2 COMASIC Liste des étudiants M2 COMASIC Liste des enseignants vacataires M2 COMASIC Commission informatique Commission Web
g Participants of the GETCO 2022 conference Gitolite administrators Administrators of the Go Git Service (Gogs) running at LIX Liste du groupe de travail en Développement Durable @ LIX/DIX Working group on Sustainable Development -- external guest
p Seminar announcements from the Partout team (ex Parsifal) Questions about positions opened at DIX in 2019 Proofs and algorithms seminar [psc-info] Mailing list for the Psyche prover