Imperial College, UK

• Department of Computing
  Papers (www) & (ftp) from the Advanced Languages and Architectures group
  Papers (www) & (ftp) from Distributed Software Engineering group
  Papers (www) from Logic Programming group
  Papers (www) from Theory and Formal Methods group
  Human contact - <theory@doc.ic.ac.uk>
  
• Department of Electrical and Electronic Engineering
  Publications (www) from Neural Systems Group