• Skip to main navigation
  • Skip to main content
  • Skip to footer
ACM Special Interest Group on Logic and Computation

ACM Special Interest Group on Logic and Computation

  • News
  • About
    • Chair’s statement
    • Bylaws of SIGLOG
  • People
  • Conferences
    • SIGLOG’s Diversity Policy
    • SIGLOG In-Cooperation Proposal 
    • SIGLOG Sponsorship Proposal
    • SIGLOG Conference Anti-Harassment Policy
  • Awards
    • Alonzo Church Award
  • Publications
  • Membership
  • Skip to menu toggle button
  • Facebook
  • Back to top ↑

Category: News

Newsletter January 2023

Posted on: 18 January 2023 Last updated on: 18 January 2023 Written by: siglog Comments: 0
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…
Continue reading “Newsletter January 2023”…

Newsletter October 2022

Posted on: 9 December 2022 Last updated on: 9 December 2022 Written by: siglog Comments: 0
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…
Continue reading “Newsletter October 2022”…

Newsletter July 2022

Posted on: 21 July 2022 Last updated on: 21 July 2022 Written by: siglog Comments: 0
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…
Continue reading “Newsletter July 2022”…

SIGLOG Election Results 2022

Posted on: 21 July 2022 Last updated on: 21 July 2022 Written by: siglog Comments: 0
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
Continue reading “SIGLOG Election Results 2022”…

Newsletter April 2022

Posted on: 10 May 2022 Last updated on: 13 May 2022 Written by: siglog Comments: 0
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…
Continue reading “Newsletter April 2022”…

Newsletter January 2022

Posted on: 8 March 2022 Last updated on: 8 March 2022 Written by: siglog Comments: 0
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…
Continue reading “Newsletter January 2022”…

Newsletter October 2021

Posted on: 26 October 2021 Last updated on: 26 October 2021 Written by: Henning Comments: 0
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…
Continue reading “Newsletter October 2021”…

Newsletter July 2021

Posted on: 7 September 2021 Last updated on: 27 September 2021 Written by: siglog Comments: 0
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…
Continue reading “Newsletter July 2021”…

Newsletter April 2021

Posted on: 29 May 2021 Last updated on: 29 May 2021 Written by: siglog
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…
Continue reading “Newsletter April 2021”…

Newsletter January 2021

Posted on: 15 March 2021 Last updated on: 29 May 2021 Written by: siglog Comments: 0
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…
Continue reading “Newsletter January 2021”…
1 2 3 4 Next page »

Search

Calendar

There are no upcoming events.

Social

  • Facebook
© 2023 ACM Special Interest Group on Logic and Computation | Using Reykjavik WordPress theme. | Back to top ↑
  • Facebook
  • Back to top ↑