FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Liron Cohen
Affiliation: Ben-Gurion University
Web page: https://www.cs.bgu.ac.il/~cliron/
Pages in this Program
FSCD on Wednesday, August 3rd
FSCD Program
ITP on Monday, August 8th
ITP on Sunday, August 7th
ITP Program
LICS on Thursday, August 4th
LICS Program
Mentoring Workshop on Monday, August 1st
Mentoring Workshop Program
Program
Program for Monday, August 1st
Program for Monday, August 8th
Program for Sunday, August 7th
Program for Thursday, August 4th
Program for Wednesday, August 3rd
Slides
Slides