---------- Forwarded message ---------
From: [LOGIC] Mailing List <logic.l...@outlook.com>
Date: Sun, Oct 15, 2023 at 7:41 PM
Subject: [LOGIC] CfParticipation: Dov Gabbay Prize 2023 - Online Ceremony,
October 25
To:
Dear Logic Community,
to celebrate the winners of the first edition of the
* Dov Gabbay Prize for Logic and Foundations (iloaf.org) *
** Dale Miller and Mirek Truszczynski **
we will organize an Online Award Ceremony on
Wednesday October 25, 15:00 (CET)
People interested to attend are invited to send a registration email to:
d...@iloaf.org
The Zoom link will be sent by email, but will also be published on Oct 25
on iloaf.org
Program (~ 150 min.):
1. Intro + Laudatio
2. Talk: Dale Miller (Inria-Saclay and LIX, Ecole Polytechnique)
"A system of inference based on proof search"
3. Talk: Mirek Truszczynski (University of Kentucky)
"The Road to Answer Set Programming"
4. Talk: Dov Gabbay (King's College London, University of Luxembourg)
"Negation as failure and failure in general"
Looking forward to see you there,
Emil Weydert and Alexander Steen (ILOAF organizers)
Philip Welch (Jury chair)
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php
--
Elaine.
-----------------------------------
Elaine Pimentel
Associate Professor in Programming Principles, Logic, and Verification
Department of Computer Science
University College London
https://sites.google.com/site/elainepimentel/
-----------------------------------
--
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 discussão na web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BWPf_7JkO2DboR3G0B4b%3Dw0xsiyLRqfzJYwV935LQqQGg%40mail.gmail.com.
