Personal tools
You are here: Home

Did you not find what you were looking for? Try the Advanced Search to refine your search.

Search results 499 items matching your search terms

Subscribe to an always-updated feed of these search terms

Page Solving PSPACE-complete Problems in Automata Theory
Develop algorithms and tools for solving most practical instances of PSPACE-complete problems in automata theory, e.g., language inclusion, equivalence and ...
Page Modalities for computational effects
Capturing behavioural properties of computation with effects using logical modalities
Page Integrating statically and dynamically typed languages
Page Graph Databases
Research on foundational, algorithmic, and systems aspects of graph databases.
Page Formal Verification Methods for Quantum Systems
Develop temporal logics and model checking techniques for quantum systems
Page Databases and Verification
Page Databases and Programming Languages: Together again for the first time
Page Combinations and Abstractions of Formal Games
Develop a principled, clean account of how games and their abstractions may be combined.
Folder A-Z
A-Z User Guide of Edinburgh
Page Administration
Page Visiting Edinburgh
This page provides general information about LFCS, the Informatics Forum and living in Edinburgh.
Page Funding
Details of funding options.
Page Technical Information
Page Links
Other useful areas within the School.
Page Nan Tang
Event LFCS Seminar: Tony Kucera
Event LFCS seminar: Peter Dybjer
Event New LFCS Website is launched!
Folder Lab lunch speakers 2010
Page Don Sannella
Page Kyriakos Kalorkoti
Page Rahul Santhanam
Page Manuel Serrano
Page Peter Buneman and Heiko Mueller
Page "Write your next paper in Haskell !"
Lab lunch topic
Page Robert Atkey
Page Yinghui Wu
Page Andrzej Tarlecki
Page Vaclav Brozek
Page Ohad Kammer