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.
30 Jun 2019
Degree of recognition
Awarded at event
34th Annual ACM/IEEE Symposium on Logic in Computer Science 2019