Logic List Mailing Archive

Southern Summer Logic Day, January 14 in AU/NZ, Online [World Logic Day Event]

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.badia@uq.edu.au<mailto:g.badia@uq.edu.au> for the Zoom link). Everyone is welcome!


Timetable  (in AEDT<https://www.timeanddate.com/time/zones/aedt>, Tuesday 14 January):



Phokion Kolaitis<https://users.soe.ucsc.edu/~kolaitis/> (Keynote): Homomorphism counts: expressive power and query algorithms 10AM - 11:10AM

Rob Goldblatt<https://www.wgtn.ac.nz/sms/about/staff/rob-goldblatt>: Strong completeness of a first-order temporal logic for real time 11:25AM - 12:30PM

Lunch break

Nick Smith<https://njjsmith.com/philosophy/lawsoftruth/>: TBA 1:30PM - 2:30PM

Ed Mares<https://people.wgtn.ac.nz/Edwin.Mares>: Partial and false information 2:45 PM- 3:45PM

Break

Valentin Goranko<https://www2.philosophy.su.se/goranko/> (Keynote): TBA 4:30 PM - 5:40 PM
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php