Symposium on Logic in Computer Science: Difference between revisions

Revision as of 14:01, 11 November 2014

Revision as of 15:27, 16 November 2014

Line 19:

==== 2013 ====

*[[Leo Bachmair]], [[Harald Ganzinger]], [[Uwe Waldmann]], "Set constraints are the monadic class"

*[[André Joyal]], [[Mogens Nielson]], [[Glynn Winskel]], "Bisimulation and open maps"

*[[Benjamin C. Pierce]], [[Davide Sangiorgi]], "Typing and subtyping for mobile processes"

==== 2012 ====

*[[Thomas Henzinger]], [[Xavier Nicollin]], [[Joseph Sifakis]], [[Sergio Yovine]], "Symbolic model checking for real-time systems"

*[[Jean-Pierre Talpin]], [[Pierre Jouvelot]], "The type and effect discipline"

==== 2011 ====

*[[Patrice Godefroid]], [[Pierre Wolper]], "A partial approach to model checking"

*[[Joshua Hodas]], [[Dale Miller]], "Logic programming in a fragment of intuitionistic linear logic"

*[[Dexter Kozen]], "A completeness theorem for Kleene algebras and the algebra of regular events"

=== Kleene award ===