A conference under the name of Australasian Logic Colloquium was held in Brisbane, Australia, on 6–8 November 2023, hosted by the University of Queensland and sponsored by the Association for Symbolic Logic. The event brought together logicians, either based in Australasia or with the desire to connect with logicians based in Australasia, working in mathematical, computational, or philosophical logic. There were 24 speakers, three of them delivering invited addresses.

The organizers of the event were Guillermo Badia (University of Queensland), and Sasha Rubin (University of Sydney). They also had the assistance of James Carr (University of Queensland).

The invited addresses were given by Janos Makowsky (Technion – Israel Institute of Technology) on Extensions and limitations of the Specker-Blatter Theorem, Raj Goré (Technical University of Vienna and Polish Academy of Sciences) on Improved decision procedures for multimodal tense (description) logic ALCI using CEGAR-tableaux and Enrique Casanovas (University of Barcelona) on An exposition of the compactness of $L(Q^{\textit{cf}})$ .

Further information and recordings of the talks can be found at the website:

https://sites.google.com/view/australasianlogcolloquium2023.

For the Organizing Committee

Guillermo Badia, Sasha Rubin