On this page:
Participating Conferences
- Conference on Automated Deduction (CADE)
- Conference on Computer-Aided Verification (CAV)
- Formal Methods Europe (FME)
- International Conference on Logic Programming (ICLP)
- IEEE Symposium on Logic in Computer Science (LICS)
- Conference on Rewriting Techniques and Applications (RTA)
- International Conference on Automated Reasoning with Analytic Tableaux and Related Method (TABLEAUX)
Organizers
General ChairMoshe Y. Vardi Harald Ganzinger (Associate General Chair) Conference ChairNeil D. Jones Publicity ChairMartin Grohe |
OrganizationMoshe Y. Vardi (General Chair) |