About a week ago I attended the Dagstuhl workshop 22411 “Theory and Practice of SAT and Combinatorial Solving”. Dagstuhl workshops are one-week events that gather researchers in some topic from across the world to Schloss Dagstuhl – Leibniz-Zentrum für Informatik for a week of presentations on ongoing work and networking. Compared to most conferences, the topics on the workshop are more focused and the atmosphere more relaxed, facilitating more inspiring discussions.

I would like to thank the organisers of the workshop for inviting me. I had a great and inspiring time. Hopefully, the connections made and discussions had will lead to a lot of interesting research in the future!

See you in June of 2023 for the next workshop!