ILOAF – The Initiative for Logic and Foundations – is an independent international academic organization which aims at promoting research, education, and outreach in scientific domains related to Logic and Foundations, emphasizing an interdisciplinary perspective.
News
Dov Gabbay Prize 2023 Award Ceremony
The award ceremony of the first edition of the Dov Gabbay Prize for Logic and Foundations takes place on Wednesday, October 25, 2023. Please see the ceremony program for details.
Awardees of the Dov Gabbay Prize 2023
ILOAF and the DGP Jury have the great pleasure to announce the winners of the first edition of the Dov Gabbay Prize for Logic and Foundations:
Dale Miller (Inria Saclay & LIX) and Mirek Truszczynski (University of Kentucky)
Our congratulations!
