Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Dov Gabbay Prize 2023 - Online Ceremony

Email Gateway (Oct 13 2023 at 07:15):

From: Alexander Steen <cl-isabelle-users@lists.cam.ac.uk>
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:
dgp@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)

Last updated: Apr 28 2024 at 20:16 UTC