Welcome

Model Checking for Nominal Calculi
Ugo Montanari, Univ. Pisa, Italy

Esterel v7: From Verified Formal Specification to Efficient Industrial Designs
Gérard Berry, Esterel Technologies, Villeneuve-Loubet, France

Conference Dinner at the National Museum of Scotland, Chambers Street, preceded by a reception.

When you enter the museum, the first sight is the magnificent Main Hall, with its elegant bird-cage design. Flooded with natural light, it provides a great sense of space and tranquillity, with fountains and fishponds. It is a major exhibit in its own right and contains many wonderful objects.

During the dinner it will not be possible to see the exhibits of the museum, but here is what you will miss: Thirty-six galleries of varying sizes present artefacts from around the globe and natural history specimens. See everything from steamships to sculptures, Egypt to evolution, Dolly the Sheep to design classics and black holes to brown bears.

Dinner at Jury's Inn, 43 Jeffrey Street. The hotel is perfectly located in the heart of the old city, right beside the Royal Mile.