FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Umberto Straccia
Affiliation: ISTI-CNR
Web page: http://www.umbertostraccia.it/cs/
Pages in this Program
KR on Thursday, August 4th
KR on Tuesday, August 2nd
KR on Wednesday, August 3rd
KR Program
NMR on Sunday, August 7th
NMR Program
Program
Program for Sunday, August 7th
Program for Thursday, August 4th
Program for Tuesday, August 2nd
Program for Wednesday, August 3rd
Slides
Slides