Google:
Citeseer Search:
LEO dictionary (enter English or German):

   
WordReference

Work Resources

Local Information:

  • The DAI homepage
  • List of Informatics staff
  • List of Informatics Research students
  • Informatics Support FAQ
  • Informatics Support form
  • Informatics Telephone Directory
  • Manuals:

  • Useful LaTeX documentation
  • TeX FAQ
  • Less useful LaTeX documentation
  • List of LaTeX mathematical symbols
  • Sicstus Prolog Manual
  • "short" introduction to LaTeX
  • Searching for papers etc.:

  • Edinburgh University Library Catalogue
  • Research Index (or use form below)
  • DBLP Bibliography
  • Google scholar
  • IEEE explorer
  • My papers page
  • Crypto protocol links

  • Clark and Jacob protocol library
  • Some key exchange protocols in LaTeX
  • Larry Paulson's protocol papers
  • John Clark's protocol papers
  • Cambridge security group bibliography
  • Cipher newsletter
  • Mike Bond's papers
  • Misc Home Pages:

  • DReaM group
  • Future Academy Lab wiki changes
  • SPASS home page
  • Saturate home page
  • JeS
  • Lastminute.com flights
  • expedia
  • My project pages
  • Jamboree
  • Conference pages:

  • Automated Reasoning Workshop
  • CIAO-07
  • CADE 2007
  • Disproving workshop
  • CSF
  • SECRET 07
  • ASA
  • Not Work Resources

  • radio plus
  • Things going on tonight
  • Mark's links
  • What's on TV today (ananova)
  • what's on the radio today (ananova)
  • ResNet tips
  • my DAI homepage
  • Football

  • This week's fixtures
  • Football on TV guide
  • C.P.F.C.
  • Croydon Guardian live commentary
  • Fantasy League
  • BBC Football
  • Searching and linking:

    Alltheweb

    Enter a long URL to make tiny: