• 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: Carlos Olarte

Winner of the 2022 Alonzo Church Award

Posted on: 10 September 2022 Last updated on: 10 September 2022 Written by: Carlos Olarte Comments: 0

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.

Continue reading “Winner of the 2022 Alonzo Church Award”…

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 ↑