Mailing Lists

• edit details
  CISA-Seminars 
  Seminars at the University of Edinburgh covering a range of topics of relevance to intelligent systems and their applications.
• edit details
  CPHC Lists (Council of Professors and Heads of Computing) 
  Lots of conference/job announcements
• edit details
  Hamming Seminars 
  Talks on the really important problems in informatics.
• edit details
  Informatics Seminars 
  Seminars at the University of Edinburgh within Informatics
• edit details
  Isabelle Users mailing List 
• edit details
  LFCS interest 
  The mailing list for the LFCS group (Laboratory for Foundations of Computer Science), announcing seminars etc.
• edit details
  Quisco 
  Quantum Information Scotland
• edit details
  Rewriting 
  Well moderated list covering term rewriting and unification theory
• edit details
  Scottish Theorem Provers 
  Announces seminars in the STP series
• edit details
  Theorem Provers 
  General alias for people interested in automated theorem proving. Not much used nowadays, but still appears to work.
• edit details
  daydreamers 
  'off topic' discussion list for DReaM group.
• edit details
  dreamers 
  Mailing list for all current (and a few ex-) members of the DReaM group
• edit details
  edindreamers 
  List for DReaM group members based in Edinburgh

Add a new mailing list