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.

Still looking for the right event?

Explore all events in Newcastle and filter by date, category, and more to find the perfect fit.

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.

More Science & Tech events

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

Still looking for the right event?

Explore all events in Newcastle and filter by date, category, and more to find the perfect fit.