LICS 2000 Invited Talks

LICS 2000 - Invited Talks

Ronald Fagin (IBM Almaden Research Center)

Logic, Complexity, and Games

Saul Kripke (Princeton University)

From the Church-Turing Thesis to the First-Order Algorithm Theorem

Jean-Louis Krivine (University of Paris 7)

The Curry-Howard Correspondence in Set Theory

Ken McMillan (Cadence)

Some Strategies for Proving Theorems with a Model Checker

Bart Selman (Cornell University)

Satisfiability Testing: Recent Developments and Challenge Problems

Back to the LICS web page.

Last modified: April 3, 2000