coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Isaac Newton Institute Virtual Workshop on "Verified software: From Theory to Practice",10th May 2021 to 14th May 2021 (Register by April 17)

From: Natarajan Shankar <shankar AT csl.sri.com>
To: "shankar AT csl.sri.com" <shankar AT csl.sri.com>
Subject: [Coq-Club] Isaac Newton Institute Virtual Workshop on "Verified software: From Theory to Practice",10th May 2021 to 14th May 2021 (Register by April 17)
Date: Wed, 14 Apr 2021 00:47:17 -0700
Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass (sender ip is 128.18.241.12) smtp.rcpttodomain=haskell.org smtp.mailfrom=csl.sri.com; dmarc=pass (p=quarantine sp=quarantine pct=100) action=none header.from=csl.sri.com; dkim=pass (signature was verified) header.d=csl.sri.com; arc=none
Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector5401; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=WQd0ujimbEnlPqSAC9GCgbbPNoC5GQD06JmVL4wGLdA=; b=FSIk8P5igcF0FyfBKRDzs8vToLZ2D4OHhHakXIv6ejQOoEN/nb3dW+BrGHOFwyrW2dOdsB/Ab+l3Jg9IddnFd+/xPC1oB2s1twMD3JMJ/2xQVOdGC2Jlnudez81zUsf+uRhtCRWvGL6J4Rx633/T2eYt23Duk4loxvoNX1xSGwq1nhIEcVaNRive5AoYKVFrny+l1zg57F7iQOyR8fGNP/1CHzoXMo9/H/bYqeCvQgu5+sv3dCGBX3KOgSwqaAW2BbR9wNj0b7M+T7Km+QpdwC73TkZFYcJ9wezoGS50C2Bl9qo2H+ymlqqiaGuZstyLQPbATxyk5Mns1fIaymyc/g==
Arc-seal: i=1; a=rsa-sha256; s=arcselector5401; d=microsoft.com; cv=none; b=NxYAXAizGqndLV9lVJaO/Hq5G04N9Ns4Ka+hYJkbuRPUkQV5bIWOQa14H6iBu/hu6D+u3hJoGUYRP1PijZasP5UAcfQIXG4mN0CxekFTI7vwvrPa3jYGdFE/2koVuugSZVjizg1MSuluDQkpMNWH0ZOBalAZVGfaB+dOwu9z+rFxSltA1W9e9IDE0HgIbVcVy7Bx6hgbSQbrS94UnyecKyK26W0qVg+xg0+a2WF/z8CmiR57KrdZSA1O3PQyYNtRBax+MBsmEuXzJ4H58vXlQVFlUvuGyDJ0ciXkleVKOOFLbn5IwpqCjJ+rZMlKYm8pv4LTPYwMG+PVnWpK/L4wxQ==
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=shankar AT csl.sri.com; spf=Pass smtp.mailfrom=shankar AT csl.sri.com; spf=Pass smtp.helo=postmaster AT USG02-CY1-obe.outbound.protection.office365.us
Ironport-hdrordr: A9a23:hptN7apX0G0kr2dJa7RWCNoaV5sOKtV00zAX/kB9WHVpW+SivYSHgOkb2RjoiDwYRXEnnpS6NLOdRG7HnKQZ3aA4Bp3neAX9omOnIMVZ7YXkyyD9ACGWzIRg/I9aWexFBNX0ZGIQse/R5g6kH9E8hPyO9661jenTpk0dPj1CQadm8gt/F0KnCUVwXgZLHt4UE5Cb68pBqVObCAQqR+68AWQIWPWGms3TmPvdEG87LjMEyC3LtzOn77bmDwOVty1zIldy6Jor7GStqX2F2oyNqPe+oyWsrlP7z5MTo9f5z8sGOcrksLlqFhzJqiKFILtsQKeDujddmpDR1H8PnMPXqxkte+RfgkmhBF2dmhfm1wn+3DtG0RaLpjHo4gqA0KmJIw4SMMZKiYJHfhac0XMO1esd7Itx022UrJZRBx/b9R6NnOTgbB12ilGy5UMrjO97tQ0sbaIldLRToYYDlXkldqsoISSS0vFeLMBTFs3GoN5ZfVSGBkqpwlVH8ZiBeE0aAwqcQkMfp8CZ9zRNhnh2wyIjtbkit0ZF25QnR5Ze4ePYdoxuibFVV8cTKZlwHeEbXKKMeyPwaCOJFFjXDUXsFakBNX6Ig4Lr4bkz+eGhcIEJypx3o5jaTFZErwcJGn7GOImr5tlm4xrNSGKyUXDG0cdF/aV0vbX6Wf7CLTCDYEpGqbrln9wvRungH9qjMpNfBPHuaUH0H5xS4gH4U55ObVEDTcwuvMohUV7mmLOPFqTa8sjgNNrDLrvkFjgpHknlBGEYYTT1LMJcqm+xXHvVhwXQRmPNdkTz8YkYKtmcw8EjjKw2cqFcuAkcjlq0ouuRLydZj6AwdExiZJPr+5nL5lWezCLt1SFEKxBdBkFa7PHLSHVRvzIHNEvybPIlt8iAf3tRmF+KPAV2Qc+TMAM3nSU2xYuHa7irgQwyAdOuNWyXy1EJomiRcpsakqqfoeH/ep05CZ4icLdrFRrCEiF0nQoCkhYDVCY0AmvkUh/+g6Ssi5IZQMvFccNnvQutKclI7VTFtUudoskrbmYHRD6kTdOajDsjQDJSm3d29KgSiqeBnjiOMAIE8aYFGWwJTF7SLKNNDQyDaokRoLztdQ1qZUqhhDCRiXgICyDX3nRXolakATyfePnNDFYYh2tR1bzy9khoMk+HeVhrV3x8uYphNGjPt3ppy9WXbq6r32b5UCpF/sgtdBX+JR0cLQNly4rpiFq7mDOeGW4nwZtrFOrHF7gne6zS3HToCIDgr9BwI9ZkuLJecPbpuas3dMjaXSm/BjbxEfko1AyYvWxNAlg+lFAU1dfTnCT452251kMlCfXcIF5aV6gWSuvsm1TMdrKt6tFFlto7suu7D3XpZvOHwa/RaSRfKhm7mx/Bc8gY7bRVt7k1rr19At3yVibJzmhO2HwFXYrJvXJbZKRw+7baPIBzO+QUZiJC51Is0PCCNlEivACzIugwezgW/jPmFuLMx7rDsrw0BEKd4CP2JFmE6iVYu87/YBHr789SN4sAZUJMaEY973x++vilbIO4MnTlS8hzuGCzPXOZcKVBIZL1UYktkg==
Ironport-phdr: A9a23:ZosReh+ir8Jmt/9uWfW7ngc9DhMPi/DPJgcQr6AfoPdwSMyLwZ3uMQTl6Ol3ixeRBMOHsqMC0ruO+Pm5BSQp2tWoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTagZb5+Ngi6oAHNusUZnIduN6k8wQbVr3VVfOhb2XlmLk+JkRbm4cew8p9j8yBOtP8k6sVNT6b0cbkmQLJBFDgpPHw768PttRnYUAuA/WAcXXkMkhpJGAfK8hf3VYrsvyTgt+p93C6aPdDqTb0xRD+v4btnRAPuhSwaMDE07G/ahtBtgK5CvB6tugF0z4rJbIyVMfZzeL7Wc9EHSmpbRstfSixPDJ2yb4UMAeQOM+lXoIvhqFUBtha+GQqhCfnzxjNUiHL736s32PkhHwHc2wwgGsoDvmzOo9XpLqgSS/q6zKvSwjXFcvhYxDf955LOchAiu/6MR697fM3KyUkvDQzFiFaQppb/Pz6OyusNqGyb4/B7VeK1im4rsR1+oj+qxso1jITCm40axEze+ypj3IY1OcO3SFR9YdO8EpZduC6UOpdrTs4/R2xluDs3x7MFtJO7fCYEx5sqyh/CZ/CbfIaF7R3uWfuPLDp6gH9oe6+ziRiy/0Wh1+HxSM+520tEoCpCl9nDrHEN1xrL58iBVPR88Fuh2TGJ1wzJ8O5LPVo4lbfYK5Mn37U+lYITvFzdEiL4gkn6kbOae0s+9uS29+jqZq/qqoKBO4Npkg3yL7oil8+lDeglMQUCRXWX9OS92bH54EH1XLdHg/srmafDqp/aP94UpquhDg9VzIkj7xG/Ai+o39oFnHcLMExJdAuZgofrJl3COff4AuyhjFi2lzdr2uzGMabmApXQKHjMja3tfa5n605b1Ao808xQ545VCrEGJvL/QEjxtNLWDh84LwO73ejqBdR9248ERGKPGbeVMKLUsVCW+uIiO/eAaYEPtDrgN/Qo6eTigWEllVIZZ6WlwIYbZG2gEvRjOUqZYH7sgtkbEWcNuwozVPfqiF2YXj5VZHa9Rbg86yonB4K9CYfPXJutgKaA3CuhApJWYWVGBkiWEXj0b4WER+sMaCWKL8B9iDMEULyhR5Yl1RGvrw/616FqLvHU+y0drZLszsJ55+zVlREo9Dx7Fd6R02+XT2tshGMHWyc23LxjoUx60lqMza94g+VBGdNP4/NJTxw1OIXHz+16DtDyQhjOcs2ISFagWNWmACs+Qsg/w98UMA5BHIDolRDK2SmjGZcejLjNH4Y1tKnb2jK5c919wnDF3bMJhEIiBNBVNCutgasppCbJAIuctUyFnryjd60alBXN/WGAxHDG6FpYWQhzWL/tVmsbIFDMrJLy4UaUHOzmMqguLgYUkZ3KEaBNcNC81AgubMemA8zXZieKo0n1BRuMwdukUbHFIz9Y9xSETU8OnkYU4GqMMhU4CmG5uWXCATdyFFXpJUTi/+h1pSjlEwkp1FPTB2VRkoGt8xtQvsSyDusJ19osszwl7S5uHRC22NeEU7Kol09aZKxZJOgFzhJC3GPduRZ6O/SIJLtmwEUEckJ8uEa8jn1K

                                                         Isaac Newton
Institute Virtual Workshop
                                                       Verified Software:
From Theory to Practice
                                                            10th May 2021 to
14th May 2021
                                                              Registration
Deadline: April 17, 2021
                                                         URL:
https://www.newton.ac.uk/event/vsow03

WORKSHOP THEME

Formal methods for the specification and verification of software-intensive
systems bridge the gap between theory and applications. Verification
techniques have to be tuned to application areas such as concurrency,
cyber-physical systems, distributed systems, machine learning, computer
security, networks, and programming languages.   The INI Virtual Workshop is
a precursor event to the program on Verified Software. It will involve an
intensive exchange of ideas between researchers facing the challenges of
cutting-edge applications and theoreticians armed with the conceptual tools
to potentially address these challenges.

SPEAKERS:
Amal Ahmed (Northeastern), Jade Alglave (ARM/UCL), Rajeev Alur (Penn),
Karthikeyan Bhargavan (INRIA), Ahmed Bouajjani (Paris 7), Adam Chlipala
(MIT), Veronique Cortier (LORIA Nancy), Javier Esparza (TU Munich), Aarti
Gupta (Princeton), Thomas Henzinger (IST Austria), Maurice Herlihy (Brown),
Sir Tony Hoare, Justin Hsu (Wisconsin), Zachary Kincaid (Princeton), Marta
Kwiatkowska (Oxford), P. Madhusudhan (UIUC), Rupak Majumdar (Max Planck
Institute), Annabelle McIver (Macquarie), Anca Muscholl (Bourdeaux), Pavithra
Prabhakar (Kansas), Jean-Francois Raskin (Université Libre de Bruxelles),
Ilya Sergey (Yale-NUS), Sanjit Seshia (UC Berkeley), Alexandra Silva (UCL),
Victor Vafeiadis (MPI-SWS), Martin Vechev (ETH Zurich), Hongseok Yang (KAIST).

[Coq-Club] Isaac Newton Institute Virtual Workshop on "Verified software: From Theory to Practice",10th May 2021 to 14th May 2021 (Register by April 17), Natarajan Shankar, 04/14/2021