ACM Special Interest Group on Logic and Computation
It seems we can not find what you are looking for. Perhaps searching can help.
