Geoff Sutcliffe
Geoff Sutcliffe
Unregistered User
Groups: Anyone
Posts in Gnu - Prolog
12
Show   Total: 30 items
Date Subject Count Location
CASC-J9 - the ATP System Competition - Call for Systems 0 replies Users
IJCAR 2018: Woody Bledsoe Student Travel Awards - Call for Applications 0 replies Users
ARQNL 2018 Final Call for Papers 0 replies Users
CICM 2018 - Call for Papers 0 replies Users
Bridging the Gap between Human and Automated Reasoning 0 replies Users
Verification and Deduction Mentoring Workshop 2018 0 replies Users
PAAR 2018 - Call for Papers 0 replies Users
ARQNL 2018 - Call for Papers 0 replies Users
AISC 2018 Call for Papers 0 replies Users
Special Issue on Commonsense Reasoning - Call for Papers 0 replies Users
RuleML+RR 2018 SECOND CALL FOR PAPERS 0 replies Users
25th AUTOMATED REASONING WORKSHOP 2018 0 replies Users
SAT/SMT/AR Summer School 2018 0 replies Users
FMCAD 2018 - Call for Papers 0 replies Users
CAV 2018 - Call for Papers 0 replies Users
IJCAR 2018 - Call for Papers 0 replies Users
Alonzo Church Award - Call for Nominations 0 replies Users
RuleML+RR 2018 - Call for Papers 0 replies Users
IJCAR 2018 - Call for Papers 0 replies Users
Artificial Intelligence and Theorem Proving 2018 - Call for Papers 0 replies Users
12