The Australasian Association for Logic will hold  its annual conference in hybrid format (using  Zoom for the online component) from  Monday 3 November  to Friday 7 November, 2025. The physical location will be the University of Queensland  in Brisbane, Queensland, Australia. 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. The conference is intended to provide a platform for presentation and exchange of ideas. Thus, we invite contributions in all areas of logic, especially if you would like to advertise your best results to logicians outside your own subfield. We welcome published or unpublished work. 

There will be seven one-hour invited talks on different logic topics. The speakers will be Sasha Melnikov (Victoria University of Wellington), Andre Nies (Auckland), Dirk Pattinson (ANU), Marcel Jackson (La Trobe),  Claudia Nalon, (Brasilia), Juha Kontinen (Helsinki) and Torsten Schaub  (Postdam). 

 Session times will be 40 minutes. The scheduling is done according to  Brisbane local time (AEDT, UTC+11). Find your local time.

To register, please email australasianlogic2025@gmail.com. The Zoom URLs for the talks (for those attending online), as well as the abstracts, will be sent to registered participants.

We invite submission of abstracts in any area of logic, broadly construed. To submit, send a short abstract (at most 300 words, i.e. about three quarters of a page in the standard, 11pt LaTeX article style, including the title, other heading material, and references) and title to australasianlogic2025@gmail.com with the subject “AAL 2025”.  Please use the template of the ASL (https://aslonline.org/rules-for-abstracts/) in your submission as abstracts by ASL members will be published in the Bulletin of Symbolic Logic. The soft deadline for submissions is  5 September. Submissions will be accepted for consideration until the hard deadline of Saturday, 20 September. Decisions will be sent out in late September. We would like to encourage submissions from members of groups that are underrepresented in logic.

Please email Guillermo Badia (g.badia@uq.edu.au) if you have any questions.

Organising committee: Guillermo Badia (Queensland; local organizer), Sasha Rubin (Sydney), Tomasz Kowalski (Jagiellonian & Queensland; local organizer)  and  Shawn Standefer (NTU).

The book of abstracts for the conference  will be available at a suitable date.

Schedule

Invited Speakers

Contributed talks and full schedule TBA