LICS 2001 - Invited Talks

Serge Abiteboul (INRIA Rocquencourt)

Semistructured Data: From Practice to Theory


Andrew Appel (Princeton)

Foundational Proof-Carrying Code


David Dill (Stanford)

Decision procedures and their use in formal verification


Yuri Gurevich (Microsoft)

A Logician in the land of OS: Abstract State Machines in Microsoft


John Mitchell (Stanford)

Logic in Computer Security


Wolfgang Thomas (RWTH Aachen)

The Engineering Challenge for Logic

Back to the LICS web page.

Martin Grohe
Last modified: April 3, 2000