Meta Links:
Search Engines
School Related
Scottish Qualifications Authority (SQA)
Heriot-Watt University Information
Edinburgh and Related Information
Teaching Resources
Research Sites
Research Resources
Formal Verification Related Companies
Student Related
Research Students
Travel Information
Conferences and Workshops
Railway Signalling & Related
Critical Systems Related
Cycling and Related Sites
Stuff
Search Engines:
UK Plus
MSN
School Related:
MACS Technical Report Series
Staff Absent & Key Meetings
Scottish Qualifications Authority (SQA):
SQA Homepage
Higher Maths
Heriot-Watt University Information:
HAST
Approved Teachers, Approved Tutors and Approved Learning Partners
Department of Computing & Electrical Engineering home page
Heriot-Watt University home page
Visitors guide to Heriot-Watt
Heriot-Watt Intranet
Heriot-Watt Library
DisSpell
Edinburgh and Related Information:
City of Edinburgh Webs
Teaching Resources:
MIT's OpenCourseWare
Proof Designer
Research Sites:
Institute for System Level Integration
Mathematical Reasoning Group (Edinburgh)
DReaM Group Internal
The Computer Laboratory (Cambridge)
Mechanized Reasoning Group (IRST)
DFKI (Saarbruken)
NASA Formal Methods (Langley)
Formal Methods and Dependable Systems (SRI)
Research Resources:
CORE rankings: Conferences
CORE rankings: Journals
Leverhulme
IEEE Org
IEEE Computer Society
Royal Society's w-GAP
Grand Challenges for Computing Research
Funding Schemes and Initiatives
SIGAda
Ada Europe
Ada Core Technologies
Ada Information Clearinghouse
BBN Series
Mechanised Reasoning Systems Database
The World Wide Web Virtual Library: Formal Method
DStan Corporate Web Site (home of 00-55)
EPSRC
EPSRC Grants on the Web Enquiries
LINK Collaborative Research
RAE 2001
Foresight Knowledge Pool
Research Opportunities (supplied via HW TRS)
SICStus
ITI
ITI SIE
SIE
WING Wiki
STP Admin
Formal Verification Related Companies
Praxis Critical Systems
Lemma 1
Escher Technologies
Student Related:
ISS
UK NARIC
UCAS
Past Exam Papers
Research Students:
Bill J. Ellis
Stefanos Skoulaxinos
Travel Information:
Holiday Inn Express
BAA
Centerpracs
Expedia
Rail Europe
Duetsche Bahn Travel Service
UK Rail Timetables
UK Railway Companies
Rail Track
Internet Travel Network
Internet Weather Source
GO Network
Lothian Buses
The Universal Currency Converter
British European
The World Clock
Yahoo Maps and Driving Directions
Multimap
AA Route Finder
Street Map
Google Map
Travelzoo
Conferences and Workshops:
ABZ [ 2010 ]
AVoCS [ 2008 ]
WING [ 2009 ]
ETAPS [ 2009 ]
Cycling and Related Sites:
Etape Caledonia
Cycle Routes
A favourite route (thanks to EBC)
Railway Signalling & Related:
Railway stuff
Signalling Centre Software
HM Railway Inspectorate
The Scottish Railway Preservation Society
Critical Systems Related:
Computer-Related Incidents with Commercial Aircraft
Stuff:
Screen Wise
Maths Games
The Haleclamjamphrey
Stewart's Blog
Edinburgh Cinemas
Screen Select
Movie Bank 24
FAO Schwarz
Kipper's Homepage
The Puppetry Homepage
A History of Puppetry and Puppet Theater
The Center for Puppetry Arts (Atlanta)
International Purves Puppets
Scottish Mask and Puppet Centre
The Little Angel Theatre
Stage Hand Puppets
Grey Seal Puppets
UNICEF: Puppets with a purpose
Puppet Works
Lyon Puppets
Hengar Manor
Center Parcs
Back to my
home page
.