Quelques listes de di(ffu|scus)sion

Je vous propose une liste de listes de discussion ou de diffusion orientées informatique fondamentale, et plus précisément théorie de la démonstration et connexions avec les mathématiques.

Oui, c’est surtout en pense-bête pour moi, en cas de changement d’adresse, mais je me suis dit que cela pourrait profiter à d’autres. Les outils qui font circuler convenablement l’information ne sont pas si nombreux, et pas si correctement médiatisés.

Listes françaises

ÉtiquetteAdresseSite(Dés)InscriptionArchives
[gdr-im]SiteContactez le responsable de votre groupe, comme indiqué sur cette page. Sympa permet, une fois inscrit, de mettre à jour son adresse.Réservées aux abonnés, sur Sympa
[alp-diff]Par sympa
[gt-lac]SitePar sympa
[gt-geocal]SitePar sympaRéservées aux abonnés, sur Sympa
[koi29]SitePar mailmanSur leur site
SiteVoir leur pageSur leur site
[accesouvert]SitePar sympaSur leur site
[chocola]SitePar sympa
Site[Par Google
groupes](http://groups.google.com/group/catsinfo/boxsubscribe?email=nom-utilisateur@domaine.extension)Sur Google groupes
SitePar SympaRéservées aux abonnés, sur Sympa

Listes internationales

ÉtiquetteAdresseSite(Dés)InscriptionArchives
[LOGIC]SitePar courriel : Sur ce site
[PT]SitePar courriel : , Par gname
[TYPES]Par mailmanPar gname
[TYPES/announce]Par mailmanSur leur site
[LICS]SitePar courriel : , Sur leur site
SitePar courriel : , Avec Gmane
SiteSur leur siteSur leur site
Cl-effectsSiteSur leur siteSur leur site

Séminaires / groupes de travail

ÉtiquetteLieuSite(Dés)Inscription
[Séminaire LCR] \ [GdT Log&Prog]LIPN, Paris 13SiteContacter D. Mazza ou passer par mailman.
GdT PLUMELIP, Lyon, bâtiment central de l’ENSSiteContacter P. Clairambault
séminaire LDPI.2.M. (ex-I.M.L.), Aix-Marseille, Campus LuminySiteContacter L. Vaux
[Lacl] [Seminaire]L.A.C.L., CréteilSiteContacter Youssouf Oualhadj

Pour les nombreux séminaires et groupes de travail de l’IRIF (ex-PPS / LIAFA), se reporter à leurs pages respectives !

Indications