CFP: Australasian Logic Colloquium (6-7 November, Brisbane, Australia)

[Guillermo Badia]

The Australasian Logic Colloquium (ALC) 2023 will take place from 6-7
November in Brisbane, 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 Colloquium 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. This event is
sponsored by the Association for Symbolic Logic and limited travel
grants for students are available. Please see our website:
https://sites.google.com/view/australasianlogcolloquium2023/home.

Two keynotes will be delivered by  Enrique Casanovas and Rajeev Gore.
The conference will take place physically in Brisbane, Australia, but
people interested in registering so they can listen to the talks on
Zoom will be able to do so.

If you would like to present a paper at this conference, either online
or in person please send a 1-2 page abstract that explains what the
talk is about to the organizers: Guillermo Badia (g.badia at uq.edu.au)
and Sasha Rubin  (sasha.rubin at sydney.edu.au). The soft deadline for
submission is 1 August 2023.

After the ALC, there will be an open call for papers for a special
issue of the Journal of Logic and Computation. Submission of papers is
encouraged but not a necessary condition for presenting at the
conference.