My dissertation defense on Metamath Zero will be held next week! It's open to the public.
Please join us for the Final Public Oral Examination for the degree, Doctor of Philosophy in Pure and Applied Logic Mario Carneiro Title: Metamath Zero: From Logic, to Proof Assistant, to Verified Compiler Committee: Jeremy Avigad, Carnegie Mellon University, chair Thomas Hales, University of Pittsburgh Wilfried Sieg, Carnegie Mellon University John Harrison, Amazon Web Services Date & time: Mon, Jun 13 2022, 1:00 PM (45 minutes talk + questions) Location: (Baker Hall 150 or) Zoom: https://cmu.zoom.us/j/98691564266?pwd=R0ZSSk9qSS9QY3N5WnRLakJWcDJ4UT09 Thesis: https://digama0.github.io/mm0/thesis.pdf -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/CAFXXJStHOG9VBrUR7tnQF%2Bpsi_uYbaWW7hhEJwO1PUi9TM5Uxw%40mail.gmail.com.
