FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Catuscia Palamidessi
Affiliation: INRIA
Web page: http://www.lix.polytechnique.fr/~catuscia/
Pages in this Program
CP on Tuesday, August 2nd
CP Program
CSF on Wednesday, August 10th
CSF 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 Tuesday, August 2nd
Mentoring Workshop Program
Program
Program for Tuesday, August 2nd
Program for Wednesday, August 10th
SAT on Tuesday, August 2nd
SAT Program