Satellite Events

FSCD satellite events

 

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

UNIF 2023: The 37th International Workshop on Unification
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 

CADE satellite events

ADeMaL: Automated Deduction for Machine Learning 
Website

Vampire 2023: The 7th Vampire Workshop 
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