New Frontiers in Proofs and Computation

Confirmed Participants

Name Affiliation