|
FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
| Alexandra Silva Pages in this Program CP on Tuesday, August 2nd | CP Program | FLoC Program | FSCD on Tuesday, August 2nd | FSCD Program | ICLP on Tuesday, August 2nd | ICLP Program | KR on Tuesday, August 2nd | KR Program | LICS on Tuesday, August 2nd | LICS Program | Mentoring Workshop on Friday, August 5th | Mentoring Workshop on Tuesday, August 2nd | Mentoring Workshop Program | Program | Program for Friday, August 12th | Program for Friday, August 5th | Program for Tuesday, August 2nd | SAT on Tuesday, August 2nd | SAT Program | VeriProp on Friday, August 12th | VeriProp Program |
|
|
|