* gdr-im,
   * PT, 
   * zulip coq, 
   * LOGIC
   * termtools@lists.rwth-aachen.de, 
   * cade@itu.dk, 
   * categories@mta.ca,
   * GAMES@lists.rwth-aachen.de,
   * agda@lists.chalmers.se, 
   * types@lists.chalmers.se, 
   * eutypes@cs.ru.nl,
   * types-list@lists.seas.upenn.edu, (types announce??)
   * haskell-cafe@haskell.org,
   * caml-list@inria.fr>,
   * haskell@haskell.org,
   * types-announce@lists.seas.upenn.edu,
   * coq-club@inria.fr,