Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Computer Science Logic 2009 (CSL '09) in Coimbra,
Portugal
CSL
09 18th EACSL Annual Conference on
Computer Science Logic
Stephen Cole Kleene was born January 5, 1909 in Hartford, Connecticut,
USA. CSL'09 celebrates his centenary with a invited talk by one of
his PhD students, Yiannis Moschovakis.