Laboratory for Foundations of Computer Science: Difference between revisions

Revision as of 14:43, 31 December 2012

Revision as of 06:10, 18 June 2013

Line 13:

*Stephen Gilmore

*[[Jane Hillston]]

*[[Paul Jackson]]{{dn|date=December 2011}}

*[[Leonid Libkin]]

*[[John Longley (scientist)|John Longley]]

Line 38:

*[[Eugenio Moggi]]

*[[Faron Moller]]

*[[John Power]]{{dn|date=December 2011}}

*[[David Pym]]

*[[Davide Sangiorgi]]