Statement regarding recent US travel restrictions How can we overcome this attack on openness and inclusiveness?

The SIGLOG Executive Committee shares the concern of our parent organization, ACM and of other ACM Special Interest Groups about the Executive Order that has led to travel restrictions for citizens from a list of seven countries. We view these…

The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation

The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation is given to Rajeev Alur and David Dill for their invention of timed automata, a decidable model of real-time systems, which combines a novel, elegant, deep theory with widespread practical impact.