|
|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
| André Platzer Pages in this Program | All Proceedings Papers | | FM FMComplete | | FM FMComplete: Papers with Abstracts | | FM on Monday, July 16th | | FM Program | | IJCAR on Sunday, July 15th | | IJCAR Proceedings 9th IJCAR, 2018 | | IJCAR Proceedings 9th IJCAR, 2018: Papers with Abstracts | | IJCAR Program | | ITP on Monday, July 9th | | ITP Program | | LICS on Thursday, July 12th | | LICS PDF files | | LICS PDF files: Papers with Abstracts | | LICS Program | | Paper: A Hybrid, Dynamic Logic for Hybrid-Dynamic Information Flow | | Paper: Differential Equation Axiomatization: The Impressive Power of Differential Ghosts | | Paper: Uniform Substitution for Differential Game Logic | | Paper: Vector Barrier Certificates and Comparison Systems | | Program | | Program for Friday, July 13th | | Program for Monday, July 16th | | Program for Monday, July 9th | | Program for Sunday, July 15th | | Program for Thursday, July 12th | | SoMLMFM on Friday, July 13th | | SoMLMFM Program |
|
|
|
