Dagsthul Seminar
SAT and Interactions

workshops
Date

October 12, 2024

Schloss Dagsthul

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