Organizing Parallel and Distributed Automated Reasoning 2022


The PDAR 2022 workshop is co-located at the Federated Logic Conference (a once in four year event) and features an exciting line up of speakers on parallel reasoning, as well as discussion sessions on this promising field.