EN
PT
Login
Start
End
Home
Profile
Logout
loading...
UC.PT
International Joint Conference on Automated Reasoning
Path
›
UC.PT
›
English Version
›
Events
›
International Joint Conference on Automated Rea...
›
WorkShops
Home
General Information
Local Information
Registration
Programme
Submissions
WorkShops
Past Conferences
Next Conferences
Photos of the Event
News
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