CARMA Workshop

CARMA Workshop on Computer-Aided Proof

Wednesday, 5th Jun 2019 — Friday, 7th Jun 2019


Computers are playing an increasingly important role in the creation and verification of mathematical proofs. This role is expected to become central in the future of mathematics. This workshop will bring together experts in computer proof assistants, formal proof verification systems, formal foundations of mathematics and related topics. The intended audience will be working mathematicians and graduate students, who are not necessarily experts in formal mathematics. Please visit the workshop website for more information.