coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Paige Randall North <paigenorth AT gmail.com>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] PhD at Utrecht
- Date: Mon, 18 Mar 2024 16:17:02 +0100
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=paigenorth AT gmail.com; spf=Pass smtp.mailfrom=paige.north AT gmail.com; spf=None smtp.helo=postmaster AT mail-oo1-f51.google.com
- Ironport-data: A9a23:dxktzqly+4bs1LcN3WhPBSXo5gwZIkRdPkR7XQ2eYbSJt1+Wr1Gzt xJLDz+Haf6JZWajet93YYmw9UgEv5eGm9FnSgM6pHg3RFtH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRGvymTrSs1hlZHWdMUD0mhQ9oh9k3i4tphcnRKw6Ws LsemeWGULOe82Ayaj18B56r8ks14Kyp4WNA5zTSWNgS1LPgvylNZH4gDfrpR5fIatE8NvK3Q e/F0Ia48gvxl/v6Io7Nfh7TKyXmc5aKVeS8oiI+t5uK3nCukhcPPpMTb5LwX6v4ZwKhxLidw P0V3XC5pJxA0qfkwIzxWDEAe81y0DEvFBYq7hFTvOTKp3AqfUcAzN1gNW8qLI4VoNpKIiJQq 6FJJxs0XB+M0rfeLLKTEoGAh+wmJcjveYQY4zRukGifAvEhTpTOBa7N4Le03h9q3pEITauYP pRAL2c2BPjDS0Un1lM/EJs/k+rugH7lbz1wp1ecpK5x6G/WpOB0+OGwb4CMJIPVHa25mG6Yo zPn+lj0Kys7D+GR4zy01Eq+pObQyHaTtIU6T+DhrqE73jV/3Fc7AxoPEFC/vPORkV+7Q9sZK koO+yNoo7JayaCwZtz0Xhn9p3nd+xBBApxfFOo17AzLwa3Ri+qEOoQaZjB4RsA3t8JseQEJl UHXwoLmLgVdv7LAHBpx6YyohT+1PCEUK0oLaikFURYJ7rHfTGcb3kynojFLQP7dszHlJQwc1 Qxmu8TXuln+pcsC1qH++leexjzx/97GSQk64giRVWWghu+YWGJHT9z5gbQ4xa8fRGp8crVnl CVU8yR5xL1fZaxhbATXHI0w8EiBvp5pygH0j191BIUG/D+w4XOldo04yGghfR82ap5eJ2OwP hC7VeZtCHl7bCXCgUhfM9LZNijW5fG7fTgYfqmIMIAUM8cvHON51Hs/OhDOt4wSrKTcufpiY M/EIJjE4YcyBqNgwz67D+Yb2vlD+8zN7TK7eHwP9Dz+ieD2TCfNF98taQLSBshntv/siFuOq L53aZDVoyizpcWlPkE7B6ZIcAhWRZX6bLiqw/Fqmhmre1U2STxwUa+NkNvMueVNxsxoqwsBx VnlMmcw9bY1rSSvxdyiMyg5NuHcTtxkoGglPCchG1+t1jJxKcys9aoTPd9/N7Uu6OUpn7Y+Q ugnavewJK1Fag3G3DABMrj7johpLyqwiSy0YiGKXTkYfrxbfTLvxOPKRAXVyXQxPnKFjvdm+ 7yE/SHHcKUHXDVnXZr3aurw7lafvko9ueNVXmnOKOZ9YE/HrYpgcXTwqtQVIMg8DwrJ6RXH9 gSRADYe/fLspa1s+vb3pKm0laWbOMogIVh7Rk7w8qSTGRTB2Faa0atscbqtbC/McmHZ44Cgb rhl9O79O/g5g1p6iYpwPLJ1x6YY5dG0hbtl4il7PXfMfXK5I6hBJySY4MxxqaF9/L9Vlg+oU Eap+NMBG7GoOtvgIWEBNjgeceWP+vEFqAb8tc1vDh3B2xZ2276bXWF5HRqG0nVdJYQoFrIV+ 74qvcpO5jGvjhYvDM29sRlV0GaxNV0FbbQss8ALIY3sizdz8Gp4X77nNnbU7q2MOvJ2CWt7B h+PhaHHuaZQ+VqaTVo3Ckr2/LR8gbYghUl06WEsdnWzp8r9p/4o3Rdu3yw9YSZLwz5mje9iG GhZGHdkBKeJ/j1XqtBJdDmyERNsGC+bx1zVzlcXnjfVVHuTC27HdjU8Hc2v/0kp1X1WURYG3 bOfyUfjCS3LeuOo1AQMeEdVkd7RZv0vyR/nh+amANWjI5k2RRHHk52eTzMEhDW/CPxgmXCdg /dh+dhBTJHSNAkSkvUdMJab37FBcyK0DjVObt859ZxYAFyGXi+53AWPDEWDesltAfju2m3gA uxMIvN/bTiP5BysnBs6W5FVe6RVmcQ37uUsYrnofG4Kk4WOpwpT7a7/yHLMu38Jcf5Pz+AGN YLjRxCTGDexhFxVuVP3gutqB26aWeQANSrAhL2b0eNRDJ8SkvBeQWdr2JuOgnilGg9G/RWVg QD9W5Hr39FSkYRBoo+9PZhAViOVKMzyXtum6AqckcpDRvKRPNbstzE6kEjGPQNXD+FIW91Ii qm86o/r/ULavYQZV3LStImBGpJou+SzfrtzGeDmIEZKmRCtXJfX3CIC3GSjOLp1n8h49OD+Y yeFMO6Las8yd/JG4X9kewxyMk06NfzsT6HCoSidkay9OiIF21aaEOL9pG7bU25LUwQpZbjsA RDQkNSz7Il6qI9sOkc1N8t+CcUlHG65CLoUTPyvhzy2FWLyv0ijvIHlnh8e6T3mLHmIPcL5w JDdTCjFaxWAl/DU/e5drrBNkEUbPFRljck0W3Atydp8pjS5LWwBdMA2E5ENDLNKmS3TirD8Q hzwb1UZNCasZgQcLC3A4+niUDnGV6ZKcp38Kycy9kyZVzauCcnSSPF9/yNn+DFtdiGl0OijL soE92btOgSqhKtkXvsX+ufxlNIPKik2HZ7U0RuVfw3O7xci7XEi0XVgGE9KUnWCHZyU0krMI mcxSCZPR0TTpYsd1yp/UyY9Jf3blGqHI/YUgeOnz9PWuoHdx+pFoBE6E/+myaUNNazmO5ZXL U4ahAKxD6S+1XkauK9vsNUs6UOx5TRnAeDiRJLeqcYuc21cJ4jp0w7uXcbCcS36xDNiLg==
- Ironport-hdrordr: A9a23:G1USBquIDE5Os2EKZdvbMPaa7skDe9V00zEX/kB9WHVpm62j5q eTdZEgvyMc5wxhO03I9erhBEDiexLhHPxOkOss1N6ZNWGMhILCFvAG0WKN+UyFJ8Q8zIJgPG VbHpSWxOeeMbGyt6jH3DU=
- Ironport-phdr: A9a23:9M3dERVvdA4NzSmkqWighKmMGrTV8KxdXzF92vMcY1JmTK2v8tzYM VDF4r011RmVB9Sdu60P1LOempujcFJDyK7CikxKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxB sVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSizexf7d/I A+1oAjTucUbg5ZuIbstxxXUpXdFZ+tZyWR0KFyJmBry+tm+94N5/SRKvPIh+c9AUaHkcKk9U LdVEjcoPX0r6cPyrRXMQheB6XUaUmUNjxpHGBPF4w3gXpfwqST1qOxw0zSHMMLsTLA0XTOi7 7p3SBLtlSwKOSI1/H3Rh8dti61VvQ+hpwdnw4HKfI6VKPRwfqTYfdwARGpBWNtaWyhOD464a ocCCfcKM+RFoInnv1YBohuwCwevCu3y1DFHmmT70rcm3+k7CwzKwBAsEtAIvX/JrNv1LqASU eWtwafS1zrDbvxW1ing44bUaB8hp+yDUqh0ccrV1EIhDwTFjk+MqYzlIjiY0fwNvHKa7+pvS +2vjWknqxttojiv3coshYzJiZgUylDA7yl23IE1JdihRUN9fNWrH4deuTuAOItqXsMtXXtou CAix7MIpZO3YTYHxYo6yhLBZPKJc5WE7w/+WOqNLjl2im5pdbGiihqv8EWs1vPwW8ao3VtEo SRIjMTAuH4P2hLT9MWKTOZ28Emm2TaKzQ/T6+dELFg7laraN54hwqMwmYEJvUTCGS/7nlj9g qyOdkg85OSk9+Dqbq/lq5KcLYN4lwDzPrk0lsG/HOg1NBUFUnaf+eShz73j4VP2QK9XgP03k 6jWrojXKdgdq6WkGQFayJwj5Ay6Dzq+0NQXg30HLFVddRKClYfpOlXOLOn/Dfe4nligiTlry vDbMrH7DZXNKX/DkLjlfblj8UJT1A0zzdVH65JVDLEOPu7zV1fvuNDEChI1KQ+5zub9BNlg1 44SRHiDD6+EPK/KtF+H/OMvI+2CZI8Pvzb9LuAo5+b0gn84ll8SY7Ol3Z0QaHCiAvRmI16UY XXpgtgbEGcKuhAyQ/DtiF2HSTJTYW29ULom5j4nEIKmEZvDRoe1jbCcxCu7BIFZZnhaClCQF nflb5mLW/AVaC6LPsBhliEEWqO6Ro861RCusRf6xKB9IurV/C0Yr5Pj28Jv6+3djxFhvQBzW s+ayiSGS3x+tmIOXT4/mq5l8mJnzVLW6aF5jPEQL9VV6/pNVk8cMoTAz6QuE9nzVQ/Hec2VS H6pR9ynBXc6SddnkIxGWFp0B9j31kOL5CGtGbJAy+3j7P0c96vd2yK0PMNh0zPc06JniVA6Q 8xJPGngh6hl9gGVCZSa216BmfOMcqIRlDXI6H/F1XCH6VlRUQF9V6LfQXA3aU7frNC/7UTHH Pe1EbpyCgJa0oaZL7dSLNjgjFFIXvDmbczXYm283WG3HwqI7ryJZYvuPW4a2XaVE1AKxiYU+ 3vOLg0iHmGhrmbZWSRpDk7qaljw/PNWrXq6SgozyFjPYRA4kbWy/RERiLqXTPZ7MqssniAnp n00GV+824iTEN+cv097e64aZ9oh4VBB3GaftgpnP5XmIbowzlgZOx96uU/jzXAVQs1JjNQqo XU2zQFzNbPQ0VVPcCmd1IzxPbufI3f7/RSmYarbkl/E19Pe9qAK4fU+41Lt2WPhXlIr8npq1 d5Pz3u06ZDDDQ5UWpX0Ew42+xV8u7DGc3wl/YqHnXZoMKSyrnrDw4dzXLpjmkvmJokGdv7dR 2qQW4UACsOjKfIngQ2sZxMAZqVJ8bIsetmhfL2A0bKqO+BpmHSni35G6cZzyBHplWI0R+jW0 pIC2/zd0BGAUmK2lF6gvc2xn4deeTE6EW+2yCyiD4lULP4XH85DGSK1Lsu7y88rzYbkWnFV8 lm5G1Mu18qgeB7UZFv4l141twxfsTmsni22yCZxmjcio/+E3SDA9O/lcQIOJm9BQGQKYU7EG YGvlJhaWUGpa1Jsjx65/QPgwKMdoq1jLm7VSEMOfi7sLmgkXLHi/raFZsdO7tsvv0A1GKyka FGVR/j7pAEG0wvsGmJfwHYwcDTitpjinhN8gX6QNz4p9CufKZw2nEmGooGFDfdKliILXix5l SXaCj3ed5Gy8NOYmo2C+uGyWmS9V4FCJCzizIeOriy+tiVhBRyymez2m8WyS1Brl3+mkYA0D GOV9UWZAMGjzamxPON5c1M9AVb975A/AYRiis4qg5pW33EGh5KT9H5BkGHpMNwd17itCRhFD TMN3dPR5xDonUN5KXfcjZrwV3qQhM1mfcW6SmwT0yM5qctNDe3Hid4M1TswuVe+oQ/LNLJll zYSxL0o72QGg8kGvQMsymOWBbVYTiw6dWT80h+P6d65tqBeYm2iJKOx2ERJltekFLieowtYV SWxatI4ECR39Mk6LEPU3Si59NT/YNeJJ4F21FXcg1LaguNSMp50ivcamX8tJzfmpXN8g+8j0 U41gNfj7dDBcTkyuvr+WEIQNyWpNZ1PvGu21uAHwJ7Qh8f2T/ADUn0KRMe6E6zuSWpI86yhb 0HUSHU9sivJR+SZR1POrhc+6SqIScjjNmnLdiZDi4w+AkDMfgoHx1lEOVdy1p8hSlL1mIq4K ho/vnZJoQem4hpUlrAxb0m5CziA4lfuMnBuEdCeNEYEt14ZoR6EbYrGqLo0Rn89nNXprRTRe DbDNkIYUCdQABzCXxe6YfGv/YWSqbHGQLfuaaKfO/PW7rUPH/aQmcD1i9UgpW3dcJ7VeCElV qxeuAILS3l9H46xdywnbSsRmmqNaseaoE354ShrtoWl9/+tXgvz5IyJAr8UMNN1+hnwj73Rf +iXzD10LzpVzPZujTfB1aQf0VgOiipvayjlELIOsjTIRb7RnakfBgASaid6Ps9Fp6wm2QwFN cneg9Lznrl265x9Q09CTkDkk9q1aNYiJmi8MBbAAx/OOunfYzLMxM7zbOW3TrgRxORYuhusu CqKRk/uOjPQ8luhHxurMOxKkGSaJEkE4ND7IksrUDa6Co+/OXjZeJdtgDY7wKM5nCbPPG8Ya 31ndl9V66eX5mVei+l+HGpI6jxkK/OFkmCX9bq9SN5evP11DyBzj+8f7m49zu4f9ChFS/Ezn izIst5GrFSvk+3JwT1iGkkryH4DlMeQsENuNL+MvIFHQmrB9QkR4H+4Dh0Lo55iDYSqtf0Jj NfIk633JXFJ9Neerq5+T4DEbcmANnQmKx/gHjXZWRAEQTCcPmban0VBkfuW+xV9QbA1r5Htn NwFTboJDTTd89sVD01kGJoJJ5IlBlvMcJaehc8MoH259VzfGZwcsZfAWfafR/7oLWTB5YQ=
- Ironport-sdr: 65f85afc_LU2jJv+pYfBi6ltDnUuJ7J/WYZa/g2dCy1n/79kgCGQDmK7 FXH8SFVDXOb/pYXls8UpIofIREcP4oi+1vX6cag==
Dear all,
Best,
Paige
- [Coq-Club] PhD at Utrecht, Paige Randall North, 03/18/2024
Archive powered by MHonArc 2.6.19+.