Author Archives: siglog

Newsletter July 2022

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 »

SIGLOG Election Results 2022

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

Newsletter April 2022

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 »

Newsletter January 2022

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 »

Newsletter July 2021

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 »

Newsletter April 2021

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 »

Newsletter January 2021

Dear SIGLOG Members, This year’s January issue of the SIGLOG Newsletter appeared. In this issue Frank Pfenning, the SIGLOG chair, gives us an update on SIGLOG-related matters. We solicit nominations for the 2021 Alonzo Church Award for Outstanding Contributions to Logic and Computation. As usual, we wrap up with the latest issue of the SIGLOG… Continue reading »

Newsletter October 2020

Dear SIGLOG Members, This year’s October issue of the SIGLOG Newsletter appeared. In this issue Frank Pfenning, the SIGLOG chair, reports on a recent online meeting of the ACM SIG Governing Board. In Ranko Lazic’s Verification column, Mohamed Faouzi Atig gives an overview of complexity results regarding concurrent programs running under the TSO memory model…. Continue reading »