I am honored to serve on the Steering Committee of TYPES, the oldest conference about all aspects of type theory and its applications.