ConferencesACM Symposium on Principles of Programming Languages
(POPL)
ACM Symposium on Theory of
Computing (STOC)
ACM-SIAM Symposium on Discrete Algorithms (SODA)
Computer Aided Verification, International Conference (CAV)
Concurrency Theory, International Conference (Concur)
Design Automation Conference (DAC)
Design, Automation and Test
in Europe (DATE)
IEEE Symposium on Foundations of Computer Science (FOCS)
IEEE Symposium on
Logic in Computer Science (LICS)
International Conference on
Computer-Aided Design (ICCAD)
International Conference on
Computer Design (ICCD)
International Workshop on Logic and
Synthesis (IWLS)
Formal Methods in Computer-Aided Design, International Conference (FMCAD)
Tools and Algorithms for the Construction and Analysis of Systems,
International Conference (TACAS)