coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Leonardo de Moura <leonardo AT microsoft.com>
- To: "isabelle-users AT cl.cam.ac.uk" <isabelle-users AT cl.cam.ac.uk>, "coq-club AT inria.fr" <coq-club AT inria.fr>, "hol-info AT lists.sourceforge.net" <hol-info AT lists.sourceforge.net>, "mizar-forum AT mizar.uwb.edu.pl" <mizar-forum AT mizar.uwb.edu.pl>, "acl2 AT utlists.utexas.edu" <acl2 AT utlists.utexas.edu>, "agda AT lists.chalmers.se" <agda AT lists.chalmers.se>, "pvs AT csl.sri.com" <pvs AT csl.sri.com>, "cicm-members AT lists.informatik.uni-erlangen.de" <cicm-members AT lists.informatik.uni-erlangen.de>, "types-announce AT lists.seas.upenn.edu" <types-announce AT lists.seas.upenn.edu>, "lean-user AT googlegroups.com" <lean-user AT googlegroups.com>
- Cc: June Andronick <june.andronick AT proofcraft.systems>
- Subject: [Coq-Club] ITP 2022: Call for Participation
- Date: Wed, 25 May 2022 00:21:22 +0000
- Accept-language: en-US
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=microsoft.com; dmarc=pass action=none header.from=microsoft.com; dkim=pass header.d=microsoft.com; arc=none
- Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=LXH0se6BeSl0df/BhVybmyi1DZSvrHBM7IDyagWB00c=; b=XPJz2ozPKBquSdRNYbFQs6jouqBRJ1hL4xg68986arELtllhWBIpQ4sF2rAziQlMkYbLvCH3lZQDht5qN87D3rqFc2c88uNnA/gPQrwtcRNcoxDs9/G2xlgq3xX9kP+c7olIq98ARDOcnf3xDUkCS1SXMbk+cV/I3/JMsXjUo9XHcf+Xt2+whxkeuE/eofGT2XulzHV2YXSfsZTBtTKfx3vMpWNE7DuJiWWCS6rJkgOKpcx6zE8W3i1dcZYd+pCc2VwHKVyQQ+Tm3eI8RsNCnDT8qP2gfcsXErk+pBJggGWTpjtGOoDIKz+wq3u8M2IYP0fSZLyO2F3ByJje1gp+dQ==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=IXJuZCpCmdVVnuzG26tgbfiFDedXjizyEQdIJafaVSS+YP5OD/M04p3h3iyvbUZOprDX5OXxshng6q97YLk2lL0KzxUBzhnd4jiCUNkOaFSXHqURNEpKxYWwg2P7Mn6rdPu3mepS+71xd1eax1K0ePY/wkPTxGD7qYnf7AUToQLohzr1HsgC9YqmEcefaw0JS32C/AIzJYqPf6pZlCHW/Tnl9f8ooobC/mrhtjjSI5e+vqa/rR8e47JlG3EUVXv/VRYF3EXTJiL4BkItC8lNgmeU0YXMlVJ1cNn6v+3LzOvhxQuKrWk846doX670hcRNMmO0co1qPnL+Y4pyvVtTxA==
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=leonardo AT microsoft.com; spf=Pass smtp.mailfrom=leonardo AT microsoft.com; spf=Pass smtp.helo=postmaster AT na01-obe.outbound.protection.outlook.com
- Ironport-data: A9a23:3OstTKtYIxHpRwcJWcBaJTMtiefnVFdbMUV32f8akzHdYApBsoF/q tZmKWnQafuMa2r8ctx3ati08RtQ78XVz9QxGQBv/Ho3QykVgMeUXt7xwmXYb3rDdJWbJK5Ex 5xDMYeYdJhcolv0/ErF3m3J9CEkvU2wbuOgTraCYEidfCc8IMsboUsLd9UR38g52LBVPyvX4 Ymo+5CFZAf+s9JJGjt8B5yr+EsHUMva42twUmwWPZina3eD/5W9JMt3yZCZdxMUcKEMdgKJb 7qrIIWCw4/s10xF5uVJPVrMWhZirrb6ZWBig5fNMkSoqkAqSicais7XOBeAAKtao23hojx/9 DlCncHvaUA7GLzUo8gccjR7MAxcGbEa+5aSdBBTseTLp6HHW33lm6wrC0s7e4oF5uxwHGdCs +QCLywAZQyCgOTwx6+nTu5rhYIoK8yD0IE35ysmlGmAS6h8B8qeK0nJzYcwMDMYgs1JG//Ea 80xbDtkdhPbZBNTfFwQDfrSmc/x2yGlLWEA8Tp5o4IGySvI7wJrwoTUc/GKWOSub8tRnmSX8 zeuE2PRWUhBb4P3JSC+2nmrn6rEmT7xcJkDEaWxsP9smlyagGIJYCD6TnO+qPi9z0WzXc5FI kgJ4SM8qq5rrRTxF4GnAlu/vWKOuQMaV5xICeom5QqRy63SpQGEGmwDST0HY9sj3CMredA0/ gLWv5T7Iy13i5GUaF++1Zq2iS/uOgFAeAfuehQ4ZQcC5tDipqQ6gRTOUstvHcaJYjvdSW6YL 9ei/HdWulkDsSIY//niowid2lpAsrCMH1Vrv1+MNo6wxlkhDLNJcbBE/rQyARxoAIuCBnyGv X4JgKByB8hTVcrVy0RhrAgddYxFCt6AOTzYxFViGYU7/jCw4HexeoYJuWkkfR8zb4ADZCPjZ 1LVtUVJ/phPMXC2bKhxJYWsF8AtyqumHtPgPhw1UjasSsYqHONk1Hg0DaJ144wLuBNw+U3YE czGGftA9V5AVcxaIMOeHo/xK4MDyCEk3n/0Tpvm1Rmh2rf2TCfLFOxZaQTWNL5ms/LsTODpH zB3Z5riJ/J3AL2WX8Ur2dVCRbz3BSRmXsGv8pQLHgJ9ClA8Rz54UZc9Po/Ni6Q+xv8OyY8kD 1m4W0RCz0H4i2GPIgKQcnd5Ya/uWpAXkJ7IFX1EALpc4FB6OdzHxP5HKfMfJOB3nMQ+k6IcZ 6RbKq2oX6QeIhyaqm91RcSs/ORKKk737SrQZHDNSGZkIPZdq/nhoYKMkv3Hr3VVUUJadKIW/ 9Wd6+8sacNaG108XJ+IOZpCDTqZ5BAgpQ67ZGOQSvE7Rakm2NECx/XZgqBlLscSBw/EwzfGh Q+aDQ1B/rvIooQv98LOi7zCpICsSrMsEk1fFmjdzLC3KSiEoTH6nNEQCL6FLWLHSWf52KS+f uEJnfvyB/sKwQRRuI1mHrc3kK8zvoO9p7JTwgl+Mm/MalCnVuFpLnWchJIds6xG3LhCvgWqH EmI/4ACa7mOPcrkFn8XJRYkMLvYjKxKymGK4K1sckvg5SJx8L6WamloPkGB2H5HMb94EII52 uN96sQY3Aqy10gxOdGcgyEIqmmBIyBSU6gjsZ1GUobnhhB3kgNEaMSFTyj87deIdslGNVQsL nmMnq3eir9Ax03ENX0uCXzK2ukbjpML4UgYwFgHLlWPu9zEmv5og0IIoW5rFlxYnkddzuZ+G ml3LEkqd6iD+jFfgsIcDW2hHgd2AgKUpx7qwFwTmWyFFESlCj7XIGsmNbrf9UwV6T8MLD1S/ bXdw2vjTSzjeNzq1zk1Xxc886a6FYYssArfhMqgAsKJWYEgZiboibOvYmxOrAb7BcQ2hwvMo uwzpLR8bqjyNCgxpawnCtbFiu1AEkzcfGESE+t8+K4pHH3HfG7g1DWLLXe3cJwfKvHP93i+F MEzdNlEUA6z1XrVoz0WbULWz2SYQBL0CBs+lrLXyaoutbLH939uup+W8TXijmg2Rdkoidw6N o7aazOFFCqXmGdQnGjO6sJDPwJUpPEaMRbk0rndHPohTvo+XCNEKCneEYdYe12QMQB9+AmTs h+FbKjTpwCn4Zo5hJPiS82vGC3tQe4el420HMSbttVFd9TUNsnS8QgSrzEL+uiQ0aQ5A7xKq FhGjDI7MI4pclr7v6A1VqRtz5V02Pg=
- Ironport-hdrordr: A9a23:zfeYTK/voOsD1ZMx8Ntuk+Ffdb1zdoMgy1knxilNoENuH/Bwxv rFoB1E73TJYW4qKQodcdDpAtjifZquz+8O3WBxB8bpYOCCggeVxe5ZnOzfKlHbehEWs9QtrZ uIEJIOReEYb2IK6/oSiTPQe7lP/DDEytHQuQ609QYOcegeUdAF0+4PMHf/LqQZfml7LKt8MK DZyttMpjKmd3hSRN+8HGM5U+/KoMCOvI76YDYdbiRXpzWmvHeN0vrXAhKY1hARX3dk2rE561 XIlAT/++GKr+y78BnBzGXehq4m1ucJi+EzRfBkuPJlaQkEuTzYJriJnIfy+QzdldvfqGrCVu O85yvIcf4DrE85NVvF3CcFkzOQrArGrUWShWNwyEGT3/AQSF8BerV8rJMcfR3D50U6utZglK pNwmKCrpJSSQjNhSLn+rHzJlhXf2eP0A0feNQo/gpiuEolGc1shJ1a+FkQHIYLHSr85oxiGO 5yDNvE7PITdV+BdXjWsmRm3dTpBx0Ib1y7a1lHvtbQ3yldnXh/wUddzMsDnm0Y/JZ4T5Vf/e zLPqlhibkLRM4LaqB2AvsHXKKMeyTwaAOJNHjXLUXsFakBNX6Io5nr4K8t7OXvY5AMxItaou W0bLqZjx9GR6vDM7z/4HQQyGG9fIyUZ0Wf9v1j
- Ironport-phdr: A9a23:5R2FjRJJQ4uS7OhOrdmcuJpoWUAX0o4c3iYr45Yqw4hDbr6kt8y7e hCFvrMy0BSSBM3y0LFts6LuqafuWGgNs96qkUspV9hybSIDktgchAc6AcSIWgXRJf/uaDEmT owZDAc2t360PlJIF8ngelbcvmO97SIIGhX4KAF5Ovn5FpTdgsip2e2+4Z/ebgpHiDezfL95M Qm7oxjWusQKm4VpN7w/ygHOontGeuRWwX1nKFeOlBvi5cm+4YBu/T1It/0u68BPX6P6f78lT bNDFzQpL3o15MzwuhbdSwaE+2YRXX8XkhpMBAjF8Q36U5LsuSb0quZxxC+XNtDtQLsqRTqt8 btkSB7wiCcGKTE59n3Xitdth65fuR6tugBzz5LRbIyTM/VwY77dfcgCRWVfQslRSyJPAoS5b 4QVDuoBO/tTo43yqlYKqBezAxSnCuHyxT9SnnL43bM03vo8HwHa0gIuHNwOv3bIo9r6L6odS /y5wLXSwDnfc/9axDHw45XIfBA7pvGMWKp9f8zPxkkoEQPKlE+QppHiPziIy+sCrXWQ4e1nV eKykW4osRx6rz+rxsgyjYnJgJgaykrZ+iV+24s1INy4R1JhYd6jC5tQsC+aN5dsTsw+RGFov T83x7sbspG0YCYE0o4oxwLDa/OZaYiI5AruWuiPLDtki39odq+zihaz/EWhzuDyVsa63VdXo ydEjNTBqGwB2wLT58WGS/Zw4lqt1DKM2g3c9u1JPUE5mKXbJZMn37U+mJ0TsUHZES/3nkX7l KGWdkEj+ue09ejrfqvqqoGGO49zkAH+PbwimsuiAeQkNggOWG+b+eem2LL/+k35Ra1GjuAxk qnFrJDVP8oaqbSjDwBJyIkv8xe/DzC90NgCh3YIMEhJdw6Bj4TxNFHOIez4Dfeig1u3ijtrx vfGM7v8CZvONnjOiLfscahn50JB1AY/0MpT6pNKBr0bPv7+Wlf9uMLZAxMlPQG5xvvrBMlm2 Y4fXG+AGLOVPL3XvFCU4u8iJuyBaJEbtTv7NvMr/eThjWUjll8YZaSp3YUYaHS/Hvl+JUWWe 2bgjsoYHWcNpQUxUvbmiFqfUT5PfHmyWL885jcmB468FYfDXIetgKCf0yinAp1WZ2dGClaWH XfvaoWER/MMaCWVIs9iiDALSb+hS4o52RGvsg/11aZnI/LU9yEGr57vycR56/DJmRwz6zB4F dqR3mGVQ2FxhGwIRjs23K5loUx6z1eOyax4jOJfFdxV/fxJSBo1NZnHwux/CtD9RhjBftCSS FahTNWmHSs9Qc42w98Le0p9Hc6tgQjZ3yW2G78Vi6CLBJss/67Bx3TxPdpyy27a1Kk9iFkrW tdANWq/hqJm6wfTA5PJnF6CmqaxdaUc2TbN+32ZwWqPukFYSg9wXr/fUXARfEuF5ej+swnDV LakBLAjP05c0sOYMYNBbpvihFAATfylJdeUKzawgG66CBKMy/aRd4fwYE0W2GPWAU1CmgtV4 HXQcUB0DSC45mnaETZGFFT1Ykqq//M04CewSVZxxAWXZWVg0aC081gbn6rYA7kT2bZBuSEvr B1wHU2hxJTNDMearAdve79TbJU77UsNnTbZsAg4P5quKIhmh0UCaEJsuF703Bh5DZ9PnI4so W98iEI4LKOK2UkEeTSCwJXYP7zFI3O04Q+lLaPaxxfG1JzerqIO+v0i7lvkphysPk8j4Xx9l cRK2T2R6oiMFA5EFdq7W00zrTBnu7XbeTUmoZ7I2G1lKu+5viKIk4YgD+9/4gu8e9ZELLjCC RP/A8QBQcWiNbpu0xKgYR4NFORT77Ivecimfv+D1bSwev1t1nryhGtL6ah501mQ7Gx3SufM2 psf2LeD013DH33kkkyJudvz35teZHcZGW/1gXz8GpV5bbZ2O50RCCGlJMjhgp00jJ/mXjtd+ VupCkkd8MuoYgaJKV370wpK0E0LoH/hhC25ijFulzgvoaeZmiDDiay2fxsMPytOSWxogE33C Yy1lMwBGkmuYQ8zkRK55EW82q5a4allK2DVTkpOOST7eSUqGLehrreZJsdJ7pQ1ty5aeOC9e kyBDKXwqgBczjvuGW0YyTwmPXn+poThkgc/gWSbK2t1p3fxfcBr2QyZ/9HVXrhMxjcAQm91h SSBQhD2O9Sg+5CJjJrZmu+5UG2lW5JJdjTz1sWLsy7xrTluDBS52u2ol8fPHg893iv22MNtS D3T6h37Z9+4+b69NLdDc05uDUXw7IJ2F8lblZYqjdlE3XUdgJyP8X0vlGb4K9JA3qziKnEKQ GhYkJbu/AH51Rg7fTqyzIXjWyDYn5IJj7iSZ2oX3nl49MVWEOKP66QCmyJpo12+pAaXYP5nn z5bx+F9oGUCjbQvvwwghj6YHqhUBVNRaCjhkBKB9dy5hKBWb3yoar++yAx1mtXyRKqarFRkU W3iMownATc268x+NFzW13im7ozjftDKYdU7sxyfiRDbiOZJbpk2k6lCnjJpbFr0pmZt0Osnl Vpu0JW96ZCAMHlo9bmlDwRwMDStPoYU8DyrirtClMGL2YzpBo9mBjgAQJrvS7SvDS4WsvPkc Q2JFVXQs1+9HrzSVU+a4UZi9DfUFoyzcmqQPD8fxMljQx+UIApehhoVVXM0hMxxEAfi38Hnf Epjg1JZrlflthtBzP5pPBjjQy/eogmvcDI9VJmYKlJf8AhD407fNcHW4Ph0GmlU+ZiorQrFL WL+BUwACWwOXEWeC1fLO7il/97b9OaEQOG5KrqGYLmDr/BfS+bd3YimgcNt+zeBMNnKP2E3U qd9gxIaGy4jXZ6EyFBtA2QNminAbtCWvkK58yxz9YWk9ejzHRno/c2JAqdTNtNm/1a3h72CP qiennUcS34Q25USyHvP0LVa0kQVjnQkczSqF70auSnlSaPbgKhMCBAHLSh0MYEbisB0lhkII sPdht7vg/R8g/kzAk1JUnTkm8qzYtcNLX37P1TCThXuVvzONXjAxMf5Zrm5QLtbgbBPthG+j j2cFlfqIjWJkzSBuwmHCehXl2nbORVfvNr4aRNxES34S8qgbBSnMdhxhDlwwLsuh3qMO3ROe TR7dkpMqPWX40Y6yr17FmtH52BpKsGBmi2D6PLfJIpQuvxuSih5jONV5n0mxqAdsXsCHaQs3 nWI6IQz61i92vGC0D9mTAZDplMpzMqQsENuNL+YvphMVHDY/Q4cuGCZChAEvdxgWZXkv6Fdz MSKlbqmdW0EqoqNu5VGQZKJe6fleDI7PBHkGSDZFl4ARD+vbiTEglBF1eqV7juTp4Q7rZ7ln NwPTKVaXRo7DKB/aAwtEdocLZNwRj5hn6SciZtC4Xe5qhDLSMJyu5HMTPWJBvvzbj2eiPMXA nlAiaO9NokVOoDhjgZmZ158lZ7GHGLVXNtXpTZmYBNyq0JIuisbLCV7ywfubQWj52UWHPi/k 0stiwdwVu8q8S/l/1Y9IleZ7Dt1ikQ6ns/pxCyAaDOkZrnlRplYUmCn0ip5eoO+WQt+ahe+2 FBpJCuRDawElKNuLChqkFOO5cMJSKQaFescJ0ZNjfCPO6d0iRIF8nrhnQkforKbbPkq3AoyL czx9TQZg1olNJhtYvWMbKtRkgoJ3v7I4nDujqZph1ZBb0cVrjHIcXZR6hVRb+soe3LwrL4rt Vzn+XMLeXBSBaAj+qs4rxpkaercl3mygfkfegiwMeebMq+U6XPYm8LOWkk3yk4Di0hC+/5xz NsndE2XEUsoyd7zX1xMPM7GY2m5duJq/WPINWaLuOTJmtduOpmlU/vvVamIvboVhUStGEAoG Z4N54IPBMvk3EbdJMbhZLkLrHdlrBzsP0mABe9VdQijlj5f+oS4xpIx2pRBLDYAB2k7KT+w+ rvcug4thryEQcsyZXAZGIADMxdUEIW2ljVYsHJJEDSsmr9DjlHatnmi/GKKUXH1dJJ7ae2RZ A9wBd3+4jg5/6WsyBbW/pjYO2DmJIFit9vIuoZ4796MD/JZS6U4sl+JxtMeHiTzFTCVV4Tod P2SI8E2YNf5C2i3SAm6gjMxFILqOcq1a7OPmUfuTJpVt4+S2HYiM9W8H3cQAUQVxalL6aRia AkEe5d+bwTvslF0M6G4Jg6C3tKGRmemMzxNSPdDi+69YvYEqkhkJv//03YmQpwgmqOv9lURQ ZgRkhzE7fCqP9AbViL+XHtAZw/IuCw10XB7Mfo/yfs+xxWOtkQANzeMd6pib2kO7LReTRuCZ H5xDGQ/XVqVi4HOtxWt074l9CxYh99I0OdBvSu2rtrFbTmrQqDutYTNvn9qc409u6Moe9+GQ IPOpNbEkzfYVpWVrgCVTHvwCa9BgtYJaCNAHKsUwSd0Y4pe/9IGsBd5V99ideAXTvB0+fbyL 2IjVHB3r2dRVpvcjmFYxL7kg/2C0E/XKchqMQRY4swa3p1BDGguJHtZ/fDrVp2IxTWNEjFZe V5KvwoQvFpSxMgsLoWHqMLJVMEekTcO+qAtC3KZGMUwrAmpDT3GyVn+Q/G8n+H7xhpcwLT0y N4HVRVjCE9bgeFLik8vL7IxIK4V2+yC+nqBcUew1IoI4O6nL0NW0sraaxvzC4+X7QIUswUa8 CVNAIhFxTfYCIgYlBd/ZOAzvlJQLYu6e0H4oTs524BuGLr+XseulQ9NRZkuQiahCd1aDO969 lnQXW88C60=
- Ironport-sdr: o5CgJSw0WQLyI+trQjwidriO4oJejmaSdanc2L3P90rTKotbD3fVbXj2fWIy5xt0E7j5pz1Yku FWqSvjpih5ttGqWiGfrSK7lBbNUVVzSF+M7bUFDbFapfxlYQDMYnrXp2qMsXh5wNZHxFHdqM8S G2nyjsgN4LpWwcU8jm4RqqsCNCD5Bp3s9uBa7pdHcGunSkWtZXNMOpFpZtPeHrQPgFZazWmarx 1VAdGqZiR9XWefyBLaZVihIF9Sq7ik/rxQo5t10F8eBv07yuuq3aHSmdCmyY41WgMXQsqW+655 0emP28W40qOtAwfIv9QXGoxg
- Msip_labels: MSIP_Label_f42aa342-8706-4288-bd11-ebb85995028c_Enabled=True;MSIP_Label_f42aa342-8706-4288-bd11-ebb85995028c_SiteId=72f988bf-86f1-41af-91ab-2d7cd011db47;MSIP_Label_f42aa342-8706-4288-bd11-ebb85995028c_SetDate=2022-05-25T00:21:22.506Z;MSIP_Label_f42aa342-8706-4288-bd11-ebb85995028c_Name=General;MSIP_Label_f42aa342-8706-4288-bd11-ebb85995028c_ContentBits=0;MSIP_Label_f42aa342-8706-4288-bd11-ebb85995028c_Method=Standard;
Call for Participation
The International Conference on Interactive Theorem Proving (ITP 2022) will take place on August 7-10, 2022 in Haifa, Israel. It will be part of FLoC 2022 https://floc2022.org/.
FLoC2022 will be a physical conference. The FLoC organizing committee will make every possible effort to ensure everyone is able to attend in person.
They are, however, very much aware that there might be members of the community who cannot travel to Israel.
The ITP conference series is concerned with all aspects of interactive theorem proving, ranging from theoretical foundations to implementation aspects and applications
in program verification, security, and the formalization of mathematics. This will be the 13th conference in the ITP series, while predecessor conferences from which it has evolved have
been going since 1988.
Registration
You can register for ITP 2022 using the FLoC 2022 registration page.
Invited Speakers
Amy Felty, School of Electrical Engineering and Computer Science (EECS), University of OttawaBohua Zhan, State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
Conference Website
- [Coq-Club] ITP 2022: Call for Participation, Leonardo de Moura, 05/25/2022
Archive powered by MHonArc 2.6.19+.