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-ifm] | gdr-ifm@gdr-ifm.fr | Site | Sur ce site | Réservées aux abonnés, sur Sympa |
| [koi29] | postes-koi29-2016@emath.fr | Site | Par mailman | Sur leur site |
| [accesouvert] | accesouvert@groupes.renater.fr | Site | Par sympa | Sur leur site |
| [chocola] | Site | Par sympa | ||
| catsinfo@googlegroups.com | Site | Par Google groupes | Sur Google groupes | |
| cat.fr@univ-littoral.fr | Site | Par Sympa | Réservées aux abonnés, sur Sympa |
Listes internationales
| Étiquette | Adresse | Site | (Dés)Inscription | Archives |
|---|---|---|---|---|
| [LOGIC] | logic@math.uni-bonn.de | Site | Par courriel : inscription | Sur ce site |
| [PT] | prooftheory.list@gmail.com | Site | Par courriel : inscription, désinscription | Par gname |
| [TYPES] | types-list@lists.seas.upenn.edu | Par mailman | Par gname | |
| [TYPES/announce] | types-announce@lists.seas.upenn.edu | Par mailman | Sur leur site | |
| [LICS] | las-lics@lists.tu-berlin.de | Site | Par courriel : inscription, désinscription | Sur leur site |
| categories@mta.ca | Site | Par courriel : inscription, désinscription | Avec Gmane | |
| listadmin@cra.org | Site | Sur leur site | Sur leur site | |
| Cl-effects | cl-effects@lists.cam.ac.uk | Site | Sur leur site | Sur leur site |
| Concurrency | concurrency@listserver.tue.nl | 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
- Les étiquettes sont présentes dans les objets des courriels qui transitent par ces listes. Cependant, établir des filtres sur leur base est hasardeux : un collègue peut très bien vous faire suivre une annonce, laisser l’objet inchangé, et vous y raconter le superbe projet d’article en commun avec vous qu’il souhaite soumettre. Si vous ne regardez que d’un œil distrait les courriels qui arrivent dans ce dossier, ou que vous les filtrez vers la corbeille, vous risquez de passer à côté de la proposition !
- S’inscrire à toutes ces listes vous expose à beaucoup de bruit, mais leur différence symétrique est non-vide.