| Andrei Voronkov Pages in this Program | All Proceedings Papers | | CAV 2014 LNCS Proceedings | | CAV 2014 LNCS Proceedings: Papers with Abstracts | | CAV on Sunday, July 20th | | CAV on Thursday, July 17th | | CAV on Tuesday, July 22nd | | CAV Program | | CSF on Sunday, July 20th | | CSF on Thursday, July 17th | | CSF Program | | CSL-LICS on Sunday, July 20th | | CSL-LICS on Thursday, July 17th | | CSL-LICS Program | | FLoC on Sunday, July 20th | | FLoC on Thursday, July 17th | | FLoC Program | | ICLP on Sunday, July 20th | | ICLP on Thursday, July 17th | | ICLP Program | | IJCAR on Sunday, July 20th | | IJCAR on Thursday, July 17th | | IJCAR on Tuesday, July 22nd | | IJCAR Program | | ITP on Sunday, July 20th | | ITP on Thursday, July 17th | | ITP Program | | Paper: AVATAR: The New Architecture for First-Order Theorem Provers | | Paper: First Class Boolean Type in First-Order Theorem Proving and TPTP | | Paper: First-Order Theorem Proving with Vampire | | Paper: Playing with AVATAR | | Paper: Reasoning in First-Order Theories with Extensionality | | Paper: SAT solving experiments in Vampire | | Program | | Program for Sunday, July 20th | | Program for Thursday, July 17th | | Program for Tuesday, July 22nd | | Program for Wednesday, July 23rd | | RTA-TLCA on Sunday, July 20th | | RTA-TLCA on Thursday, July 17th | | RTA-TLCA Program | | SAT on Sunday, July 20th | | SAT on Thursday, July 17th | | SAT Program | | Vampire 2014 Proceedings | | Vampire 2014 Proceedings: Papers with Abstracts | | Vampire Call for Papers | | Vampire on Wednesday, July 23rd | | Vampire Program | | Vampire Program Committee | | VSL on Sunday, July 20th | | VSL on Thursday, July 17th | | VSL Program |
|
