PAAR and the SAT/SMT/AR/CP Summer School at FLoC 2022
In August 2022, I travelled to Haifa, Israel, to take part in the 8th Workshop on Practical Aspects of Automated Reasoning (PAAR 2022) and the SAT/SMT/AR/CP Summer School 2022. The two events were held at the Technion – Israel Institute of Technology around FLoC 2022, bringing together researchers and students working across logic, verification, constraint solving, and automated reasoning.
PAAR and the Summer School at FLoC 2022
FLoC 2022—the 8th Federated Logic Conference—took place from July 31 to August 12, 2022, at the Technion in Haifa. It brought a large collection of conferences and workshops in mathematical logic and computer science together in one place.
PAAR 2022 was held on August 11–12 and was co-located with FLoC and the 11th International Joint Conference on Automated Reasoning (IJCAR 2022). The workshop focused on the practical side of automated reasoning: the implementation of reasoning tools, solver techniques and heuristics, evaluation and benchmarking, and applications of automated reasoning to real problems.
Immediately after FLoC, the SAT/SMT/AR/CP Summer School ran from August 14–17 at the same campus. Its lectures covered Boolean satisfiability (SAT), satisfiability modulo theories (SMT), and automated reasoning (AR), together with a dedicated day on constraint programming (CP) and its connections to SAT. Attending both events created a useful progression from current research and practical systems at PAAR to a broader and more structured view of the field at the summer school.
Presenting My Work at PAAR
At PAAR, I presented our published paper, “Exploring Representation of Horn Clauses using GNNs,” co-authored with Philipp Rümmer and Marc Brockschmidt. The work explored how graph neural networks can represent Horn clauses, connecting machine learning with automated reasoning and the solving of logical constraints. The presentation was part of the afternoon programme on August 11.
The paper, BibTeX entry, DOI record, and presentation slides are available online.
After the workshop, I stayed at the Technion for the summer school, attended the lectures, and continued exchanging ideas with researchers and students working on SAT, SMT, automated reasoning, and constraint programming.
Moments from Haifa
