SIGLOG - Special Interest Group on Logic and Computation

JOIN

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 2018:

Member Benefits provided to SIGLOG Members:

  • Reduced registration for SIGLOG sponsored conferences.
  • Reduced registration for conferences in cooperation with SIGLOG
  • SIGLOG electronic newsletter; distributed electronically to all members of SIGLOG.
  • Discounted membership for SIGLOG members joining EATCS and/or EACSL

Community Benefits provided by SIGLOG

  • Sponsorship of ACM-IEEE Symposium on Logic In Computer Science.
  • In cooperation sponsorship of the Conference on Algebra and Co-algebra ,  Mathematical Foundations of Programming Semantics and the  workshop on Certified Proofs and Programs
  • SIGLOG website
  • SIGLOG also communicates through Facebook and Twitter.
  • SIGLOG Alonzo Church Award
  • Reduced membership rates for members of EATCS (European Association for   Theoretical Computer Science) or EACSL (European Association for Computer Science Logic)

                          1. 2293231337 2018-01-19
                          2. 5786971336 2018-01-19
                          3. 601991335 2018-01-19
                          4. 9012031334 2018-01-19
                          5. 1833931333 2018-01-19
                          6. 6409401332 2018-01-19
                          7. 628651331 2018-01-19
                          8. 62571330 2018-01-19
                          9. 51871329 2018-01-19
                          10. 39911328 2018-01-19
                          11. 2434161327 2018-01-19
                          12. 6616891326 2018-01-19
                          13. 3279471325 2018-01-19
                          14. 2229341324 2018-01-19
                          15. 4927031323 2018-01-19
                          16. 9809881322 2018-01-19
                          17. 628451321 2018-01-19
                          18. 872891320 2018-01-19
                          19. 6489591319 2018-01-19
                          20. 3588071318 2018-01-18