Validated Numerics for Computer-Assisted Proofs

6-10 July 2026, ICMS, Bayes Centre, Edinburgh

Maps and Locations of Interest

Transport

• Edinburgh Airport (EDI)
• Edinburgh Waverley Train Station

Accommodation

• Pollock Halls - Chancellors Court
• KM Hotel

Workshop Venue

• International Centre for Mathematical Sciences (ICMS)

Some Places of Interest

• Greyfriar’s Bobby Statue
• Grassmarket
• Victoria Street
• Edinburgh Castle
• St Giles’ Cathedral
• Royal Mile
• The Balmoral Hotel
• Carlton Hill
• James Clerk Maxwell Statue
• Scott Monument
• Princes Street
• James Clerk Maxwell Foundation, 14 India Street
• Dean Village and the Water of Leith Path

Longer Walks

• Arthur’s Seat
• Palace of Holyroodhouse
• Scottish Parliament Building

Museums and Galleries

• National Museum of Scotland
• The Writers’ Museum
• National Galleries of Scotland