SIGLOG - Special Interest Group on Logic and Computation
The ACM Special Interest Group on Logic and Computation is the premier international community for the advancement of logic and computation, and formal methods in computer science, broadly defined.
SIGLOG benefits for FY 2025
Member Benefits provided to SIGLOG Members:
- Reduced registration for SIGLOG sponsored conferences.
- Reduced registration for conferences in cooperation with SIGLOG.
- SIGLOG News, a quarterly containing research surveys in areas relevant to SIGLOG (distributed electronically)
- Discounted membership for SIGLOG members joining EATCS (European Association for Theoretical Computer Science) or EACSL (European Association for Computer Science Logic).
Community Benefits:
- Sponsorship of ACM-IEEE Symposium on Logic in Computer Science.
- In cooperation sponsorship of the Conference Mathematical Foundations of Programming Semantics
- SIGLOG website
- SIGLOG Monthly, an electronic newsletter sent out monthly to the LICS mailing list (consisting of calls for papers and participation as well as job adverts)
- SIGLOG also communicates through Facebook and Twitter.
- SIGLOG Alonzo Church Award
- Support of summer schools
- Support of the Logic Mentoring Workshop
- Support of the Women in Logic meeting (typically affiliated with LICS).