Affiliated workshops

Acronym Name Edition
WST International Workshop on Termination 17th
IWC International Workshop on Confluence 9th
ARQNL International Workshop on Automated Reasoning in Quantified Non-Classical Logics 4th
GeoCat Geometric and Categorical Structures for Computation and deduction 1st
HoTT/UF Workshop on Homotopy Type Theory/Univalent Foundations 5th
IFIP WG 1.6 IFIP Working Group 1.6: Rewriting 23rd
LFMTP International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice 15th
Isabelle Isabelle Workshop
Linearity & TLLA Joint Workshop on Linearity and Trends in Linear Logic and Applications 2nd
Proof Ground 2nd
SMT International Workshop on Satisfiability Modulo Theories 18th
SCOT International Workshop on Semantic and formal approaches to COmplexiTy 1st
WPTE International Workshop on Rewriting Techniques for Program Transformations and Evaluation 7th
TERMGRAPH International Workshop on Computing with Terms and Graphs 11th
SC^2 Workshop on Satisfiability Checking and Symbolic Computation 5th
Coq The Coq Workshop 11th
ThEdu Theorem Prover Components for Educational Software 9th
Tutorial on Hacking Zipperposition 1st
Unif International Workshop on Unification 34th
WiL Women in Logic 5th
PAAR Workshop on Practical Aspects of Automated Reasoning 7th