Logic List Mailing Archive
CfP: Australasian Association for Logic Conference, 26-28 Nov, Hybrid: Zoom + Sydney (Australia)
The Australasian Association for Logic<http://www.aalogic.org/> will hold its annual conference in hybrid format (using Zoom for the online component) from Tuesday 26 November to Thursday 28 November, 2024. The physical location will be the University of Sydney in Sydney, New South Wales, 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 three one-hour invited talks on different logic topics. The speakers will be Noam Greenberg<https://homepages.ecs.vuw.ac.nz/~greenberg/> (Victoria University of Wellington), Annalisa Conversano<https://www.massey.ac.nz/massey/expertise/profile.cfm?stref=056250> (Massey University), and Manfred Droste<https://www.informatik.uni-leipzig.de/theo/pers/droste/> (University of Leipzig).
Session times will be 40 minutes. The scheduling is done according to Sydney local time (AEDT, UTC+11). Find your local time<https://www.timeanddate.com/worldclock/meeting.html>.
To register, please email aalsydney2024@gmail.com<mailto:aalsydney2024@gmail.com><mailto:aalsydney2024@gmail.com<mailto:aalsydney2024@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 2 pages) and title to aalsydney2024@gmail.com<mailto:aalsydney2024@gmail.com><mailto:aalsydney2024@gmail.com<mailto:aalsydney2024@gmail.com>> with the subject "AAL 2024". 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 aalsydney2024@gmail.com<mailto:aalsydney2024@gmail.com><mailto:aalsydney2024@gmail.com<mailto:aalsydney2024@gmail.com>> if you have any questions.
This meeting is sponsored by the Association for Symbolic Logic. Student ASL members may apply for (limited) ASL travel funds (see here<https://aslonline.org/meetings/student-travel-awards/>). The requirement is strict that they must be members of the ASL in order to apply, and applications must be received three months prior to the start of the meeting. Shannon Miller, the ASL administrator, is a good source of information and answers.
Organising committee: Guillermo Badia<https://sites.google.com/site/guillermobadialogic/home> (Queensland), Sasha Rubin<https://sasharubin.github.io/> (Sydney; local organizer), and Shawn Standefer<http://www.standefer.net/> (NTU).
The book of abstracts for the conference will be available at a suitable date.
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php