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.
Here 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.
Lisa Lippincott designed the software architectures of Tanium and BigFix, two systems for managing large fleets of computers. She is chair of the numerics study group of the C++ standardization committee.
Registration is now open. Tickets are now available for both online attendees and in-person attendees. Register today!
The
Again this year, CppCon is running a Diversity & Attendance Support Ticket program. These free tickets are for people who would not be able to attend otherwise. This is an open program, but reasons to apply may include financial assistance, that you are part of an underrepresented group in tech, and others.


Spend a fun-filled Sunday on September 11th with fellow attendees as explore these alien worlds and enjoy a Denver culinary tradition.
Erik Rainey will be in Aurora, live in person to deliver a keynote address on C++ in embedded firmware.
This presentation covers what the execution environment of an embedded “superloop” firmware is in order to describe later why certain C++14 language and library features are used and others are not. This environment lacks many basic features and capabilities that traditional C++ programmers may think are common place but is able to be programmed in C++14 (and later) with a specific design paradigms and guidelines. Programmers with deeply embedded C experience will be familiar with some of the limitations of the environment but may find the C++ solutions quite refreshing! The talk will conclude with some comments on C++17 / C++20 features which will be quite valuable to embedded environments of all types.
Daniela Engert will be in Aurora, live in person to deliver a keynote that takes us on a journey through modern C++.

CppCon 2022 will kick off on Monday, September 12 with Bjarne Stroustrup delivering the traditional opening keynote live in person in Aurora.
C++ in Constrained Environments
Registration is