Symposium on Logic in Computer Science: Difference between revisions

Content deleted Content added
Line 83:
* [[Luca de Alfaro]], [[Thomas A. Henzinger]], "Concurrent Omega-Regular Games"
* [[Hiroshi Nakano (computer scientist)|Hiroshi Nakano]], "A Modality for Recursion"
 
==== 2021 ====
* [[Aaron Stump;]], [[Clark W. Barrett]], [[David L. Dill]], [[Jeremy R. Levitt]], "A Decision Procedure for an Extensional Theory of Arrays"
* [[Hongwei Xi]], "Dependent Types for Program Termination Verification"
 
=== Kleene award ===