FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
PC 2022 PROGRAM PAPERS: EDITOR'S PREFACE

This volume contains the papers presented at PC 2022: Workshop on Proof Complexity 2022 held on July 31-August 1, 2022 in Haifa.


Olaf Beyersdorff
Jan Johannsen
Marc Vinyals