LFCS'07: Symposium on Logical Foundations of Computer Science

June 4 - 7, 2007 in New York, U.S.A.

Invited Speakers:

Georges Gonthier, Microsoft Research Cambridge;
Alexander Razborov, IAS Princeton and Steklov Institute Moscow.
 

LFCS07 is sponsored by The CUNY Graduate Center , The Mid-Atlantic Mathematical Logic Seminar, New York Logic Colloquium, and the CUNY Computer Science Colloquium.