FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Orna Grumberg
Affiliation: Technion
Web page: http://www.cs.technion.ac.il/~orna
Pages in this Program
CAV on Tuesday, August 9th
CAV on Wednesday, August 10th
CAV Program
CP on Thursday, August 4th
CP Program
FLoC Program
FSCD on Thursday, August 4th
FSCD Program
ICLP on Thursday, August 4th
ICLP Program
KR on Thursday, August 4th
KR Program
LICS on Thursday, August 4th
LICS Program
Mentoring Workshop on Thursday, August 4th
Mentoring Workshop Program
Olympic Games on Thursday, August 4th
Olympic Games Program
Program
Program for Thursday, August 4th
Program for Tuesday, August 9th
Program for Wednesday, August 10th
SAT on Thursday, August 4th
SAT Program