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