|
FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
| Moshe Vardi Pages in this Program | All Proceedings Papers | | CAV 2022 All Papers | | CAV 2022 All Papers: Papers with Abstracts | | CAV on Sunday, August 7th | | CAV on Tuesday, August 9th | | CAV Program | | CSF on Sunday, August 7th | | CSF Program | | DL on Sunday, August 7th | | DL Program | | FLoC Program | | ITP on Sunday, August 7th | | ITP Program | | KR on Thursday, August 4th | | KR Program | | LogTeach on Monday, August 1st | | LogTeach Program | | NMR on Sunday, August 7th | | NMR Program | | Olympic Games on Sunday, August 7th | | Olympic Games Program | | Paper: Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition | | Program | | Program for Monday, August 1st | | Program for Sunday, August 7th | | Program for Thursday, August 4th | | Program for Tuesday, August 9th | | Slides | | Slides |
|
|
|
