qest logo

The QEST'07 Conference will be hosted by the Laboratory for the Foundations of Computer Science within the School of Informatics at the University of Edinburgh.

The actual conference will be held in the Royal College of Surgeons in Edinburgh. The tutorials and the graduate symposium on the Sunday before the conference will take place in Appleton Tower, where part of the School of Informatics is housed. The conference dinner will be held in the Playfair Library in Old College.

The Royal College of Surgeons provides wireless connectivity to the internet. Each tutorial and conference room will have a screen and digital projector.

Credit: University of Edinburgh
Go to the Symposium Hall at the Royal College of Surgeons
Hill Place and Hill Square were built on land offered to feuars by James Hill from 1808. So the Square has a long history, being originally part of land owned by Lady Nicolson, she herself having a very ancient family connection with the area, back into the 1600s. The surgeons’ fine building on Nicolson Street was completed in 1832 and for many years was ideal for purpose, but in the early 1900s their need for more accommodation became obvious and they extended with laboratory, photography and other museum rooms into former flats in Hill Square. In the 1970s and 1980s a larger venue was needed for educational meetings and for accommodation for local and overseas examination candidates who required to live in Edinburgh as they prepared for the college exams. In 1965 the former church in Hill Square, that had been built in the mid-1800s, closed. It remained closed and unwanted until the surgeons purchased it together nearby property in Hill Place.
The College began raising funds to transform Hill Square, with the completion of the Postgraduate Residence, creation of the King Khalid bin Abdul Aziz Symposium Hall and a general upgrade of the Square itself. On the 28th June 1983 HRH The Prince Philip Duke of Edinburgh, the College Patron and an Honorary Fellow, was escorted on a tour of Hill Square and on the wall of the Symposium Hall he unveiled a plaque to commemorate the completion of the project. In 2005/2006 further dramatic alterations have increased the capacity, accessability and interior décor of this fine venue.

Symposium Hall at night - Credit: Royal College of Surgeons

Hill Square is a quiet Georgian Square adjacent to the College and close to the University Complex and Medical School. It is near the historic Old Town and the City Centre and access by public transport to all parts of the city is excellent. A good selection of shops and restaurants catering for all nationalities and requirements is available in the immediate vicinity. The Square itself contains many of the College's activities and offices, including part of the Museum and the Symposium Hall, and is bounded to the North West by Surgeon's Hall designed by the famous Scottish architect William Playfair.

Go to the Laboratory for the Foundations of Computer Science (LFCS)
The LFCS was founded in 1986 and itself builds on a long previous history of foundational research at Edinburgh.
LFCS logo

Its key strengths are: exceptional critical mass of leading international researchers in permanent positions, deep and long lived intellectual traditions which give it stability and coherence, and a very strong international reputation, which continues to attract talented people at all levels, from Ph.D. students to postdocs, lecturing staff, Chairs and visitors. LFCS currently includes 22 lecturing staff including 6 Chairs (4 joint with other Institutes),15 Contract Research Staff and 35 Ph.D. students; it has an annual grant income of well over £1million.

Specific research areas being explored within LFCS include Algorithms and Complexity, Concurrency, Databases, Logic, Programming Languages, Semantics, Software Engineering, Stochastic Process Algebras, Categories, Types and Verification. LFCS has a history of world-leading research in these areas.

About Edinburgh
For more information on the city of Edinburgh, please see the University of Edinburgh web pages.
Oct 07
QEST'07 photo album available. [read more]

Sep 07
Graduate symposium and list of accepted posters [read more]

Jun 07
Accepted papers

Accepted tool papers

May 07
Special issue of IEEE TSE [read more]

Organised by



Read about QEST 2007 sponsors