---------- 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.ba...@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 -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LgGzWL4SPgi3AoYmjZ0rJYBov5S3RSzxF-JPc%2BkAvTiSA%40mail.gmail.com.
