CARMA Workshop

on

Computer-Aided Proof

5—7 June, 2019

Venue: NewSpace, Newcastle (City Campus)



Notices

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.

Registration now open

Registration can be made through the Eventbrite page for the conference.

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

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

DRAFT schedule

***This is a draft only and subject to change!***
PDF icon 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: Honeysuckle:

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.

Organising Committee

  • Florian Breuer
  • Natalie Thamwattana
  • Juliane Turner
  • Glen Wheeler (Wollongong)
  • George Willis

Contact Information

If you have any questions, please contact

Juliane Turner

Juliane.Turner@newcastle.edu.au

Telephone: (02) 492 15483