Dear SIGLOG Members, This year’s October issue of the SIGLOG Newsletter appeared. We pay tribute to two recently deceased pre-eminent computer scientists: Mike Gordon and Maurice Nivat. The issue features three technical columns. Nathanaël Fijalkow discusses undecidable problems for probabilistic…
Newsletter July 2017
Dear SIGLOG Members, This year’s July issue of the SIGLOG Newsletter appeared. In this issue We announce the winners of this year’s Alonzo Church, LICS Test-of-Time and Kleene Awards! Luc Segoufin surveys the current state of the art in…
Winners of the 2017 Alonzo Church Award
The 2017 Alonzo Church Award for Outstanding Contributions to Logic and Computation is given jointly to Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria, Martin Hyland, Luke Ong, and Hanno Nickau for providing a fully-abstract semantics for higher-order computation through the introduction of game models, thereby fundamentally revolutionising the field of programming language semantics, and for the applied impact of these models.
Newsletter April 2017
Dear SIGLOG Members, This year’s April issue of the SIGLOG Newsletter appeared. In this issue Mikołaj Bojańczyk’s Automata column presents a category-theoretic perspective on automata and minimization in an article by Thomas Colcombet and Daniela Petrişan. Mai Gehrke and Andreas…
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…
Newsletter January 2017
Dear SIGLOG Members, This years January issue of the SIGLOG Newsletter appeared. In this issue We start off a new column highlighting contributions of distinguished members of the SIGLOG community. In the first edition, Luca Aceto spotlights the career of…
The 2017 Alonzo Church Award for Outstanding Contributions to Logic and Computation Call for Nominations
SIGLOG is calling for nominations for The Alonzo Church Award due by March 1, 2017. The details of the award and the nomination procedure for this year are described in this post.
Newsletter October 2016
Dear SIGLOG Members, The October issue of the SIGLOG Newsletter appeared. In this issue We pay tribute to one of the founding fathers of computer science, Boris A. Trakhtenbrot (1921-2016), with an obituary by Lawrence M. Fisher. We report on…
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.
ACM Election Over
The ACM election has ended. Here are the results for SIGLOG: Chair: Prakash Panangaden Vice-Chair: Luke Ong Secretary: Alexandra Silva Treasurer: Amy Felty The positions are hold for or the term of 1 July 2016 – 30 June 2019. All…