Logic List Mailing Archive

CfR: Southern Summer Logic Day, AU/NZ, 12 January (local time) [World Logic Day Event]

The Australasian Association for Logic is hosting a Southern Summer Logic Day  (Thursday, 11 January 2024 at 23:00:00 (UTC); notice that in AU/NZ this will be a Friday 12), 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-2024.

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>, Friday 12 January):

John Lane Bell (Keynote): Mathematics and Aesthetics 10AM - 11:10AM

Shay Logan: TBA 11:25AM - 12:30PM

Lunch break

Ellen Hammat: TBA 1:30PM - 2:30PM

Katalin Bimbo: Searching for proofs - a bit of history 2:45 PM- 3:45PM

Break

Johan van Benthem (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