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 

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 

8th Logical and Semantic Frameworks with Applications (LSFA 2023) 

11th International Workshop on Higher-Order Rewriting (HOR 2023)
Website