LICS Test-of-Time Award LICS 1999-2019

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.