2002 Clifford Lectures
Mathematical Logic for Computer Science
Partially Supported by
Tulane University Mathematics Department
US Office of Naval Research
The Clifford Lectures are named in honor of A. H. Clifford, noted algebraist and longtime member of the Tulane Mathematics Department. The 2002 Clifford Lecturer is
Professor Artemov's lectures are entitled
Explicit logic for computer science
In addition to Professor Artemov's three lectures, the Clifford Lectures will feature talks by the following:
|Juris Hartmanis |
|Dexter Kozen |
CUNY Graduate Center
A list of registered participants can be found here.
The 2002 Clifford Lectures will be held in conjunction with the Eighteenth Workshop on the Mathematical Foundations of Programming Semantics. Both events will take place on the campus of Tulane University, New Orleans, LA USA.