Hey Mario, I've been enjoying your thesis and just wanted to wish you luck with your defence today :)
On Wednesday, June 8, 2022 at 4:49:28 AM UTC+1 [email protected] wrote: > 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/f32dac48-4a2c-4627-aae3-42589b594a67n%40googlegroups.com.
