Joëlle Despeyroux's hotlist

Topics:

  • Conferences and workshops - OLD list
  • Formal methods. Page maintained by the ProCoS project.
  • Journals
  • Logical Frameworks. Frank Pfenning's page at CMU
  • Nuprl
  • Programming Language Research. Mark Leone's page at CMU

    • People and places:

  • AT&T
  • Berkeley
  • Chalmers University of Technology: Dept of CS
  • Cornell
  • ENS Ulm, Cachan, Lyon
  • INRIA, - Sophia. - Inria's intranet.
  • INRIA-Microsoft Joint Research Laboratory
  • LFCS, Univ. of Edinburgh, CS department
  • MIT Laboratory for Computer Science
  • Princeton
  • John C. Mitchell at Stanford -- Frank Pfenning at CMU -- Benjamin Pierce at Penn

    • Miscellaneous (mostly in french):

  • newspapers: alternatives économiques - le canard enchainé - le courrier international - libération - mediapart - le monde - rue89 - le sarkophage
  • radios: France Culture - France Musique - TSF Jazz
  • Mensa - Mensa France,
  • ecole Montessori
  • the eclipse of the sun in France in August 99
  • tourism: Paris, the virtual tourist
  • Salsa on the French Riviera.
  • météo France


    • Joëlle Despeyroux