Notices

Dinner

The workshop dinner will take place on Thursday (7th June) at 6:30 pm. The venue will be advised to participants at the workshop.

Abstract booklet

The abstract booklet for the workshop is now available.

Special semester

This workshop is part of CARMA's Special Semester on Mathematical Thinking.

Workshop poster

Download the workshop poster here! (2.8-MB PDF)

About the workshop

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 mathematics.

Invited speakers

• 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)
• Alwen Tiu (ANU)
• Doron Zeilberger (Rutgers University)

Poster

Download the workshop poster here! (2.8-MB PDF)

Registration

Registration is now open. Please visit our Eventbrite page. Although the workshop is free, please register for catering and space purposes.

Venue

The workshop will be held at NewSpace, the University of Newcastle's City Campus (click for maps).

Dinner

The workshop dinner will take place on Thursday (7th June) at 6:30 pm. The venue will be advised to participants at the workshop.

Schedule

The draft abstract booklet is now available to download.

Accommodation Suggestions

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.

Newcastle East:

• Noah's on the Beach
• Ibis Newcastle
• Novotel Newcastle Beach
• YHA Newcastle Beach
• Terraces for Tourists

Honeysuckle:

• Crowne Plaza
• Chifley

Travelling to Newcastle

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 terminal.

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 Line Hamilton Station. From Hamilton Station you must transfer to a bus to get into the city.

Local Transportation in Newcastle
Newcastle Taxis: bookings can be made online or by calling 133 300 within Australia.

For public transport options, please visit www.transportnsw.info.