CARMA Workshop


Computer-Aided Proof

5—7 June, 2019

Venue: NewSpace, Newcastle (City Campus)


Workshop announced

This workshop will take place in June 2019 and is part of CARMA's Special Semester on Mathematical Thinking. Further information will be added soon.

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



Formal registration will open soon. In the meantime, please email Florian Breuer ( if you are interested in attending.


NewSpace, The University of Newcastle's City Campus.

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

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

Organising Committee

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

Contact Information

If you have any questions, please contact

Juliane Turner

Telephone: (02) 492 15483