• 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 ↑

Author: Henning

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”…

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 ↑