LICS Test-of-Time Award LICS 1999-2019

Prize: Prize (including medals and awards)


Two awards were made in 2019 to honor outstanding papers from the IEEE Symposium on Logic in Computer Science 1999 held in Trento, Italy. The winners are: "A New Approach to Abstract Syntax Involving Binders" by Murdoch Gabbay and Andrew M. Pitts and "Abstract Syntax and Variable Binding" by Marcelo P. Fiore, Gordon D. Plotkin, and Daniele Turi. Award Committee was comprised of Thomas Ehrhard, Frank Pfenning (chair), and Davide Sangiorgi.
Degree of recognitionInternational
Granting OrganisationsIEEE

Awarded at event

Event title34th Annual ACM/IEEE Symposium on Logic in Computer Science 2019
Period24 Jun 2019 → 27 Jun 2019