November 21 – 26 , 2021, Dagstuhl Seminar 21472
Last update: December 8 2021

Geometric Logic, Constructivisation, and Automated Theorem Proving

On-site participants

Remote participants



In case of mistakes or questions regarding the links to dblp, please contact Michael Wagner