Symposium on Logical Foundations of Computer Science January 3-6, 2009 Deerfield Beach, Florida, U.S.A.

INVITED SPEAKERS

• Sam Buss (University of California, San Diego)
• Max Kanovich (University of London)
• Andre Scedrov (University of Pennsylvania)

LFCS'09 is sponsored by The National Science Foundation, Florida Atlantic University, and The CUNY Graduate Center.