loading...

UC.PT

International Joint Conference on Automated Reasoning

WorkShops & CASC

Workshops

GeTFun (Compositional Meaning in Logic)
July 1st-2nd, Webpage
SMT (Satisfiability Modulo Theories)
July 1st-2nd, Webpage
ARQNL (Automated Reasoning in Quantified Non-Classical Logics)
July 1st, Webpage
HaTT (Hammers for Type Theories)
July 1st, Webpage
UITP (User Interfaces for Theorem Provers)
July 2nd, Webpage
PAAR (Practical Aspects of Automated Reasoning)
July 2nd, Webpage
Vampire
July 2nd, Webpage

CASC

The CADE ATP System Competition
June 29th, Webpage