kongre.net
Welcome to kongre.net
AC
ConferenceHybridPast event

AAL Conference 2025

Hosted by Australasian Association for Logic

  • 3 – 7 November 2025
  • 01-E109 - Forgan Smith Building (East Wing), Learning Theatre, The University of Queensland, Brisbane, Australia
  • Formal SciencesComputer & Information Sciences

Let others know you'll be there. This does not register you for the event.

Welcome to kongre.net
Welcome to kongre.net

Key facts

AAL Conference 2025 is a conference held 3 – 7 November 2025 in 01-E109 - Forgan Smith Building (East Wing), Learning Theatre, The University of Queensland, Brisbane, Australia, organised by Australasian Association for Logic.

Dates:
3 – 7 November 2025
Format:
Hybrid (in person and online)
Venue:
01-E109 - Forgan Smith Building (East Wing), Learning Theatre, The University of Queensland, Brisbane, Australia
Subjects:
Computer & Information Sciences
The Australasian Association for Logic will hold its annual conference in hybrid format, bringing together logicians working in mathematical, computational, or philosophical logic. The conference provides a platform for the presentation and exchange of ideas in all areas of logic.

Objectives

The conference aims to bring together logicians, either based in Australasia or with the desire to connect with logicians based in Australasia, working in mathematical, computational, or philosophical logic, providing a platform for presentation and exchange of ideas.

Who should attend

Logicians based in Australasia or with the desire to connect with logicians based in Australasia, working in mathematical, computational, or philosophical logic.

Organising Committee

Guillermo Badia - local organizer, Queensland Sasha Rubin - Sydney Tomasz Kowalski - local organizer, Jagiellonian & Queensland Shawn Standefer - NTU

Keynote speakers

View speakers

Sasha Melnikov Juha Kontinen Andre Nies

Part of a series

All 5 editions

This event is one edition of Australasian Association for Logic Annual Conference. kongre.net lists 4 other editions.

Venue & travel 01-E109 - Forgan Smith Building (East Wing), Learning Theatre, The University of QueenslandBrisbane, AustraliaVenue detailsAbout the organiser Australasian Association for Logic4 more events from this organiserOrganiser profileWho is going? See who attended this eventSee who is going

Organiser and contact

Advertisement

Related events