FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Radu Iosif
Affiliation: Verimag, CNRS, University of Grenoble Alpes
Web page: http://www-verimag.imag.fr/~iosif/
Pages in this Program
Accepted Papers
All Proceedings Papers
ASL on Sunday, July 31st
ASL Program
IJCAR 2022 Proceedings of IJCAR 2022
IJCAR 2022 Proceedings of IJCAR 2022: Papers with Abstracts
IJCAR on Wednesday, August 10th
IJCAR Program
Organization
Paper: Decision Problems in a Logic for Reasoning about Reconfigurable Distributed Systems
Program
Program for Sunday, July 31st
Program for Wednesday, August 10th
Slides
Slides
Slides