coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] PhD defense

From: Dan Dougherty <dd AT wpi.edu>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] PhD defense
Date: Sat, 29 May 2021 09:35:22 -0400
Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=wpi.edu; dmarc=pass action=none header.from=wpi.edu; dkim=pass header.d=wpi.edu; arc=none
Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=GBkqN1DUUmphm/4NJ+iMnNHjITbbmvAs+5lHJa3UTAI=; b=Cu1KpfIlXNbSePCn2fok4lizurJL1z39K5vW1gdnSDV5k5UxGvmHR2D/gkKBHyw2xTHWbLENY7gL7jx13qx/ankTTRtH5Qm0qTJf6Bog047hPtoqqiCHmSw4vpXQRs1l7NLRM7EC3y/sX36OJYIz04IgU24zP6aa09wrllwXne4+ItTUbIGIu/O9EYEXB2hPKHs4/RWXBCQmZqQ/mwtHStK4+HzVnJPVGTyO7veGKYbYd9pVmhNirWjR3Hfxpahc7Q1TdVJLRBdAX4t2rqRdwDphzioKllEOZzu3pC5dYqWARyLy4/BPenouHZCJS8LIm5VgHCiI+G/DzgbE+JuysA==
Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=Qnf5jDjQ6rTnSE2BG1zHuuI+5ipNKBrBJPYDvCdNbFWu4yjgsbLy23g0pjDAsn0H3h9tLjIuU3ViuTuVpNKAIfJS34IFSLlpsHpCQK//EiuvFPsIX6jC9U3PZDg9vAiMuSd7UvGvjOpWkLC/ZYO+ACcfUCq55QC1uqpWG7aFXwAMTfs+cjYE9fNoiaW+o22F9T2x2f7Ejwad1WrJsF77H5G6Hj5TRrgVXUy1lLnB3SNKRl0GeLzzIyXXwC4NtpdWUTVm5SBLEtjLyXHNXRhw6N7rL8tw7v8BIGU/wTF71pi+Hx+xEr5pRx9wij+9zVxQ16YlQxHKZZmR8tltMhLwPA==
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=dd AT wpi.edu; spf=Pass smtp.mailfrom=dd AT wpi.edu; spf=Pass smtp.helo=postmaster AT NAM11-CO1-obe.outbound.protection.outlook.com
Ironport-hdrordr: A9a23:8CtT66kapbzfQ4pXdwd3N4IjyW7pDfJZ3DAbv31ZSRFFG/Fw+PrDoB1273LJYUgqNk3I8OroUMK9qBjnmqKdj7N6AYuf
Ironport-phdr: A9a23:12RtuRelAfybwdaqZh+QHTcqlGM+fN7LVj580XLHo4xHfqnrxZn+JkuXvawr0AaYG9+Lurka0aL/iOPJYSQ4+5GPsXQPItRndiQuroEopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZvJuTyB4Xek9m72/q99pHOZwhEniSxbLB2IRm5rAjdqNQdjJd/JKo21hbHuGZDdf5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXMTRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KptVRTmijoINyQh/WHZiMN+jKxVrhG8qRJh34HUYY6aOeFifq/BZ94WWXZNUtpTWiFHH4iyb5EPD+0EPetAoYfyvV0OpgawCwmrGePvxT9IiWHs3a0m0+UqDAbL0xE9EN8VvnXUtNT1OL0MXu+o0anF1DPOZO5Z1jnh8obHaAwhoe2SUrJqd8rc0VQjGx3KgFiet4HoIT2Y2+cNvWWa4ORtWuKihmEnpgxsozWiwsghhIbJiIwbyl7J6Th0zZopKNGlR0B1b96pHZVWuiqHOYV2RcYiTHtpuCY80rAHt4a7fCkQxJs52hHfdvqKeJWL7BL7TOucLit0iGh4dL6jhRu+61asxvPgWsWuzVpGsihInsHSunwR0xHf8MuKR/tn8ku/xzqDyhrf5+FaLU0yiKHVMYQuwqQqmZoWqUnDHjH5mEHxjKKObksp5u+m5/n6brn/uJKSLpJ4hhj5Mqs1hMOzG+M4MhUSX2eA/uS8ybvj8lDjTLVSlP02lbXZv47GKsQHp665BAlV3pwk6xaiEzem1NMYnX4ELF5fZB2HiI3pN0nPIPD+E/i/n0yhnTh3y/zcI7HtHpfAImLdnLv/Ybpx8VNQxBYxwNxH4pJbELABIPb9Wk/rs9zYCwc0PBGpzOv8BtR9zoIeVXiRDaCELaPeqUWI6f43I+mQeI8Vvy7wJOQi5/73lHM2hVsdfbSy0pYMc3C5HvFmI12Dbnb2g9cBF30KvgskQ+Dwhl2CS20bW3HnVKUlozo/FYiODIHZR4nrjqbS8j28G8h6b2YOJleRHnflbZmVE6MAZAqNOs4nnzAZA+vyA7Q93A2j4Vepg4FsKfDZr3VwXXfLy8B0oeDfiENqndSVJ+K09jjUCkpTxyYPTTJw271jq0tgzFvFybJ/n/FTCd1U4bVOTxs+Mpnfied9DoKrMuouVsiRSRCrTsj0WFkM

Hi Talia,

I'd appreciate an invite to your defense.
You had me at the Acknowledgements section :-)

good luck Friday,
Dan Dougherty

On Fri, May 28, 2021 at 11:22 PM Talia Ringer <tringer AT cs.washington.edu>
wrote:
>
> Hi friends! I'll be defending my PhD thesis on proof repair a week from
> Friday, on June 4th. If anyone wants to come, please email me and I'll send
> you an invite.
>
> If you're not sure if you're interested, here's a draft of the thesis.
> Reading the abstract should suffice.
>
> Talia

--
Dan Dougherty
Professor of Computer Science
Worcester Polytechnic Institute
University Ombuds:
https://www.wpi.edu/offices/ombudsperson

[Coq-Club] PhD defense, Talia Ringer, 05/29/2021
- Re: [Coq-Club] PhD defense, Alex Shkotin, 05/29/2021
- Re: [Coq-Club] PhD defense, Ankit Kumar, 05/29/2021
- Re: [Coq-Club] PhD defense, Dan Dougherty, 05/29/2021