The Australasian Association for Logic wi ll hold its annual conference in hybrid format (us ing Zoom for the online component) from Monday 3 N ovember to Friday 7 November, 2025. The physical l ocation will be the University of Queensland in Br isbane, Queensland, Australia. The conference aims to bring together logicians, either based in Aust ralasia or with the desire to connect with logicia ns based in Australasia, working in mathematical, computational, or philosophical logic. The confere nce is intended to provide a platform for presenta tion and exchange of ideas.
\nThere will b e five one-hour invited talks on different logic t opics. The speakers will be Sasha Melnikov (Victoria University of Wellington), Andre Nies (Auckland), Dirk Pattinson (ANU), Marcel Jackson ( La Trobe) and Torst en Schaub (Postdam).
\nWe invite contributions in all areas of logic, espec ially if you would like to advertise your best res ults to logicians outside your own subfield. We we lcome published or unpublished work. To submit, se nd an short abstract by email with the subject AA L 2025. The soft deadline for submissions is 5 Se ptember. Submissions will be accepted for consider ation until the hard deadline of Saturday, 20 Sept ember. Decisions will be sent out in late Septembe r. We would like to encourage submissions from mem bers of groups that are underrepresented in logic.
\n