February 13 – 18 , 2022, Dagstuhl Seminar 22072
Last update: May 8 2022

New Perspectives in Symbolic Computation and Satisfiability Checking

On-site participants

Remote participants



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