CADE satellite events

ADeMaL: Automated Deduction for Machine Learning  – Date: 05 July
Website

Vampire 2023: The 7th Vampire Workshop – Date: 05 July
Website

Theorem Proving Components for Educational Software (ThEdu’23) – Date: 05 July
Website 

SMT’23: The 21st International Workshop on Satisfiability Modulo Theories – Date: 05-06 July
Website 

The CADE ATP System Competition (CASC)
Website 

FSCD satellite events

International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP) – Date: 02 July
Website 

UNIF 2023: The 37th International Workshop on Unification –  Date: 02 July
Website 

Tenth International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2023) – Date: 01 July
Website 

DCM 2023 – 13th International Workshop on Developments in Computational Models – Date: 02 July
Website 

Seventh International Workshop on Trends in Linear Logic and Applications, TLLA 2023 – Date: 01-02 July
Website

IFIP WG 1.6 – Date: 05 July
Website
“except for the business meeting, this event is open to the general public”

Women in Logic (WIL) 2023 – Date: 01 July
Website 

18th Logical and Semantic Frameworks with Applications (LSFA 2023)  – Date: 01-02 July
Website

11th International Workshop on Higher-Order Rewriting (HOR 2023) – Date: 04 July
Website