CALL FOR PAPERS Second International Conference on Formal Structures for Computation and Deduction (FSCD’17) 4 – 7 September 2017, Oxford, UK (in-cooperation with the ACM SIGLOG and SIGPLAN and co-located with ICFP 2

Source URL: www.cs.ox.ac.uk

Volume 2, Number 4 October 2015 Published by the Association for Computing Machinery Special Interest Group on Logic and Computation

Source URL: siglog.hosting.acm.org

Call for Nominations Editor-In-Chief ACM Transactions on Computational Logic The term of the current Editor-in-Chief (EiC) of the ACM Transactions on Computational Logic (TOCL) is coming to an end, and the ACM Publicatio

Source URL: tocl.acm.org

• Logic in computer science
• Computer scientists
• ACM Transactions on Computational Logic
• ACM SIGLOG
• Victor Vianu
• Computational logic
• Prakash Panangaden
• Association for Computing Machinery

Announcing a New Special Interest Group: SIGLOG Prakash Panangaden SIGLOG Chair April 22, 2014 Logic is often called the “calculus of computation” and computation has

Source URL: siglog.hosting.acm.org