CppCon 2022 Online Keynote: Principia Mathematica by Lisa Lippincott Live, In Person
Will you attend?
CppCon 2022 Online Keynote: Principia Mathematica
by Lisa Lippincot
From the article:
Lisa Lippincott will be online for a talk that takes its title from Bertrand Russell’s and Alfred North Whitehead’s logicist tour de force, Principia Mathematica.Lisa LippincottHere is the abstract for her talk:
The C++ integral arithmetic operations present a challenge in formal interface design. Their preconditions are nontrivial, their postconditions are exacting, and they are deeply interconnected by mathematical theorems. I will address this challenge, presenting interfaces, theorems, and proofs in a lightly extended C++.This talk takes its title from Bertrand Russell’s and Alfred North Whitehead’s logicist tour de force, Principia Mathematica. It echoes that work in developing arithmetic from first principles, but starts from procedural first principles: stability of objects, substitutability of values, and repeatability of operations.
In sum, this talk is one part formal interface design, one part tour of C++ integral arithmetic, one part foundations of arithmetic, and one part writing mathematical proofs procedurally.

Another keynote for CppCon which starts in just 9 days...
The
Flying Amazon drones on C++:
The third CppCon 2022 keynote has been announced! Daniela Engert is the world's top guru on C++ modules who isn't one of the compiler implementers, and will speaking about modules and so much more:
CppCon 2022 will kick off on Monday, September 11 with Bjarne Stroustrup delivering the traditional opening keynote live in person in Aurora. Bjarne’s annual opening keynote for CppCon is one of the most anticipated and most watch talks in C++, and among the most viewed presentations on the
A CppCon 2022 talk has been announced: