Logic List Mailing Archive

CfR: Southern Summer Logic Day 2025 – Online Event Celebrating World Logic Day, 13/14 Jan 2025, Online

The Australasian Association for Logic is hosting a Southern Summer Logic Day  (Monday, 13 January 2025 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<https://url.au.m.mimecastprotect.com/s/D3WxCQnMBZfN4jp6qIxf5IGqOlt?domain=sites.google.com>.

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://url.au.m.mimecastprotect.com/s/_fYJCROND2ugPq1rlHNhgI1unCv?domain=timeanddate.com>, Tuesday 14 January):


Phokion Kolaitis<https://url.au.m.mimecastprotect.com/s/1KEmCVARKgCPjo6lKiyilIE8wti?domain=users.soe.ucsc.edu/>: Homomorphism counts: expressive power and query algorithms 10 AM - 11:10 AM
Rob Goldblatt<https://url.au.m.mimecastprotect.com/s/PpXoCWLVXkUywmKjYHns3Ion0RK?domain=wgtn.ac.nz>: Strong completeness of a first-order temporal logic for real time 11:25 AM - 12:30 PM
Lunch break
Nick Smith<https://url.au.m.mimecastprotect.com/s/rsFHCXLW2mUM7oRnNCmt2IW1rdK?domain=njjsmith.com/>: What is a formal proof? 1:30 PM - 2:30 PM
Break
Ed Mares<https://url.au.m.mimecastprotect.com/s/a03RCYW8Noc6o2q3ZhZuqIxPZmQ?domain=people.wgtn.ac.nz>: Partial and false information 3:15 PM- 4:15 PM
Break
Valentin Goranko<https://url.au.m.mimecastprotect.com/s/LxPPCZY1Nqion9LMRSXCEIBnTke?domain=philosophy.su.se/>: Logics for reasoning about strategic abilities of socially interacting rational agents 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