- 2020 S. Barry Cooper Prize to Bruno Courcelle
- 2020 Alonzo Church Award
2020 S. Barry Cooper Prize to Bruno Courcelle
The Association, Computability in Europe, has awarded the first S. Barry Cooper prize to Bruno Courcelle for his work on the definability of graph properties in monadic second order logic. For the full citation, please see: https://www.acie.eu/2020/06/03/2020-s-barry-cooper-prize-awarded-to-bruno-courcelle/.
2020 Alonzo Church Award
The ACM Special Interest Group on Logic (SIGLOG), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), and the Kurt Gödel Society (KGS) recently announced that Ronald Fagin, Phokion G. Kolaitis, Renée J. Miller, Lucian Popa, and Wang Chiew Tan have been selected as the winners of the 2020 Alonzo Church Award for Outstanding Contributions to Logic and Computation in recognition of their groundbreaking work on laying the logical foundations for data exchange, as described in the papers below:
(1) Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Renée J. Miller. Data exchange: Semantics and Query Answering, Proceedings of the 9th International Conference on Database Theory (ICDT 2003), pp. 207-223, 2003. Full journal version: Theoretical Computer Science, Vol. 336, No. 1, pp. 89-124, 2005.
(2) Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wang Chiew Tan. Composing Schema Mappings: Second-Order Dependencies to the Rescue, Proceedings of the 23rd ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS 2004), pp. 83-94, 2004. Full journal version: ACM Transactions on Database Systems, Vol. 30, No. 4, pp. 994-1055, 2005.