FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Giuseppe De Giacomo
Affiliation: Sapienza Univ. Roma
Web page: http://www.diag.uniroma1.it/degiacomo
Pages in this Program
All Proceedings Papers
KR on Friday, August 5th
KR on Tuesday, August 2nd
KR on Wednesday, August 3rd
KR Program
Paper: LTLf? It's Easy! Precisely!
Program
Program for Friday, August 5th
Program for Monday, August 1st
Program for Sunday, July 31st
Program for Tuesday, August 2nd
Program for Wednesday, August 3rd
VardiFest on Monday, August 1st
VardiFest on Sunday, July 31st
VardiFest Program
VardiFest22 Talk Abstracts
VardiFest22 Talk Abstracts: Papers with Abstracts