CARMA Workshop on Computer-Aided Proof

Juliane Turner

<P>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.</P>

NeW Space, The University of Newcastle

Our {communityGuidelinesLink} describe the sort of content we prohibit on Eventbrite. If you suspect an event may be in violation, you can report it to us so we can investigate.

To report other categories of prohibited or illegal content, submit {link}

CARMA Workshop on Computer-Aided Proof

More events from Juliane Turner

Discover more events from Juliane Turner, from Science & Tech to other experiences you might love.

CARMA Workshop on Computer-Aided Proof

More events from Juliane Turner

Discover more events from Juliane Turner, from Science & Tech to other experiences you might love.

You might also like...

Browse more events with different dates, prices, and formats to find your next great experience.