WLD Zoom Event: [Far Eastern-]Southern Summer Logic Day (January 14 in AU/NZ)
17 views
Skip to first unread message
Joao Marcos
Dec 22, 2024, 6:40:00 PM12/22/24
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
---------- Forwarded message ---------
The Australasian Association for Logic is hosting a Southern Summer
Logic Day (Monday, 13 January 2024 at 23:00:00 (UTC); notice that in
AU/NZ this will be a Tuesday 14), to celebrate the UNESCO World Logic
Day. More details can be found on the website:
https://sites.google.com/view/aalogic/world-logic-day/world-logic-day-2025?authuser=0.
The event will take place on Zoom (contact Guillermo Badia at
g.b...@uq.edu.au for the Zoom link). Everyone is welcome!
Timetable (in AEDT, Tuesday 14 January):
Phokion Kolaitis (Keynote): Homomorphism counts: expressive power and
query algorithms 10AM - 11:10AM
Rob Goldblatt: Strong completeness of a first-order temporal logic for
real time 11:25AM - 12:30PM
Lunch break
Nick Smith: TBA 1:30PM - 2:30PM
Ed Mares: Partial and false information 2:45 PM- 3:45PM
Break
Valentin Goranko (Keynote): TBA 4:30 PM - 5:40 PM
The Australasian Association for Logic is hosting a Southern Summer
Logic Day (Monday, 13 January 2024 at 23:00:00 (UTC); notice that in
AU/NZ this will be a Tuesday 14), to celebrate the UNESCO World Logic
Day. More details can be found on the website:
https://sites.google.com/view/aalogic/world-logic-day/world-logic-day-2025?authuser=0.
The event will take place on Zoom (contact Guillermo Badia at
g.b...@uq.edu.au for the Zoom link). Everyone is welcome!
Timetable (in AEDT, Tuesday 14 January):
Phokion Kolaitis (Keynote): Homomorphism counts: expressive power and
query algorithms 10AM - 11:10AM
Rob Goldblatt: Strong completeness of a first-order temporal logic for
real time 11:25AM - 12:30PM
Lunch break
Nick Smith: TBA 1:30PM - 2:30PM
Ed Mares: Partial and false information 2:45 PM- 3:45PM
Break
Valentin Goranko (Keynote): TBA 4:30 PM - 5:40 PM
Reply all
Reply to author
Forward
0 new messages