Dagsthul Seminar
SAT and Interactions

Schloss Dagsthul

Betwen October 13 and October 18, 2024 I was participating to my 6th Dagstuhl seminar, the Dagstuhl Seminar 24421 SAT and Interactions.