ALC 2023: Australasian Logic Colloquium 2023 University of Queensland Brisbane, Australia, November 6-8, 2023 |
Conference website | https://sites.google.com/view/australasianlogcolloquium2023/home?read_current=1 |
Submission link | https://easychair.org/conferences/?conf=alc20230 |
Abstract registration deadline | August 1, 2023 |
Submission deadline | August 1, 2023 |
Submission Guidelines
The Australasian Logic Colloquium (ALC) 2023 will take place from 6-7November in Brisbane, Australia. The conference aims to bringtogether logicians, either based in Australasia or with the desire toconnect with logicians based in Australasia, working in mathematical,computational, or philosophical logic. The Colloquium is intended toprovide a platform for presentation and exchange of ideas. Thus, weinvite contributions in all areas of logic, especially if you wouldlike to advertise your best results to logicians outside your ownsubfield. We welcome published or unpublished work. This event issponsored by the Association for Symbolic Logic and limited travelgrants 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 onZoom will be able to do so. If you would like to present a paper at this conference, either onlineor in person please send a 1-2 page abstract that explains what thetalk is about to the organizers: Guillermo Badia (g.badia@uq.edu.au)and Sasha Rubin (sasha.rubin@sydney.edu.au). The soft deadline forsubmission is 1 August 2023.After the ALC, there will be an open call for papers for a specialissue of the Journal of Logic and Computation. Submission of papers isencouraged but not a necessary condition for presenting at theconference.
Committees
Program Committee
Noam Greenberg (VUW, Mathematics)
Rod Downey (VUW, Mathematics)
Tim French (University of Western Australia, Computer Science)
Thomas Forster (Cambridge, Mathematics)
Shawn Standefer (National Taiwan University, Philosophy)
Ian Shillito (Australian National University, Computer Science)
Murray Elder (University of Technology Sydney, Mathematics)
Julian Gutierrez (Monash University, Computer Science)
Jack Copeland (University of Canterbury, Philosophy)
Francesco Olivieri (Griffith University, Computer Science)
Jake Chandler (La Trobe, Philosophy)
Jim de Groot (Australian National University, Computer Science)
Martin Bunder (Wollongong, Mathematics)
Adrian Pearce (Melbourne, Computer Science)
Guido Governatori (Griffith, Computer Science)
Organizing committee
Guillermo Badia (University of Queensland, Philosophy)
Sasha Rubin (University of Sydney, Computer Science)
Invited Speakers
Enrique Casanovas (University of Barcelona, Mathematics)
Rajeev Goré (Technical University of Vienna and Polish Academy of Sciences, Computer Science)
Contact
Guillermo Badia (g.badia@uq.edu.au) and Sasha Rubin (sasha.rubin@sydney.edu.au)