Background image: "Synaptic Terminal"

CARMA Special Semester
Mathematical Thinking

5 November 2018 — 31 May 2019

About the special semester

The University of Newcastle's Priority Research Centre for Computer-Assisted Research Mathematics and its Applications is organising a series of workshops as part of its Special Semester on Mathematical Thinking.


"The CARMA conference was an inspiring collaboration of speakers sharing on a wide range of perspectives and backgrounds on what constitutes maths thinking. I was inspired by the variety and the depth of research and experience of each presenter. The mix of researchers, mathematicians and educators provides such a unique opportunity for future discussions and inter-disciplinary conversations. Over time, I personally hope it results in measurable improvements in maths education right down to primary levels of schooling. There is a potential synergy in bringing together this divergent wealth of knowledge that could potentially revolutionise maths teaching and learning."

Lynelle Campbell, LYNZ Education


[CARMA logo]

CARMA Workshop

CARMA Workshop on Computer-Aided Proof

Wednesday, 5th Jun 2019 — Friday, 7th Jun 2019


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. Please visit the workshop website for more information.

[CARMA logo]

CARMA and AMSI Workshop

AMSI-CARMA Workshop on Mathematical Thinking

Wednesday, 14th Nov 2018 — Friday, 16th Nov 2018

X803, NewSpace

Mathematics underpins much of the scientific and technological progress of modernity. This workshop will bring together experts to study the conceptual and neurological basis of mathematical thought and creativity, different aspects of which are associated with brain structures evolved for different purposes. We will explore links to machine learning, which plays a critical role as a model for cognition, as well as cognitive psychology, neuroscience, philosophy and pure and applied mathematics. For further information, please visit the workshop website. The conference is part of CARMA's Special Semester on Mathematical Thinking.

At this workshop, we will target discussions at forming new interdisciplinary collaborations and formulating concrete research questions with a view towards major grant applications in the ARC Discovery and linkage programmes, among others. Expected benefits arising from such collaborations include machine learning improvements, computer assistance for mathematical research and other high-level cognitive tasks, and improved insight into mathematics education at all levels.

[CARMA logo]

CARMA Workshop


9:00 am — 5:00 pm

Tuesday, 13th Nov 2018

X602, NewSpace

This year, EViMS will continue to provoke and promote creativity and cross-fertilisation across mathematics research and mathematics education. For further information, please visit the workshop website.

[CARMA logo]

CARMA Workshop

Diagrammatic Reasoning in Higher Education

Friday, 9th Nov 2018 — Sunday, 11th Nov 2018

X703, NewSpace

A workshop on the teaching of mathematical concepts using diagrammatic reasoning in higher education, investigating the potential for diagrammatic reasoning to be used to enhance the teaching of mathematics and abstract concepts across a range of disciplines (of business and economics, physics, engineering, and computer science) at the University of Newcastle. It will investigate the potential of diagrammatic reasoning as a novel pedagogical tool to enhance the learning of diverse student cohorts. For further information, please visit the workshop website.