ACM Special Interest Group on Logic and Computation