Hybrid Talk August 11th: Jonathan Weinberger – Synthetic and formalized reasoning about higher structures
Jonathan Weinberger (Chapman University) will join us for a talk on current developments in program verification and type theory. This will be interesting for...