Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Workshop on "Big Specification: Specification, Proof, and Testing at Scale"

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Workshop on "Big Specification: Specification, Proof, and Testing at Scale"


Chronological Thread 
  • From: Peter Sewell <Peter.Sewell AT cl.cam.ac.uk>
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] Workshop on "Big Specification: Specification, Proof, and Testing at Scale"
  • Date: Sun, 22 Sep 2024 09:43:07 +0100
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=Peter.Sewell AT cl.cam.ac.uk; spf=Pass smtp.mailfrom=Peter.Sewell AT cl.cam.ac.uk; spf=None smtp.helo=postmaster AT mta3.cl.cam.ac.uk
  • Ironport-data: A9a23:6dGvTKpxSbTdoKl+3cM5bTFWhmleBmIqZBIvgKrLsJaIsI4StFCzt garIBmEaKzeYTf2KdlwaI/g/RgEv8fXmtdhQAU6qCkxRiIW9+PIVI+TRqvSF3PLf5ebFCqLz O1HN4KedJhsJpP4jk3wWlQ0hSAkjclkfpKlVKiefHoZqTZMEE8JkQhkl/MynrlmiN24BxLlk d7pqqUzAnf8s9JPGjxSsvrrRC9H5qyo5GtJ5AZmPJingXeH/5UrJMJHTU2OByCgKmVkNrbSb /rOyri/4lTY838FYj9yuuuTnuUiG9Y+DCDW4pZkc/DKbitq+kTe5p0G2M80Mi+7vdkmc+dZk 72hvbToIesg0zaldO41C3G0GAkmVUFKFSOuzdFSfqV/wmWfG0YAzcmCA2knDKoG3fZ5AVhV0 t5DNRUHdDGFxMGPlefTpulE3qzPLeHuIIpE/HpkizrQCLAvStbeQM0m5/cBhmd23JsUW6yDI ZBCAdZsREyojxlnAloLBYh4p+q3i337WzZc7lmcoOw+6C7Oz2Sd1ZC0YIaJIofQGpQ9ckCw/ XDHzWXkJDUhZcWkxCCE00yqq7PrgnauMG4VPPjinhJwu3WYwXVWAxkLX3OgsPyhgwi/XcheI goa4EITQbMa8VCiFZ/2W1uzqXvCtxVaRtk4//AG1TxhA5H8u26xblXohBYbADCLnJZeqeACv rNIoz/oOdCrmLiJQCnb/bPSpjq3fyEea3IBDcPBoc3p/PG7yLzfTDqWJjqgLEJxptbxXzr5x naDp24jhN3/SOYVgr6j8wmvby2E//D0o81c2ukTdmmhqAhwYcisbMq16jA3KBqGwJmxFjG8g ZTPpyRSAC3iw31AeOxhjdjhxI2U2ss=
  • Ironport-hdrordr: A9a23:lmh5BKNZybAKlcBcTh+jsMiBIKoaSvp037BL7TEJdfUxSKelfq +V7ZYmPHPP+VUssRIb+OxoWpPwJU80nKQdieN9AV7FZmnbUQCTXeZfBOXZslvd8u7FmtJ15O NPd6B/DZnXFlh1jcHz5U2dH8w7yNeKtICE7N2uqkuFgTsEV0io1WlEIzfeGEgzfjJ9bKBJbK ah2g==
  • Ironport-phdr: A9a23:c3eYYhOPv6erEOdiibQl6nbEBxdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDvq0r1Q6WFt2Fo9t/yMPo8InYGlY8qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpV O5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1Ov71GonPhMiryuy+4ZLebgtUiDanfL9/K Be7oQrNusQXnIBvNrs/xhzVr3RHfOhb2XlmKVWPkRji+8y+5oRj8yNeu/Ig885PT6D3dLkmQ LJbETorLXk76NXkuhffQwSP4GAcUngNnRpTHwfF9hD6UYzvvSb8q+FwxTOVPczyTbAzRDSi8 6JmQwLmhSsbKzI09nzch8pth6xZvR2hvQRyzIHOYI+VOvRwfb7Tc80GSmdaRMldSzZMD5mgY 4cTDecMO/tToYnnp1sJqBuzHROiC/3zyjBWnH/9wLA03PovEA7Y2AwgG88FvXPOotrrKKcdT /q1wLPVwzrdYfJZxzP96IzTfx89pfGAR65/ftDUyUU1DQzKkk+cqZHmPz6M0OkGrmeU4fZ6W +21l24ntx9+oiKpxso0hIfFmp8Zx1TK+Ch6wYs4Idy1RVBnbdCqDJdeuD+XOolrT84sX21lu yI3x7wGt5O5fiUHypsqyh/BZ/GDb4WF4RTuX/ufLzd/gXJqYrO/hxCq/Eim1OL9WNW00FFMr iZfiNbDqmoB1wHQ6sSfUPRy4l2t1SyS1wDQ7OxPPEM6lbLDJpI83LI9lYAfvVrNEyPogkn6k q+bel869uWm8+jrfKnqq5uGO4J3igzyKLoiltGjDegiLwQDXWuW9OKh37D9+U35Xa5KjuEon anDrZ7aJMUaqbChDgNJ1Iso9gyxAC280NsCmHkKNFJFdwyDj4juI1zOJez4Au2xjli2jDhrw +rKMaH7DZXINHTMiqvucaxg605f0AYzzNZf6IxICrwZPf7/REz8uMbGAhI3LQC42fjrBdVn2 o8AV2+DGqqZP7nTsV+M6OIvOe6MZIoNtTjnNfcl++DhjWUjlVEAY6ao04UYaHS8Hvl9P0qZZ WDgjcsbHmcPpAYxVvDlhEefUT5Qf3qyWbkz6SkhCI26FYfDWpytgLuZ0SumBpFWfHxJCkiQE Xf0cIWJQ+sDaCWLIsN4jjMEUaWhRJQ62BG1tA76zqJnIfDO9i0Zs5Ljztl16PfJmRE87zwnR /iahmqKViR/mn4Cbz4wxqF250JnmW2Oyaxpv/sNLdFP6ukPaQolOJrY5+d+Tdv7X0TIdZGUS wWIWNKjVAk8Ut8ri+QDfEt5H532th3f0jDsOLIKmriPLJcwtKnV2j74LIBgyCCVh+Eak1A6T 54XZiWdjall+l2Lb2aou0CQlqLwML8ZwDaI7mCIi2yHoEBfVgd0F6TDR3EWIEXM/pzi/k2Xa bioBPw8NxdZj9aYI/5yZ8HklxN9SejuPND2aGb3kG61Qx+DgK6PP8LxY2tI5CzGEwAflhwLu 3OPNAwwHCCk9lrTEDF0U2nifE7o9cF1rDWwR0pyxgrMck4yn6Gt9EszgvqRA+gWwqpCuColr GBsG02h2tvNF9eajw99df4aatd7615Ck2vS8RF+VnC5B4ZlgFNWMwF+vke0kg5yFp0Fi88h6 nUj0At1L6ucllJHbTKRm57qaPXRLSHp8RajZrSzuBmW2cuK+qoJ9PUzqkny9ACvGE049nx70 t5Tm3KC75TOBQAWXNr/SEEyvxR9orjbZGE66ea2nTVUPLW5qHn51s0kAO8NwRLmdN5adqqPU hLxUoUbC8WoNO02ig2xdBtXWYIavKUwPs6ga76HwPvyZrYmxmn8yz4aptomgSfuv2JmR+XF3 ogI2aSd1wqDDXLniUu599rwksZCbC0TGWy2zW7lApRQb+t8Z9Vuay/mLsupy9F5n5OoVWRf8 QvpP14a1dXvQheNYlj59QZUk08epDqukm2lzHYn9lNh5rraxyHIz+n4IVA/N3JGXi9ZgEjhJ YychNRcV0GtKQEi0gamrxWfpeATtOF0KG/dRl1Ndi79IjR5U6e+gbGFZtZG9JIitSg/vP2UW VmBUfa9phIb13mmBG5C3HUhcDrsvJzlnht8gWbbLXBprXOfd9sijRvY4dXdQ7ZW0F9kDGFAh CXaHB6HMsak+dG8nJOFuem7EWuqEIBQOSXm1oKPsiKn6HYiWEfv2arowJu9TE5gimfyzLwIH W3QoQz5Y5X32qjyKu9hckRyRRf958d8BoBig941jZAU12Idg8bd9n4GnGHvdNRDjPukPDxXH mRNmYOTulO2vS8rZmiEzI/4SHiHl85oZt3gJ3gTxjp49cdBTqGd8L1DmyJx5Fu+twPYJ/Znz VJ/gbMj7mAXh+YRtU8j1CKYV/oqEFVVJ2rXmguF69SWp6ERb2+qN7G7kld914PEbvnKskRHV XD1d413Vxd98shldmnBz3D37qnvfJ/bZNdVvxbSjhSK3I03YNoh0/ENgyRgI2f0u3YonvU6g RJZ1pa/pIGbKm9p8fHxEltCOzbyfc9W5iD1gPMUgJONx472VMYEeH1DTN7yQPmvCj5Xqfn3K 1PEDmgnsnnCUbvHQV3Gshcg9SmVVcjtai7fJWFFn4w4FF/HfxYZ2l1SBWt9xM9cdEjixdS/I h1wvm1D7AKg8kkVk7o6ZUOiAD+Y/V31IjYyQ5yCIBcE6xEE7E7Qd8WVqP9wekMQtpynpwiQJ mHJfBxGS3kTXVCJDEziOb/o4sTc9++fBay1KP6Gd7yKraY2u+6g45Wp38Mm+j+NMp/KJXx+F 7gh3UEFW3llGsPfkjFJSioNliuLYdTJ7BG7sjZ6qMyy6pGJEErm+JePBr1OMN5u5wH+gKGNM PSVjTp4LjAQ340FxHvBwrwSlFAIjCQmez6oGLUG/SnDKcCY0rdQFAIeYjhvOdFg6r41hU9GP YjQg9az37U+k/10Q1ZJWFr9m924MMwHJ2buUTGPTE2PNbmAOXjK25SuO/P6E+YKyr8J8Ufr6 lP5Wwf5Mz+OlifkTUWqOOBI1mSAOQBG/Zu6eVBrAHTiS9Tvblu6NsV2hHs42+5R5DuCOGgCP Dx7a04IoKeX6HYSuvhjFnYH1Xd6IO2Asy2dqeLRL9Afur12AW4n8oASqGR/0LZT4CxeEbZtn zDOq9d1v1y8uuyTw2EhWx4IoT9OwouA+1hhc/a8lNEISTPP+xQD6n+VAhIBqo5+C9HhjKtXz 8DGiKP5LDoqGz389s9aDMHRbsuMdmciY0OB8Nv8Bw9DRjeuc2jUwVFewqn6Hpy9q4Qz8d7nn NwFQ7odXVdzC/BIUixY
  • Ironport-sdr: 66efd8bd_dy8w3SEheFTciHfhGCF3LJGJkLCpyiZ0GNC2Y7wZdfq/kBg ri7+pvC4b2IQVM+mee79Pr97fyYveQgKwXaysEQ==

As part of the Isaac Newton Institute "Big Specification" programme (https://www.newton.ac.uk/event/bsp/),  in 7-11 October we have a workshop "Big Specification: Specification, Proof, and Testing at Scale", with a preliminary schedule (it'll change a bit) at https://www.newton.ac.uk/event/bspw01/.  Registration is now closed but the INI will stream the talks live, at https://www.newton.ac.uk/news/watch-live/, and hopefully also record them.

best,
Peter, for all the organisers (Philippa Gardner, Neek Krishnaswami, Shankar, and myself)





  • [Coq-Club] Workshop on "Big Specification: Specification, Proof, and Testing at Scale", Peter Sewell, 09/22/2024

Archive powered by MHonArc 2.6.19+.

Top of Page