Satellite Events
CADE satellite events
ADeMaL: Automated Deduction for Machine Learning
Website
Theorem Proving Components for Educational Software (ThEdu’23)
Website
SMT’23: The 21st International Workshop on Satisfiability Modulo Theories
Website
The CADE ATP System Competition (CASC)
Website
FSCD satellite events
International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP)
Website
Website
Tenth International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2023)
Website
DCM 2023 – 13th International Workshop on Developments in Computational Models
Website
Seventh International Workshop on Trends in Linear Logic and Applications, TLLA 2023
IFIP WG 1.6
Website
Please specify: “except for the business meeting, this event is open to the general public”
Women in Logic (WIL) 2023
Website
11th International Workshop on Higher-Order Rewriting (HOR 2023)
Website