Posted: 9th May 2018

The department’s Professor Samson Abramsky is to receive the LICS Test-of-Time Award for a paper that he wrote in 1998 with Kohei Honda and Guy McCusker. The paper is entitled ‘A fully abstract game semantics for general references’.

The Test-of-Time Award bestowed by the IEEE Symposium on Logic in Computer Science (LICS) recognises a small number of papers from the LICS proceedings from 20 years prior that have best met the ‘test of time’.

Samson, who is Christopher Strachey Professor of Computing and a Fellow of Wolfson College, previously received a LICS Test-of-Time Award in 2007 for the paper ‘Domain theory in logical form’ published in 1987. The papers are selected by an awards committee that is appointed by the LICS General Chair and consists of between three to five members. In selecting these papers, the Awards Committee consider the influence that the papers have had since publication; because of the foundational nature of LICS work, impact is often not fully felt immediately, hence a 20-year perspective.

The award will be presented at LICS 2018, which will be held in July in Oxford, as part of the Federated Logic Conference, FLoC 2018.

The paper is at: http://www.academia.edu/2781702/A_fully_abstract_game_semantics_for_general_references .