31 July - 12 August 2022, The Eighth Federated Logic Conference (FLoC 2022), Haifa, Israel
The Eighth Federated Logic Conference (FLoC 2022) will host the following ten conferences and affiliated workshops:
- FSCD (7th International Conference on Formal Structures for Computation and Deduction)
- ITP (13th International Conference on Interactive Theorem Proving)
- IJCAR (International Joint Conference on Automated Reasoning)
Researchers and practitioners are invited to submit proposals for workshops on topics in the field of computer science, related to logic in the broad sense. Each workshop proposal must indicate one affiliated conference of FLoC 2022.
Each proposal should consist of an organisational part, and a short scientific justification of the proposed topic, its significance, and the particular benefits of the workshop to the community, as well as a list of previous or related workshops (if relevant). It is strongly suggested that prospective workshop organizers contact the relevant conference workshop chair before submitting a proposal.