FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Alexandra Silva
Affiliation: Cornell University
Web page: http://www.alexandrasilva.org
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