Content deleted Content added
m Bot: link syntax and minor changes |
Narky Blert (talk | contribs) Link to DAB page -> redlink. cleanup tag |
||
Line 11:
== LICS Awards ==
{{cleanup section|date=September 2020|reason=dates in reverse chronological order, contrary to [[WP:DATELIST]].}}
=== Test-of-Time Award ===
Line 18 ⟶ 19:
* [[Luca de Alfaro]], [[Thomas A. Henzinger]], "Concurent Omega-Regular Games"
* [[Hiroshi Nakano (computer scientist)|Hiroshi Nakano]], "A Modality for Recursion"
==== 2019 ====
| |||