SIGLOG - Special Interest Group on Logic and Computation

The ACM Special Interest Group on Logic and Computation is the premier international community for the advancement of logic and computation, and formal methods in computer science, broadly defined.