On this page:
Participating Conferences
- Conference on Automated Deduction (CADE)
- Conference on Computer-Aided Verification (CAV)
- IEEE Symposium on Logic in Computer Science (LICS)
- Conference on Rewriting Techniques and Applications (RTA)
Organizers
General ChairMoshe Y. Vardi Conference ChairFausto Giunchiglia Publicity ChairLeonid Libkin Workshops ChairAdolfo Villafiorita |
OrganizationMoshe Y. Vardi (General Chair) |