coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Favonia <kbh AT umn.edu>
- To: ProofTheory AT lists.bath.ac.uk, univalent-mathematics AT googlegroups.com, Homotopy Type Theory <homotopytypetheory AT googlegroups.com>, types-announce AT lists.seas.upenn.edu, haskell AT haskell.org, caml-list AT inria.fr, agda AT lists.chalmers.se, coq-club AT inria.fr, categories AT mq.edu.au
- Cc: Jeremy Gibbons <jeremy.gibbons AT cs.ox.ac.uk>
- Subject: [Coq-Club] Free online participation in MSFP, 8th July 2024
- Date: Mon, 1 Jul 2024 12:04:00 -0500
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=kbh AT umn.edu; spf=Pass smtp.mailfrom=kbh AT umn.edu; spf=Pass smtp.helo=postmaster AT mta-p5.oit.umn.edu
- Dkim-filter: OpenDKIM Filter v2.11.0 mta-p5.oit.umn.edu 4WCXTG6NR2z9vZdK
- Dmarc-filter: OpenDMARC Filter v1.3.2 mta-p5.oit.umn.edu 4WCXTG6NR2z9vZdK
- Ironport-data: A9a23:JjqICaL7OQ33gD+FFE+RAJElxSXFcZb7ZxGr2PjKsXjdYENS3zcGx 2cXUGmGP6yLY2Kke9l1at+3o0NVvsDczNdmSQUd+CA2RRqmi+KVXIXDdh+Y0wC6d5CYEho/t 63yTvGacajYm1eF/k/F3oDJ9CU6j+fSLlbFILasEjhrQgN5QzsWhxtmmuoo6qZlmtHR7zml4 LsemOWBfgf0s9JIGjhMsf7b90s25K2aVA4w5zTSW9gb5DcyqFFOVPrzFYnpR1PkT49dGPKNR uqr5NlVKUuEl/uFIorNfofTKiXmcJaKVeS9oiY+t5yZv/R3jndaPpDXmxYrQRw/Zz2hx7idw TjW3HC6YV9B0qbkwIzxX/TEes3X0GIvFLLveBCCXcKvI0Luczji2dxPI3sNBtNBysZ1Kmdw8 PcWAWVYBvyDr7reLLOTT/Vlw9x+as7qIMUCv3cmwD3EZRokacmYH+OauZkBjWl23JgTdRrdT 5JxhT5Hbx7ASwBKPBEaBI9WcOKA1yCnI2MI9Ar9SawfvSvd6jRb9KjXE/2EWczRXe4WtGm2j zeTl4j+KkhLbYTHklJp6EmEjejW2Cj/RYg6D6y97vcsgVuJx2VVBgd+aLegifylgwumBpRYK lBS5y8o66U+6SRHU+URQTW443Celz8zYeFrTbQKyAOmzJTR6AiwUz1soiF6VPQqs8o/RDoP3 1CPns/0CTEHjFFzYS/GnltzhW7vURX5PVM/iTk4oRzpCuQPTak2khuKVoslF6+pyMDwH3f9z y3iQMkCa1c70pdjO0aTpA6vb9eQSn7hElJdCuL/AjzN0++BTNT5D7FEEHCChRq6EK6XT0Oao F8PkNWE4eYFAPmlzXPUEbtVRu32tqzZaVUwZGKD+bF8rlxBHFb+IehtDM1Wfy+Fz+5fI2+wM RW7Vf15vc4NVJdVUUOHS9vgUpxylsAM5Pz4UPHKY8BVY4RgPAiJtCRvY0idxGfxmSARfVIXZ P+mnTKXJS9CU8xPlWPuL89EiO9D7n5kmQv7G8ugpzz5iuX2WZJgYepcWLd4RrpmsPrsTcS82 4s3CvZmPD0BDrOvM3SPrNd7wJJjBSFTOK0aYvd/LoarSjeK0kl7YxMI6eJ+K95WjO5Om/3W/ 3qwfEZdxRCtzTfEMAiGIDQrIr/mQZ81/zpxMD0OLGSY/SEpQb+uy6MDKLoxX70sr9J4wdBOE vIqRsSnA9Z0cArhxQgzV5fGgbJHSAWKniOLZiqsXyg+dcVvRivP4d7VQTHs/ygvUAuy7JMPm OS/8DiGX5MzfhluM5/LTPeRzF+KnGM8ndhqVBDiOehje0TL8alrJRfuj/QxHdo+FBXbyhae1 CeUGR09t8CXh6MEq/zymrGik4elN8BcD3hqNTDXwpjuPBaL41f555FLVdi5WAz0VUT2yf2EX vpUxfStC883tg9GnKQkGok60J9kwcXkooJb6QFWHH/rSVCPIZE4K1mk2fh/jIF89oV7iyCXB H3WosJ7PI+XMvzLCFQSfQopTtqS3MEuxwX9064HH1XY1gRWopy8TkRgDzudgnd8LZx0Er8f7 8UPhco00zG72z0WaouoryYM7GmdDG0yY4N+vLEgPYLboA4KyFZDXJ/iNhHL8Ky/M9VhD017D QKX1YzjhqtdzHXsa3AcN2bA9ssDiIUsuCJl9k4jJVOIluWcm9sy4h5dyhUsbwFv1h4c+flCC mtqEExUJKu14DZjgvZYbV2sAw1sAB64+FT77VkChEn1bhCPeDTWDWsfPe2twhgow1hEdGIGw IDCmXfXbzn6WerQgA0wYBdBgN7+R4VT8gbippiWL/6dFcNnXQu/076cXktWmR7JGshruVbmo 9Nt9+NOaaHWEy4cjqk4KouC34QrVxG2Cz1ecM5l4Z82MznQSBOq1RiKDnKBSMdHCvjJ0E2/U uhFBMZEUTag3yev8BEfI4MxIIFPof143+paJ4vXJlMHvYCP8RtvkpbbrRbliEERHt5BrMcaK 6HqTQykLFC+v3VupjLynJF2AVbgOdggTy/g7d+x69QMRs4isvkzUEQc0YmUnnSyMSk+9S3Io TH8Xfb3zvNj+6tojYDDAqVOPCTqCNLRBcCj0hG/jMRKVvzLafzxjgIyrkK9GRZ7Jp4TZohHr quMu9vJw0/1hrY6fGTHkZ2nFaMSx8GNcMdIE8Dwdl92oDCjXZLy3h495GyIE5xFv9dD7M2BR QHjSs+Rd8YQauhN1k9udClSPBYMOZvZNp66i3uGkM2NLRwB3SjsDtCtrybpZF4GUB44AcT1D wustsu+4txdkp93OyYFIPNbGL59Hk7oXPo3Vt/2tATANFKSvHG5huLAmyYjuBbxMVvVIPait NiBDlL7eQ+psa7F8MBBvsYg9lcLBXJ6mq8rclhb59dyjCugAXUbKfgGd68LEYxQjje4waSQi Osht4f+IX6VsfV4nRTADBDLWxuWQ/RTfND4Ono0+kXSZiurbG9FKKU07T9uuh+aZRO6pNxL6 /lHkpEzAvR16oxsQ6Ae6uHTbSJP2KbB3nxRkaziu5WaPvvdaInmEFR8GQwLWCDaey0IeIMnO kBtLV15rIqHpYId3Cqul7O52P3Ugd838wgVUA==
- Ironport-hdrordr: A9a23:iu/Wi6nfz3uWY0rDTOJQ+/1StgnpDfLm3DAbv31ZSRFFG/FwWf re48jztCWE9gr4Ohkb9+xoXZPhfZs8mKQb3WB/B8bYYOCLghrREGgA1/qa/9SDIVyFygc178 4JGMUTaeEYZmIK8PoSjjPIb+oI8Z2p9ru3jfzSw3ooYQZhcLF48gt1YzzrcHGehzM2YKbR1q DshfavawDQHkj/p/7LYghiYwEdnbf2qK4=
- Ironport-phdr: A9a23:syTdSRM3e9j8K8LTVS8l6nYFBRdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDvq0r1QSCBN2Go7Ic0qyK6fGmATRBqb+681k8M7V0FCU5wf0MmAIhBMPXQWbaF9XNKxIAI cJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3OgV6PPn6FZDPhMqrye+y54fTYwJVjzahfL9+N hq7oAvNusUMnIdvJKk9xgbVrnZIZu9awX9kKU+Jkxvz+Mu9+IRv/zhMt/4k6sVNTbj0c6MkQ LNXCzgrL3o76Mr3uxfdUACB/GEcUmIYkhpJBwjK8hT3VYrvvyX5q+RwxjCUMdX5Qr4oVzui6 bxrSALzhyccKzE56mDXhddug69dvRmsugZww4/QYIGSKfp+YqbQds4USGZdQspcUTFKD5iiZ IUTEeUOIedYr5H8p1QQqxu+GRKsD/7rxjNRm3P6wbE23+EnHA7BwQIgAskOsGzKo9rpKKccX +e1zKzSwjXCafNdxDPx5YfMfxwkp/yHQLB+ftfLyUQ3GAzLjluep4/4MT2LyOkCr3OW4PB8W e+1kWMrtx19rzqpy8wxiofJnIUVylXc+Ct52ok1O9q4SEh6YdG+DZBdsCKaOJB2Qs45XmFov SA6xqcYtpGmYSgH0ZIqzAPQZPKbaYaH+A7jVPqPLjdignJoYLOyiRi8/0WvxeDxSNS53VhJo yRKk9TBuH8D2h3N58WbV/dw/lmt1SiM2g3O5exJIl45m6TFJpAuzbA8i54evErFEyTrlkv2i 6qWeV8l+uiu8+nnbbTmpoOcN49pkQ7yKKUumsu5DO8lMQYOR3CW9fmy2bDs50H0Q7pHgucrn qTdsZ3WP9oXqrK5DgNNzIov9xKyAy2l3dkYh3ULMk9JdRGdg4XrJV3DJu3zAOm7g1Sxizdr2 +7JPqf8DJXML3nMjq/scap75kVB0gQ818pf6IhRCrwZIPL8REvxtNvAAx88Lwy72f/rCM192 48EXmKPA7OZPLnPsV+N4OIjOfeDa5IIuDrlKvgl4eDhjWMhlFMAc6Sk0oEbZXO3E/h8PkmUZ Xvhjs0fHWsWvgcyVOnqh0eDUT5XaXayRaU85jQjBYKlFojDRpuggKGE3Ce9BJFZeH1JCk2UH XfubIqLQ+0MZz6KIs99jjwEUqCsR5I52RG0qAD606ZnLvbT+iAAqZ3j08F16/TPmhE26Dx7F N+Q03qNTmFxhmMHXSU63KF5oUxny1eMy7J0g/JCFY8b2/Qcah09MpDgz+F9EcHaXgPaYszPQ l+6QpOvCncsTZZ53tkPfU95FtO+yxXKwyqnBrYJlreQLJMz9a3Y0nfrINtl0DDN06xlx3khR 8xTMnW3zpJu7wWbO47ElF+I3/KqcqEbwCnV5XuS1WeSvExfSh9YXqLCUnQSaVHRsMzioEjFS unqQag2KgZajMeELKxXbNbkpVFHX+v4fs/Tann3hn+9AxDOy7+RKMLqcn4e0SHZIEgNiAMe+ XLAMhIxQm+qqmfaSThvDk7HYkX28OA4pmn/BkY7wwiia0x6y6Hz8R4cgfmRUehVxb9A8Cwms nB/GEu399PQEduJ4QR7OO1XaM8w71Bd1G/CnwlkeJGsMuZrmw0waQNy6m3nyRJxC4wIxcsgr Fs3yQw0JK6FhgASPwiE1Iz9b+WEYlL5+wqiPuuLgzk2sf6T86YLs7Ejrkn7+RquDgwk+mlm1 N9c1z2d4I/LBUwcS8G5SV45oj59obySeSwh/8XMz3Q5MqO0miLH3ZQkCPZ2gg24cYJnObifX BT3D9VcAsGvLOIwnF38bRgEFP1X8ug5M971P+Ce1vuTNf171CmjkXwB4I151ReU8DFgT+fTw 5sf6/SE106fCnH7jUvnr8Xx341IeFn+B0KZzi7pTM5Ub6x2JsMQDHu2Ztaw3pN4joLsXHhR8 BiiAUkH0YmnY0jaaVu1xgBW2UkNxB7v0SKl0zx5lS0opauDzWTPxerlbh8OJm9MQiFrk17tJ YG+i91SUlKvakAlkx6s5ECywKY+xuw3LGPTaVpNeW77I3wjGqq8u7yeYtJevYsyuHYfW+C9b FaGD7/l9kJBj2WzQy0HlW59LWn36fCb11RghWmQLWh+ti/ccMB0nlLE4cDEAOVWxnwATTV5j j/eAh69OcOo9JOajcSm0Kj2WmS/W5lUaSSuw5mHsX7x5mdqKQC6mba+lsCtQkAqlDT20dVnT 3CCrxz8SpTu0eK3Pf8tLSwKTBfsrsF9HI95iI45gpodjGMbipui9n0CiW7vMN9f1MoSdVI1T CUQi57Q6Qnhgwh4K26Rgpn+TjOby9dgYN+zZiUX3Dg85oZEEvXc4LtBlCpz6l22yGCZKft3n h8AzP1o5XIHy+0EowsiyCyBD6taRBIEe3yw0U3ZsZbk9PgfbX3nabWq0Utigd2tRKqPpA1RQ jecGN9qHCN96Nl+LEOZ1XTy7o/+f9yDJdkXtxCSj1LBl70Mc853xqZM3Hs5fzil4C5AqaZzl xFl0JCksZLSLmxs+Pn8GRtELnjuYNtV/DjxjKFYl8LQ3oa1H5wnFC9YOfmgBf+uDj8Wsuzqc giUFzhp4HSRGZLCGAnZ5Ut75SGHA9WwOnebKWNMh9ZoRDGAIUoZjQwJFmZf/NZxBkWhw8rvd 1187zYa6wvjqxdC/elvMgH2TmbVoAr7IidxUpWUKwBaqx1T/0qAe9LL9fp9RmsLm//p5BzIM GGQYB5ESH0ESlDRTU62JaGgvJHB67TKX7HiaauSJ+zf96oHBq3Pn83KsMMu/i7QZJzVbj87V 6R9gxUSGykiRYzYg2ldEn1H0XiRMojK+FHlp3cw9ZjakryjWRqzt9TTTeEKaZM2oVbs2/vEb bHYhT4le28HiNVXnDmRlOVZhgNOwyB2K2v0QORG7HaQCvuL3PcQVUJ+CWs7NdMUvf1gmFMVY oiC2o6zjOYkxv8tVwUcBA2nwZnvP5dXZTvlaBvGHBrZbuzbY2eRm4euMfr6E+YN6Ycc/xyo5 WTBSxKlZG7b0WC3Blb1ar8E2yifOFY2VJiVSh92EiCjSdvnbkb+K9prlXgtxqVygHrWNGkaO Dw6ckVXr7TW4zkKyvl4HmVA6DJiI4zm026B6PLEL58NrfZxKiFonqdCvTI9yqcT8SRCAvF5h WPeo8VvrFevjuSUgmM8DFwe9nAS1dzN5x0/cazCk/sIEW7J5hcM8XmdB1wRqt1pB8eu86Fcx 97Tlb7ifTdP99WHtcAYBsXSNIeGKC94akavSGKSVVpbC2TzaDK65QQVivyZ+3yLo4Jvr5Htn MFLUbpHTBkuEetcDE15HdsEKZMxXzU+kLfdgtRbgBj25BTXWsheuYjKE/yIBvC6YjWTjZFZY h1OzL/lZ9d2VMWzywl5Z192kZ6fUVLXRsxIqzZ9YxUcpVlEtWAjCGoyxwT4bwXr7XMOX63R/ FZ+mk51ZuIj8y3p6lE8Kw/RpSc+p0I2nM3snTGbdDOiZLf1R4xdDDD48lQgKp6uCRggdhW8x AY3UVWMD6IUlbZrcnpnzRPRqYcaU+AJVrVKOVcR3a3FPq50lwQA7Hz2mwketLGCU8QH9kNic Ibw/Ssai0Q6NIdzfPOBYvMSkBBRnv7c5374kLptnUlPewBUrTnVI3Zt2gRAN6F6dXX0uLY0s UrbwX0ZIjRLDaVio+o2pBpiZaLblmS5j+MFcB3tf+2Hc/HA6jiGzJbVBAprkBtPzRUgn/A+0 N9/IRXIERp3l/3IR0lPb5KeYQBNM5gLpSmVJn7I676Qh8gtY828Dry6F7fT8vxO2gT9TF9vR d9Ri6ZJVpi0jBOCdZqhduRdj0xztUKxfwvNW/1NfFjjeNgvvsS5ipJ7wNsETtn8KWBhOGCvu /DQpxNsnf+FGto6fyVDNmPhHm8zXou3lzML5xx9
- Ironport-sdr: 6682e1a6_Fmdjz1+DF55R/ap/Io5EcBS8Mr+mB5hQcaVjoV6yuyANunI x+KY8JVRdshaUcTAHh4YNHC8qEtEyoYuqRL+kVg==
I'm delighted to announce that there is free best-effort online participation in the Tenth Workshop on Mathematically Structured Functional Programming (MSFP 2024), co-located with FSCD, ICALP, and LICS in Tallinn next Monday, 8th July. Please register your email in advance so that we can send you Zoom login info on Sunday evening. For details see the website:
Looking forward to seeing you!
Best,
Favonia and Jeremy- [Coq-Club] Free online participation in MSFP, 8th July 2024, Favonia, 07/01/2024
Archive powered by MHonArc 2.6.19+.