Southern Summer Logic Day 

2025

With the purpose of celebrating the UNESCO World Logic Day, the Australasian Association for Logic will host  a Southern Summer Logic Day. The event will take place on Zoom (contact Guillermo Badia at g.badia@uq.edu.au for the Zoom link). There will be  two keynote presentations, one by Phokion Kolaitis and one by  Valentin Goranko. The date and time will be Monday, 13 January 2025 at 23:00:00 (UTC) (notice that in AU/NZ this will be a Tuesday 14).   In addition to the keynotes, there will be three invited talks: Ed Mares, and two others TBA.

Timetable  (in AEDT, Tuesday 14 January):     

                                           

Phokion Kolaitis (Keynote): 10AM - 11:10AM         

TBA:  11:25AM - 12:30PM

Lunch break 

TBA: 1:30PM - 2:30PM

Ed Mares: 2:45 PM- 3:45PM

Break

Valentin Goranko (Keynote): 4:30 PM - 5:40 PM

ORGANIZERS

Guillermo Badia (University of Queensland, Australia)

Shawn Standefer (National Taiwan University, Taiwan)

Zach Weber (University of Otago, New Zealand)

Phokion Kolaitis (University of California, Santa Cruz & IBM Research)

TBA


TBA

Ed Mares

(Victoria University of Wellington)

TBA


TBA

 



Valentin Goranko (Stockholm University)

TBA


TBA