| Andrei Popescu Pages in this Program | All Proceedings Papers | | CAV 2014 LNCS Proceedings | | CAV 2014 LNCS Proceedings: Papers with Abstracts | | CAV on Saturday, July 19th | | CAV Program | | CSF on Saturday, July 19th | | CSF Program | | IJCAR 2014 LNCS proceedings | | IJCAR 2014 LNCS proceedings: Papers with Abstracts | | IJCAR on Saturday, July 19th | | IJCAR Program | | Isabelle 2014 Papers (Unrefereed) | | Isabelle 2014 Papers (Unrefereed): Papers with Abstracts | | Isabelle on Sunday, July 13th | | Isabelle Program | | ITP 2014 LNCS Proceedings | | ITP 2014 LNCS Proceedings: Papers with Abstracts | | ITP on Monday, July 14th | | ITP on Tuesday, July 15th | | ITP Program | | Paper: A Conference Management System with Verified Document Confidentiality | | Paper: Cardinals in Isabelle/HOL | | Paper: From types to sets in Isabelle/HOL | | Paper: Truly Modular (Co)datatypes for Isabelle/HOL | | Paper: Unified Classical Logic Completeness: A Coinductive Pearl | | Program | | Program for Monday, July 14th | | Program for Saturday, July 19th | | Program for Sunday, July 13th | | Program for Tuesday, July 15th |
|
