Computers are playing an increasingly important role in the creation and verification of mathematical proofs. This role is expected to become central in
the future of mathematics. This workshop will bring together experts in computer proof assistants, formal proof verification systems, formal foundations of
mathematics and related topics. The intended audience will be working mathematicians and graduate students, who are not necessarily experts in formal
Rajeev Gore (ANU)
Marijn Heule (UT Austin) [tbc]
Robert Y. Lewis (Amsterdam)
Daniel Murfet (U. Melbourne)
Michael Norrish (CSIRO)
Nicole Sutherland (Sydney)
Don Taylor (U. Sydney)
Thotsaporn Thanatipanonda (Mahidol University Thailand)
There are two main areas with hotels and backpacker accommodation — Newcastle East and Honeysuckle,
within easy walking distance of each other and the conference venue. Honeysuckle is a popular area
with lots of restaurants with great views across the harbour. Additionally, the website
wotif.com sometimes has good deals.
From Newcastle Airport
For those arriving at the Newcastle Airport we recommend taking a taxi to Newcastle. The
taxi rank is adjacent to the arrivals area of the terminal. Newcastle Taxis can be contacted
directly, free-of-charge, on the dedicated taxi phone located in the arrivals end of the
Alternatively, you can catch the 130 or 131 bus from the Newcastle
Airport to the Newcastle Station. From Newcastle Station it is an easy
walk to the recommended hotels. For more information and/or to plan your exact trip times see
the Sydney Trains or the
Port Stephens Coaches timetables.
From Sydney Airport
For those arriving at Sydney Airport we recommend taking the train some of the way
to Hamilton where you will need to transfer to a bus to Newcastle. For information and trip planning,
please visit www.transportnsw.info.
You should take the T2 Airport Line from Domestic or International Airport
Stations to Central Station and then the Central Coast & Newcastle LineHamilton Station. From Hamilton Station you must transfer to a bus to get into
Local Transportation in Newcastle Newcastle Taxis: bookings can be made online or by calling 133 300 within Australia.