Final Announcement and Call for Participation 

2002 Clifford Lectures 

Mathematical Logic for Computer Science

Tulane University
New Orleans, LA USA
March 20 - March 23, 2002

Partially Supported by

Tulane University Mathematics Department 

and the

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

Sergei N. Artemov
The Graduate Center
CUNY

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:

Samson Abramsky
Oxford
Henk Barendregt
Nijmegen
Samuel Buss
UCSD
Nachum Dershowitz
Tel Aviv
Yuri Gurevich
Microsoft Research
Joshua Guttman
Mitre Corporation
Juris Hartmanis
Cornell
Dexter Kozen
Cornell
Rohit Parikh
CUNY Graduate Center 
Gordon Plotkin
Edinburgh 
Helmut Schwichtenberg
Munich 
Moshe Vardi
Rice

The Clifford Lectures will begin on Wednesday afternoon, March 20, and continue through Saturday morning, March 23. The program for the meeting is available by following this link

To register for the Clifford Lectures, including reserving a hotel room, follow this link

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.


Participation Information

The registration link leads to secure web pages where participants can register for the meeting and make their hotel reservations. The form also can be used to register for MFPS XIII. While the meetings are being held in conjunction with one another, participants can attend one meeting, part of one and the other, or both meetings. If you have problems accessing the linkIf you have problems accessing the link above, then send email to mfps@math.tulane.edu.