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

Étiquette Adresse Site (Dés)Inscription Archives
[gdr-im] Site Contactez 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] Site Par sympa
[gt-geocal] Site Par sympa Réservées aux abonnés, sur Sympa
[koi29] Site Par mailman Sur leur site
Site Voir leur page Sur leur site
[accesouvert] Site Par sympa Sur leur site
[chocola] Site Par sympa
Site Par Google groupes Sur Google groupes
Site Par Sympa Réservées aux abonnés, sur Sympa

Listes internationales

Étiquette Adresse Site (Dés)Inscription Archives
[LOGIC] Site Par courriel : Sur ce site
[PT] Site Par courriel : , Par gname
[TYPES] Par mailman Par gname
[TYPES/announce] Par mailman Sur leur site
[LICS] Site Par courriel : , Sur leur site
Site Par courriel : , Avec Gmane
Site Sur leur site Sur leur site
Cl-effects Site Sur leur site Sur leur site
Concurrency site Sur leur site Sur leur site

Séminaires / groupes de travail

Étiquette Lieu Site (Dés)Inscription
[Séminaire LCR] \ [GdT Log&Prog] LIPN, Paris 13 Site Contacter D. Mazza ou passer par mailman.
GdT PLUME LIP, Lyon, bâtiment central de l’ENS Site Contacter P. Clairambault
séminaire LDP I.2.M. (ex-I.M.L.), Aix-Marseille, Campus Luminy Site Contacter L. Vaux
[Lacl] [Seminaire] L.A.C.L., Créteil Site Contacter Youssouf Oualhadj

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

Indications