FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Orna Kupferman
Affiliation: Hebrew University of Jerusalem
Web page: http://www.cs.huji.ac.il/~ornak/
Pages in this 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 on Wednesday, August 3rd
LICS Program
Mentoring Workshop on Thursday, August 4th
Mentoring Workshop Program
Olympic Games on Thursday, August 4th
Olympic Games Program
Organization
Program
Program for Sunday, July 31st
Program for Thursday, August 4th
Program for Wednesday, August 3rd
SAT on Thursday, August 4th
SAT Program
VardiFest on Sunday, July 31st
VardiFest Program