|
|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
| Moshe Vardi Pages in this Program | ADHS on Wednesday, July 11th | | ADHS Program | | All Proceedings Papers | | CAV All Papers | | CAV All Papers: Papers with Abstracts | | CAV on Tuesday, July 17th | | CAV Program | | CSF on Wednesday, July 11th | | CSF Program | | FLoC Program | | FSCD on Wednesday, July 11th | | FSCD Program | | ITP on Wednesday, July 11th | | ITP Program | | LICS on Monday, July 9th | | LICS on Thursday, July 12th | | LICS on Tuesday, July 10th | | LICS on Wednesday, July 11th | | LICS Program | | Paper: Automata vs Linear-Programming Discounted-Sum Inclusion | | Paper: First-Order vs. Second-Order Encodings for LTLf-to-Automata: An Extended Abstract | | Paper: Solving Parity Games: Explicit vs Symbolic | | Paper: Strategy Logic with Imperfect Information | | Program | | Program for Friday, July 13th | | Program for Monday, July 9th | | Program for Saturday, July 7th | | Program for Sunday, July 8th | | Program for Thursday, July 12th | | Program for Tuesday, July 10th | | Program for Tuesday, July 17th | | Program for Wednesday, July 11th | | SAT on Wednesday, July 11th | | SAT Program | | SCSC on Wednesday, July 11th | | SCSC Program | | SoMLMFM on Friday, July 13th | | SoMLMFM Program | | SR on Saturday, July 7th | | SR on Sunday, July 8th | | SR Program | | SR SR18 papers | | SR SR18 papers: Papers with Abstracts | | WiL on Sunday, July 8th | | WiL Program | | WiL Short Papers and Abstracts | | WiL Short Papers and Abstracts: Papers with Abstracts |
|
|
|
