To clarify, that is Mon, Jun 13 2022, 1:00 PM EDT On Tue, Jun 7, 2022 at 11:45 PM Mario Carneiro <[email protected]> wrote:
> 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/CAFXXJSumtQii7RmREwdAcV5S%2Bcw%3DkD7-i9JYhfWGE_Ladtqyiw%40mail.gmail.com.
