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 ...

In September 2019, I attended the 13th Alpine Verification Meeting (AVM’19) in Brno, Czechia. The meeting took place from September 9–11, 2019, and was jointly organized by the Faculty of Informati...

In July 2019, I attended the SAT/SMT/AR Summer School 2019 in Lisbon, Portugal. It was the first summer school I attended during my PhD, which made the experience especially memorable. Beyond four ...