coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Talia Ringer <tringer AT cs.washington.edu>
- To: Coq-Club <coq-club AT inria.fr>
- Subject: Re: [Coq-Club] PhD defense
- Date: Sat, 5 Jun 2021 13:14:51 -0700
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=tringer AT cs.washington.edu; spf=Pass smtp.mailfrom=tringer AT cs.washington.edu; spf=None smtp.helo=postmaster AT mail-ed1-f45.google.com
- Ironport-hdrordr: A9a23:RD1Tlagf+lNhm5ucHTx8KDBK8nBQXuMji2hC6mlwRA09TyX4rbHWoB1/73XJYVkqKRQdcLy7Scu9qDbnhP1ICOoqXItKPjOW3FdARbsKheDfKn/bexEWndQtspuIHZIObuEYzmIXsS852mSF+hobr+VvOZrHudvj
- Ironport-phdr: A9a23:K4XLaBaPBE/0c70v0ct/kTD/LTGY0IqcDmcuAnoPtbtCf+yZ8oj4OwSHvLMx1Q6PBt2AoKsf16L/iOPJYSQ4+5GPsXQPItRndiQuroEopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZvJuTyB4Xek9m72/q99pHOZwhEnjSwba98IRm5sAncuMYbipZ+J6gszRfEvmFGcPlMy2NyIlKTkRf85sOu85Nm7i9dpfEv+dNeXKvjZ6g3QqBWAzogM2Au+c3krgLDQheV5nsdSWoZjBxFCBXY4R7gX5fxtiz6tvdh2CSfIMb7Q6w4VSik4qx2ThLjlSUJOCMj8GzPhcNwgqBUrhKvqRJ83oDafp2aOeFkca/BZ94XX3ZNUtpTWiFHH4iyb5EPD+0EPetAsYfyvV8OrRqkCgKxGO3vyzlIhnDo0q0gzu8sFh3G3BYhH9IIv3Tbss/1ObwOXuCu1qXJwy/Mb+hW2Tf87ojIfQwhofaKXb5qb8Xe1FQvGhrDg16NpoPrIymb2f4Rs2iH8eVgT+SvhnY6pwx+vzSiyNkhh5XLi4wVyl7J6yF0zYI7K9C7VUJ2YNCpHptMuiyVOYV7XMEvTm9rtSs1xbALvZ+2cDYUxJkowRPUdvKJc4+N4h35VeaRJy91hXJieLKimxay7FKsxfbiWcWszVlFsDJFncfKtn8QyRPT7NSHSud9/0e5wzqAyRvT5+dZKk43jarWM4AtzqI0m5YJsknOHjX6lFvqgKKVbEkp9eil5uL6abv8vJCcLZV7igTmP6QuhMO/BeM4PxALX2eB+OS80KTv8lPkT7lXl/E2nKbUvZDAKcQUoa65BABV0oI95BqlEzim19EYkWEGLFJDZh2Hk5DkN0/SLP38F/uygFShnC11y/zaPbDtGJrAI3jbnLfkZ7l96kpcyAQpzdBY4pJZEq0BIOjyWk/3u9zXEAU5PheozOb8Etl82JkRWXmPAq+YNqPSvkOI5uUpI+WWeoAapSv9J+A/5/HylX85hUMdfa6x0JQLb3C4B+1qLFmdYXrxmdgMCnwKvwo7TOzyklKOSz9TZ3CoX6I9/D43EoymDZ2QDryq1ZeGxWKQGoBcLjRNDUnJGnP1fa2FXe0NYWScOJkyvCYDUO2dQosg3FmUtQn1xqAvevbO+ysXuIjL38Mz+OTIlRA0+iBzCYKQ33zbHDI8pX8BWzJjhPM3mkd60FrWicCQbNRTDppM7uhJUwE1KZnaieF2FoKrMuokVtySDkmvWdWnBz4tSdR3ztMTMR4V8zSKixnC22+nD+ZQmeDWQpMz9a3Y0j76IMMvkx77
Someone who was there convinced me to record it, so I've put it on YouTube: https://youtu.be/_BkTrp44uBU
I was really happy to have some Coq experts there! The questions you all asked were really fun questions to answer, and some of them gave me new ideas to try in the future.
Talia
On Fri, May 28, 2021, 8:21 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
- Re: [Coq-Club] PhD defense, Talia Ringer, 06/05/2021
Archive powered by MHonArc 2.6.19+.