- The 2019 ASL Election
- 2020 S. Barry Cooper Prize to Bruno Courcelle
- 2020 Alonzo Church Award
- Update on Tuna Altinel
The 2019 ASL Election
In the 2019 election, Russell Miller and Reed Solomon were re-elected as Co-Secretary-Treasurers of the ASL. Anuj Dawar and Paola D'Aquino were elected to the Executive Committee, and Ralf Schindler and Keita Yokoyama were elected to the Council.
Each of their terms is for three years and began January 1, 2020.
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.
Update on Tuna Altinel
After being detained in Turkey starting on April 12, 2019, Tuna Altinel was definitively acquitted on September 7, 2020. He is still awaiting his passport so that he can return to his home in Lyon, France.