|
FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
| Nachum Dershowitz Pages in this Program ABR on Monday, August 1st | ABR Program | CP on Monday, August 1st | CP Program | FLoC Program | FOMEO on Monday, August 1st | FOMEO Program | FoMLAS on Monday, August 1st | FoMLAS Program | FSCD on Tuesday, August 2nd | FSCD Program | GDE on Monday, August 1st | GDE Program | HoTT/UF on Monday, August 1st | HoTT/UF Program | IWC on Monday, August 1st | IWC Program | LFMTP on Monday, August 1st | LFMTP Program | LogTeach on Monday, August 1st | LogTeach Program | Mentoring Workshop on Monday, August 1st | Mentoring Workshop Program | PC on Monday, August 1st | PC Program | PCCR on Monday, August 1st | PCCR Program | PLP on Monday, August 1st | PLP Program | POS on Monday, August 1st | POS Program | Program | Program for Monday, August 1st | Program for Tuesday, August 2nd | QBF on Monday, August 1st | QBF Program | REAI on Monday, August 1st | REAI Program | TERMGRAPH on Monday, August 1st | TERMGRAPH Program | TLLA-LINEARITY on Monday, August 1st | TLLA-LINEARITY Program | VardiFest on Monday, August 1st | VardiFest Program |
|
|
|