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
- Organiser:
- Australasian Association for Logic
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 speakersSasha Melnikov Juha Kontinen Andre Nies
Part of a series
All 5 editionsThis event is one edition of Australasian Association for Logic Annual Conference. kongre.net lists 4 other editions.
Organiser and contact
Advertisement
Related events
- 36th IEEE ITNAC 2026Melbourne, Australia25–27 Nov 2026
- The 4th International Conference on Information Technology and Advanced Computer ScienceIstanbul, Türkiye5–7 Nov 2026
- 6th International Conference on Communication Technology and Information Technology (ICCTIT 2026)Beijing, China6–8 Nov 2026
- 6th International Conference on Computer Science, Electronic Information Engineering and Intelligent Control Technology (CEI 2026)Nanning, China6–8 Nov 2026
- 16th International Conference on Information and Multimedia Technology (ICIMT 2026)Shenzhen, China6–8 Nov 2026
- International Conference on Technology and Innovation for Social Movements (ICTISM)London, United Kingdom7–8 Nov 2026