| Geoff Sutcliffe Pages in this Program | All Proceedings Papers | | APPA 2014 VSL Proceedings | | APPA 2014 VSL Proceedings: Papers with Abstracts | | CAV on Monday, July 21st | | CAV on Sunday, July 20th | | CAV Program | | CSF on Sunday, July 20th | | CSF Program | | CSL-LICS on Sunday, July 20th | | CSL-LICS Program | | FLoC on Sunday, July 20th | | FLoC Program | | ICLP on Sunday, July 20th | | ICLP Program | | IJCAR 2014 LNCS proceedings | | IJCAR 2014 LNCS proceedings: Papers with Abstracts | | IJCAR on Monday, July 21st | | IJCAR on Sunday, July 20th | | IJCAR on Tuesday, July 22nd | | IJCAR Program | | IJCAR Program Committee | | ITP on Sunday, July 20th | | ITP Program | | KInAR Program Committee | | PAAR 2014 Proceedings | | PAAR 2014 Proceedings: Papers with Abstracts | | PAAR Call for Papers | | PAAR on Wednesday, July 23rd | | PAAR Program | | PAAR Program Committee | | Paper: Automated Theorem Proving using the TPTP Process Instruction Language | | Paper: Proof Generation for Saturating First-Order Theorem Provers | | Paper: StarExec: a Cross-Community Infrastructure for Logic Solving | | Paper: The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics | | Paper: The TPTP Process Instruction Language, with Applications | | Program | | Program for Friday, July 18th | | Program for Monday, July 21st | | Program for Sunday, July 20th | | Program for Thursday, July 17th | | Program for Tuesday, July 22nd | | Program for Wednesday, July 23rd | | QED on Friday, July 18th | | QED Program | | RTA-TLCA on Sunday, July 20th | | RTA-TLCA Program | | SAT on Sunday, July 20th | | SAT Program | | UITP 2014 Proceedings | | UITP 2014 Proceedings: Papers with Abstracts | | UITP on Thursday, July 17th | | UITP Program | | VSL on Sunday, July 20th | | VSL Program |
|
