Satellite Events
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
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
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