20 - 22 September 2022, Proofs and Formalization in Logic, Mathematics and Philosophy , Utrecht

On 20-22 September the workshop Proofs and Formalization in Logic, Mathematics and Philosophy takes place at Utrecht University, the Netherlands.

The workshop aims to bring together researchers from various areas whose work either directly concerns the role of proofs or formalization in logic, mathematics and philosophy, or is relevant for these topics in a more indirect way, e.g. by being an example of the role proofs or formalization play in these fields.

There is no registration fee, but if you wish to attend (part of) the workshop, please send an email to Rosalie Iemhoff and Robin Martinot: r.iemhoff at uu.nl, r.a.martinot at uu.nl.