Kleene award

#	Item
1	Report on CSL-LICS 2014 from the Program Committee Chairs Thomas Henzinger (IST, Austria) and Dale Miller (INRIA, France) Vienna, July 2014 Add to Reading List Source URL: eacsl.kahle.ch Language: English - Date: 2014-07-23 09:38:07 Logic in computer science IEEE Symposium on Logic in Computer Science Kleene award Association for Computing Machinery Federated Logic Conference ACM SIGACT Theoretical computer science Computer science Applied mathematics
2	CALL FOR PAPERS Thirtieth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICSJuly 6–10, 2015, Kyoto, Japan http://lics.rwth-aachen.de/lics15/ Add to Reading List Source URL: lics.rwth-aachen.de Language: English - Date: 2015-01-16 03:22:08 Formal sciences Mathematical logic Logic in computer science IEEE Symposium on Logic in Computer Science Philosophical logic Kleene award Theoretical computer science Modal logic Description logic Logic Science Non-classical logic