On this page:
Participating Conferences
- Conference on Computer-Aided Verification (CAV)
- International Conference on Logic Programming (ICLP)
- International Joint Conference on Automated Reasoning (IJCAR)
- IEEE Symposium on Logic in Computer Science (LICS)
- Conference on Rewriting Techniques and Applications (RTA)
- International Conference on Theory and Applications of Satisfiability Testing (SAT)
Organizers
General ChairMoshe Y. Vardi Conference ChairThomas Ball Jakob Rehof Publicity ChairStephan Kreutzer Nicole Schweikardt |
OrganizationMoshe Y. Vardi (General Chair) |