diff -r 5ccf667cf396 -r a4418038199a logic.html --- a/logic.html Tue Apr 23 00:56:26 2013 +0100 +++ b/logic.html Sat May 18 07:22:44 2013 +0100 @@ -74,11 +74,11 @@
Amy Felty
Benjamin Pierce
Catuscia Palamidessi
-
Claudia Faggian
+
Claudia Faggian
Dale Miller
Daniel Friedman
David Pym
-
Edmund Robinson
+
Edmund Robinson
Frank Pfenning
Gavin Bierman
George Necula
@@ -90,7 +90,7 @@
Helmut Schwichtenberg
Henk Barendregt
Hugo Herbelin
-
Iliano Cervesato +
Iliano Cervesato
James Cheney
Jean Gallier, papers
@@ -100,7 +100,7 @@
John Mitchell
Karl Crary
Larry Paulson
-
Lars Birkedal
+
Lars Birkedal