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.

Last modified: April 3, 2000