Welcome to the UNE Mathematical Logic Research Group

The UNE Mathematical Logic Research Group (UNE MLRG) is a research-focused society dedicated to advancing mathematical logic through workshops, collaborative research, and interdisciplinary projects. The group explores fields such as set theory, proof theory, model theory, recursion theory, and reverse mathematics, with connections to theoretical computer science, philosophy of mathematics, and constructive mathematics. UNE MLRG also investigates formal systems, type theory, computability theory, computational complexity, and the interplay between logic and category theory. Through research publications, open problem discussions, workshops, lectures, and academic outreach, the group strives to establish itself as a leading hub for mathematical logic research.

The UNE Mathematical Logic Research Group is a club pending affiliation with UNE Life. 

If you are interested in making this club a reality click the Memberships tab to submit an expression of interest. For any further questions, contact the UNE Life Student Programs Coordinator at clubsandsocieties@une.edu.au.