Dear SIGLOG Members, This year’s January issue of the SIGLOG Newsletter appeared. In this issue The SIGLOG Chair reports on some interesting events that took place last year and will take place in the new one. In his first Security and Privacy column, Steve Kremer presents an insightful work by Natasha Fernandes on optimality for… Continue reading »
Dear SIGLOG Members, This year’s October issue of the SIGLOG Newsletter appeared. In this issue We announce the winner of the 2022 Alonzo Church Award for Outstanding Contributions to Logic and Computation and present the Call for Nominations for the next edition of the Award. In the Automata Column, edited by Mahesh Viswanathan, Andreas Pavlogiannis… Continue reading »
The 2022 Alonzo Church Award for Outstanding Contributions to Logic and Computation is given to Dexter Kozen for for his fundamental work on developing the theory and applications of Kleene Algebra with Tests, an equational system for reasoning about iterative programs.
Dear SIGLOG Members, This year’s July issue of the SIGLOG Newsletter appeared. In this issue We announce the results of the 2022 ACM SIGLOG Election, and present Chair’s letters from both the outgoing and incoming Chairs. It is a great pleasure to introduce Mahesh Viswanathan as the new column editor for Automata. His first column… Continue reading »
The SIGLOG Executive Committee congratulates the following who won the election to SIGLOG offices for the term of 1 July 2022 – 30 June 2025: Chair: Catuscia Palamidessi Vice-Chair: Andrzej Murawski Secretary: Sandra Alves Treasurer: Elaine Pimentel
Dear SIGLOG Members, This year’s April issue of the SIGLOG Newsletter appeared. In this issue The SIGLOG Chair encourages members to participate in the 2022 ACM SIG Elections and to attend the forthcoming FLoC in Haifa. In Mike Mislove’s column on Semantics, Paul Levy expounds one of his favourite subjects: Call-By-Push-Value. In Jorge A. Pérez’s… Continue reading »
Dear SIGLOG Members, This year’s January issue of the SIGLOG Newsletter appeared. In this issue Frank Pfenning congratulates two SIGLOG members on becoming ACM Fellows. Nominations for the 2022 Alonzo Church Award are solicited until April 2. We present the current slate of candidates in the forthcoming SIGLOG elections. Additional candidates may still be placed… Continue reading »
Dear SIGLOG Members, This year’s October issue of the SIGLOG Newsletter appeared. In this issue SIGLOG’s Chair Frank Pfenning announces the Chair of the Nominating Committee for the next SIGLOG elections in 2022. In Ranko Lazić’s column on Verification, Antonı́n Kučera introduces us to the asymptotic analysis of VASS (Petri net) computations. Daniele Gorla reports… Continue reading »
Dear SIGLOG Members, This year’s July issue of the SIGLOG Newsletter appeared. In this issue The SIGLOG Chair Frank Pfenning reports on this year’s LICS and plans for next year. We announce the winners of the 2021 Alonzo Church Award for Outstanding Contributions to Logic and Computation. In the Verification column edited by Ranko Lazić,… Continue reading »
Dear SIGLOG Members, This year’s October issue of the SIGLOG Newsletter appeared. In this issue In the Chair’s letter, Frank Pfenning looks forward to this year’s LICS and next year’s FLoC. Véronique Bruyère surveys game-theoretic techniques in computer-aided synthesis in the Verification column edited by Ranko Lazić. We wrap up with the latest issue of… Continue reading »