coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] PhD defense

From: Alex Shkotin <alex.shkotin AT gmail.com>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] PhD defense
Date: Sat, 29 May 2021 10:56:40 +0300
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=alex.shkotin AT gmail.com; spf=Pass smtp.mailfrom=alex.shkotin AT gmail.com; spf=None smtp.helo=postmaster AT mail-io1-f45.google.com
Ironport-hdrordr: A9a23:fNzr/a6xq2GKrDEbRgPXwPHXdLJyesId70hD6qkRc20tTiX8raqTdZsgpHrJYVoqKRMdcJW7Scq9qBDnlKKdg7NhWYtKNTOO0ACVxcNZjbcKqAeQfBEWmNQts5uIsJITNDQzNzVHZArBjzVQ2uxP/OW6
Ironport-phdr: A9a23:3LPTehz39itHfw/XCzJQylBlVkEcU1XcAAcZ59Idhq5Udez7ptK+ZR2Zv6U9xwOWFazgqNt8w9LMtK7hXWFSqb2gi1slNKJ2ahkelM8NlBYhCsPWQWfyLfrtcjBoVJ8aDAwt8H60K1VaF9jjbFPOvHKy8SQSGhLiPgZpO+j5AIHfg9mz2uyo5ZHeYAZFiDWybL5wMR67sRjfus4KjIV4N60/0AHJonxGe+RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84TaFDAzQ9L281/szrugLdQgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QrcpVzS/9KdrUAHnhzsbNzA392HXj9Z/jKNdoBm8oxByzIrZbISTOfFjfK3SYMkaSHJOUcZfVSNPAo2yYYgSAeQfIelVtJPyq0cUoBakGQWgGOHixzlVjXH2x6061OEhHBna0QwkAd0Pv2nfosj1NKcRVuC10KjIzTPeZP5Rwzj97JbHcx87rfGXXbJwcs3RyVUuFwPDlViQponlMCmU1uQJqWSU8+1gVee2hmMhtgp+rSShyN02hYnVmoIa1ErE9SNhzYs0O9C2RkF1bcK4HZdOtCyXNot7T80+T29opSo0xLwLtJ60ciUJ1Zkr2xHRZuCbfoWI7B/tWuicLCp2iX9hZr6ygQu5/0anyu35TMa00VBKozJLktbWqn8CyQfc6s+ASvt+5EuuxTGP1wXL5uFLJkA0kqXbK5o/zbIqipUTtkHDEjfrl0rolK+ZaEMk9fW25OThfrXmup+dN5duhg7gKaQjnNG0D+cgMgUWQWSX5eCx2Kfg8ED5WrlGk/w7n6jDvJ3VJckWoLOyDRVP3YY58Rm/Ci+r0NQGknkDK1JIYBeHgJLoO1HKOfz4DPC/j0m1nDdlyP3LPqftAprKLnjEn7fheahy51RAxwo0yNBT/5NUCrcfL/LvQkL9qsDUAxsjPwG3w+vrEshx24IfVG6VDaKUMLvesVqS6eIuJ+mMapUVuDH4K/U9/fHuiWE2mFAHcamy3ZsXa3e4HuhnI0WfenfsjdIBHn0Lvgo6VuDllFqCUTtLa3aoQ608/i07CJ6hDYrbWo+th6WB0D6nEZ1Se2BJEUuBEWzodoWBQ/cDcjieIs5nkjweVLiuUZUt1R+0tFyy970yJe3NvyYcqJjL1d5v5uSVmwth2yZzCpG012ydB1p0nWQURjl+iKl7rFw70VeA1rR5hdRXENVS47VCVQJsZs2U9PBzF92nAlGJRdyOUlvzHoTO6dQZQdc4wttIaEF4SY3KZv/r0C+jArtTnLuOVsVcGkP02nHwI4N8zC+D2vV8yVYhRcRLOCutgastr2Du

Hi Talia,

Abstract is great! Is that a good idea to spread the word? For example, to Formal Philosophy [1] or Ontolog Forum[2]?

Alex

[1] https://www.facebook.com/groups/248602805484550

[2] https://groups.google.com/g/ontolog-forum

сб, 29 мая 2021 г. в 06:22, Talia Ringer <tringer AT cs.washington.edu>:

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

[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