Skip to Content.
Sympa Menu

coq-club - [Coq-Club] FSCD 2024: Free online participation, 10 - 13 July 2024

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] FSCD 2024: Free online participation, 10 - 13 July 2024


Chronological Thread 
  • From: Carsten Fuhs <c.fuhs AT bbk.ac.uk>
  • To: <cl-isabelle-users AT lists.cam.ac.uk>, <types-announce AT lists.seas.upenn.edu>, <rewriting AT ens-lyon.fr>, <ProofTheory AT Lists.Bath.Ac.UK>, <coq-club AT inria.fr>, <caml-list AT inria.fr>, <clap AT groupes.renater.fr>
  • Subject: [Coq-Club] FSCD 2024: Free online participation, 10 - 13 July 2024
  • Date: Wed, 3 Jul 2024 08:51:15 +0200
  • Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=bbk.ac.uk; dmarc=pass action=none header.from=bbk.ac.uk; dkim=pass header.d=bbk.ac.uk; 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=5NFSGLBQLCm3uVdKnrUIkC3YM3syrKPTymqs8o+B/vM=; b=DQIJIxfVQfM6LXPDnaOJeMVhlDVP2CTBxDEdvEj1S+ZetSg3ekodukMVP6FCnod5SlXE5LBq8lTpGYNLcICGyHoxi41esEjETuOW7b7HjRfQkaqnsfVhjN/eHr5MFM3MZRgUr2j7BdbcY9ELkHVmZRpmOAwQ/c9kzO1CLaDyrHN8DeTKmZi3MT6ROnNlUReqMUutrvARFlFclbzsXzC226s9f48cYOs3N2SKWeNgpDn7OLkPIJLYFzpCg7eqHwAVUZIRE+jTky21Iw99WnlrTPqfcYYntBuK9of/WGSMehHvXO4Q9ZHUYUh8TpseXVrx+d/pNIL7oIRD4Hy4XnQO5w==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=Bf+F9omBZBhpHxWFfvbZNKHOugwSyyd2Xb93xNkzY+PvGwk9kRZR3dkTBlw3attPSXr3tBn79QgQ3Euwl9DBtjcQs7/Zgoa/RLmsidRrxcBT1wNzR0ZggQkXF3IWoXkSUSVkKkRh4RTNfnrSg6K+VRnivH2irk24R+4R3tSl5OxTltOJAA/iDHA7WXW7f0S4vgEQ9hDd+4iyLwfRgXGxp3VfieM6ZjMKNH1auesqaRd7qI706zz7ME4rQlznu1eHdLYsl2JFLe6HQTRAHcO135bU6ksJS6OG8oPhx/leAD8i0YWTIoh3p2mVLNJHlObmsVRx9n2ZtZgTLzxaxluMGg==
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=c.fuhs AT bbk.ac.uk; spf=Pass smtp.mailfrom=c.fuhs AT bbk.ac.uk; spf=None smtp.helo=postmaster AT egress-ip19a.ess.uk.barracuda.com
  • Ironport-data: A9a23:bODImqN39mTeIDXvrR0dk8FynXyQoLVcMsEvi/4bfWQNrUp31mYEy WQWWDvSPfaIMDP8foxzbY+y9xtT6sfdyIUyQXM5pCpnJ55ogZqcVI7Bdi8cHAvLc5adFBo/h yk6QoOdRCzhZiaE/n9BCpC48T8mk/vgqoPUUIbsIjp2SRJvVBAvgBdin/9RqoNziLBVOSvU0 T/Ji5OZYA7NNwJcaDpOt/rc8Eg35ZwehRtB1rAATaAT1LPhvyJNZH4vDfnZB2f1RIBSAtm7S 47rpF1u1j6xE78FU7tJo56jGqE4aua60Tum1hK6b5Ofbi1q/UTe5EqU2M00Mi+7gx3R9zx4J U4kWZaYEW/FNYWU8AgRvoUx/4iT8sSq9ZeeSUVTv/B/wGX9YSPI7LJyE30Qfq4e28NLBXltt tIxfWVlghCr34pawZq2RfNhnd9mLdGybYpZt2p7iyzaS/wvW4rKSLjG7JlT2zJYasJmRKaYP pFCL2M0MlKZOkEn1lQ/UPrSmM+jwHficyZwoliW46M8pXXQpOB0+Om0aoOKJIXTLSlTtk++r Ub20ifkPggXJO6T+weJ7nKxu+CayEsXX6pJSOLmr6Qz6LGJ/UQYDwRTXl+mq9Gim0umUpReL VYV82wgt8Aa/0WuSpz5XgakiGWVuwYVHdtWCewzrg+Xopc4+C6UCXIJVSUEacR/5cZwSCcxk EKK2dngHyZmu6CZQDSW8bL8QS6O1TY9Fn1aQQBDURQ5xZrApqAWshbXbZVNOfvg5jHqIg3Yz zePpSk4orwci88Xyqm2lWwrZRry+fAlqSZqvm3qsnKZ0+9vWGKyT6OCgWU3AN5NI5yUVULEv WBdysHY4fsVS4yO0iaEWv8EF6yl7rCONzi0bb9T83sJqGrFF52LLOi8BQ2Swm81ba7onhe1P yfuVft5vsM7AZdTRfYfj3iNI8or17P8Mt/uS+rZaNFDCrAoK1bWrH0yPRfKhjG2+KTJrU3ZE cfKGSpLJSdCYZmLMBLmG791PUIDmX5inT6MG8iTI+qPiObOOyDOE9/pz2dinshisPza+V+Mm zquH8KPwgdYVqXibyLX94kXKl8LIGNzBJb97aRqmh2rc2Jb9JUaI6aJm9sJItU994wMz7ug1 i/mACdwlgGg7UAr3C3XMBiPnpu1A8YmxZ/6VARxVWuVN48LONj3t/5OKMdpI9HKNoVLlJZJc hXMQO3Yatwnd9gN0251gUDV/dw8Jie4zxmDJTSkazUZdpttDV6BsNz9cwelsGFEAiOrvIFs6 /etxyHKc6olHg5CNcfxbO7w7lWTuXNGpvl+cXGVKfZueWLt0rNQFQrPstENLfohFzD/1xqB9 gPPAR4ntejH+IA019/ShJG7lYSiEsogP09kGWLe06S9JHDC9UaOnL57DeKDJhXAWFzv5ZSnS /Reyt/+PMI9nHJPlZR2KJdw7KcE/9C0jaRr/gdlO3TqblqQFbJrJEed7/RPrqFgwrx4uxO8f ECE6v12GOyuFpv+MVgzIAEFULyy5csMkGOP0cVvcVTI2iBn2ZGmD2NQBkCoow5AJuJXNIgF/ 78QiPQO4VbititwY8e0tQEKxWGiNXdabr4GsKsdC4rVigYG7FFOTJjfKy3u6qG0dNR+HRg2E wCQmZb9qexQ9mjaf1o3MEr97+5XqJANmRJNlXspBVCCnPjbjf4WgjxV1xkKTTpu8xYW6NIrZ 1BXNHB0K56eoBZupsxIBF63Fy97WRa2x03WynkyrlP/cXWGbGL2AVcGCb6/x3xBq2N4VRpHz Y6c01fgAGrLftmu/y4cWnxFiv3ETP5wxwjZhfGYOtmJIII7RRHHgaaeQ3UChDW6IME2hWzB/ fJL+sQpY4LFFCcgmY8JIKjE6qYxETeqfHdjR9Nl94M3RVDsQim4g2WyGhrga/FzKOzv2m7mL c5Xf+ZkdQm0jQSKpRAlXZ88Gad+xqMV1YBTa4HQBDA0tpWEpWBUq7PWzC/1gVErT/hIkcoQL oDwdSqIIlePhEl7ynP8k81ZBlWWOdU0RhXw/OSQwtU7E5gutOJNc0Zr9pCWu36TEhVs/jPKn QflSpLV8ddfytVXr9OxKplAOgS6EsOsdeKq9Avojc9CQ+mSOujztiQUiGLdASJoAZUrVe5Ky Iu96OzM4BudvZIdcXzopJ2aJqwYueSwRLV2N+z0Hll7nAyDes7d5gAeyl+dNJB2i9J5zeukT jued8GfW4M0WdBc5XsNcAlYMU8XJJrWZ5fahxGWjqqzGDlE9iKfN/Kh13viTV8DRx8yI5ekV zPF4ae/1O5XvKFnJUEiBcg/J7RaPVW6e68tV+OphAmiFmPy32+z4OrzpyEBtwPOJGKPSvvhw JT/QRP7ShS+lYfIwPxdsK1wphcnN2l8s8ZhYnMi/8NKtB7iAF4kNeg9NbA0OqNQmAH217D6Y 2jpR0kmAiPfQz9FUEvd5PLOYwShPdENa+zJfmERw0CpaimIXdLKRPMr8yp7+H55dwfy1Ozte 5lU5nT0OQP32Z1zA/oa4vugm+p82/fG3TQy9Fvgl9DpSQMraVnQOKeNwCIWPcAGLy3MqKkPD WU6X21fWwS6URegGIBtYGUTBRJftjr11TwjcCuGht3Yvu13CQGGJOLXY4nOPn8rNazm54Lig Vv9TWjL6mvQx397VW4BpYcymaEtYR6UNpHSEUIgLDH+W4m64GdhNshEgClnoATOPuJAOwu1q wRAKETSyKhIxI69FVFWJcg0F0pNb08x
  • Ironport-hdrordr: A9a23:xuuGJqvgCYjudfwk7TOJFtn97skCH4Aji2hC6mlwRA09TyXGra GTdaUguyMc1gx/ZJhBo6HiBEDyewKkyXcT2/hsAV7CZniahILMFuFfBOTZslrd8kHFh5ZgPM RbAtZD4b/LfDxHZK/BiWHSebtNsbv3lZxA7t2utEuFIzsaEZ2Ioz0JbDpzQHcGAzWvpPcCZc ChD5981n+dUEVSReiAPD0iQ/XJocHNmdbdeBYDQyUq8Q+UkFqTmebHOind9TslaXdo3aoo93 TDnkjC/62m98uwzATRvlWjtqh+qZ/L5uF4QOqRl8MSNjLgzjywbIAkYaCLoSwuydvfs2oCoZ 3mjy0be/168G7KF1vF5ycFjzOQlArHvBTZuCClaDbY0LrEbQN/L/AEqZNScxPf5UZllNZg0J hT12bck5ZMFxvPkAn0+tCNDnhR5wKJiEtntdRWo21UUIMYZrMUhYsD/HlNGJNFOC7h8ogoHM RnEcmZzvdLdlGxaWzfowBUsZWRd0V2Oi3DblkJu8ST3TQTtHdlz3EAzMhapXsE/IJVcegw28 30doBT0J1eRM4faqxwQM0bR9GsN2DLSRXQdEqPPFXODsg8Sj/wgq+yxI9wyPCheZQOwpd3so /GSklkuWk7fF+rIdGS3adM7gvGTAyGLH7QI/llltdEU4DHNfTW2XXpciFuryLgmYRVPiTjYY f+BHoMaMWTbVcHGu5yrn/DstdpWDojufYuy6UGsmK107P2w7LRx5zmmdboVc7Q+GUfKxTC6z 04LXrOGPk=
  • Ironport-phdr: A9a23:1K6fkhQ6d4m64uLlnfO/CBUjXdpsopaWAWYlg6HPa5pwe6iut67vI FbYra00ygOSBcOCtbkd07qe8/i5HzBasNDZ6DFKWacPfiFGoP1VpTBoONSCB0z/IayiRA0BN +MGamVY+WqmO1NeAsf0ag6aiHSz6TkPBke3blItdaz6FYHIksu4yf259YHNbAVUnjq9Zq55I AmroQnLucQbj5duJrwsxhbIrXdEZvhayGB1Ll6Xgxrw+9288ZF9/ylUof4t69JMXaDndKkkU LJUCygrPG8y6MD3rxfPSheB6GUBWWsMiBpIBAbF7BD+Xpjvtybxq/Rw1iqHM8DoVL44QTut4 btlRx/ukycHKiU28HrLhcxqjaJUuwyuqhpiyIPJeo6VNf5+fqTAfdMGQGdKQ8hcWzBdDo66c oACCfcKM+RFoInnv1YArhWwCgesCu3y1DFHmnD40qIh3uQ9EwzLxhAsE84QvHnWqtj+KaccU fqyzKnN1TjOcelZ2S3m6IjUbB8hp+yHU7JtccrR0kkkCgTIgUmKpYzrIjOV1v8NvnOA4OV7V uKjkXQopB1rrjiyxcchk4/EjZ8axV7Y7yt22po1JcGmR05hZ96pCIZcuiKaOYZyXM8uXmVlt Dg0x7MJpZO2YjUGxYooyRPcd/GKbYyF7B39WeuRIjp1gG5odbOiihi8/0as1vHxW9Sy3V1Xo CRFldzMuWoM1xzV8sWHROB98Vu81jqWyw/T7edEIU4qmqrBNZEhxKI/mYQJvUTEBC/2l0P7h 7KVeEU84uWk9ufqbq/7qpKSOYJ4kBzyP6ovl8ClHOg0LwcDU3CF9em9yLHu80j0TKhWgvIsk 6TUtY7WKdgAqaO8AwJY0ogu5hO6Aju739kVm2QMIUxBeBKalIjpJ0/BIOrlA/e+glWjji9my +zAM7b8GJvCNGLDn63kfbtl605T1g4zzddH6p1KBbEBOuz8WlTqtNDBDx85KxG4zuL9B9lny IweQnmPDrWEMKPRq1OH/fggI/OWZIAPpDn9NuUq6OT0gXAlnl8deLGl3ZoRaH+mAvRrO1iVb Hn2jtscH2oHsBAyQPHkhVCDSzJfemu+Uq0k6jE+Eo2mDIPDRo63gLyG2Se2BoFZanpIClCRE XfobJ6JVOwXZyKROMNuiCALWaK8S48izR2ushT1xKJ9LuXI4i0YqY7j1N9t6uHNjR0y7yB7D 9yB02GRSGF5hn8HRzgv3KxmvUN9zkqD3rNjjvxDFd1T4utJXR0gOZ7dyex6EdHyVRjbcteHU laqWs+mDi0pTtIt398OZF5wFMm4gRDG2yqmGrsVl72QBJwo6a/cxHjwJ8Nly3nczqUhjl8mQ tFONWK8nKJ/+RLTVMb1lBDNnKLvdL8V1iPJ8GrG0HGDplpwVA9rTb6DVnkaIELd68n6sAeKG 6O/Ebk8dwJHz8mfLKBHQtnolkldAuzuMc+Yfnq8nWH2CBqVkPfEOJDnZH8cwCTbB2AJlRtW+ WeBM04wHHHl6zbmFjtpG27vbkT24MFaqWinVQkexh2KKWRqkYeWrFpd0febUrYY2q8OkCYns TR9WliniZaeX9GJog4keKRHffs85k1G3CTXrVo5dsirK6l6rlEEdBlvsliozRhxA5lNi44kt iV54hB1LPez2Ulaaz6elb7tOqaffmK08g2vcIbc0FKY2d3Q56RZu6dwkEnqoAz8ThlqyH5gy dQAixN0h73PBQsWCtfqV1ovsgN9v/fcazU84IXd0TttN7O1u3nMwYFhH/MrnzCnedoXK6aYD EnqCcRPDI6gNewxs1KjbVQNN6ZP9/18JNuoIsOPw7XjJ+N8hHSjhGVD7pp61xeHsSRhSvXg1 ZwGhfiTmBaEBH/nlFn0lMfxlMhfYC0KWGqyzS+xHIlKeqh7ZpoGE0+jLNe63c47hoa0Cnce+ UW4QU4FnsWgYwCbZEHx1Etb0kF/TWWPvyy+wnQ0ljgoqvHaxynS26H5cwJBPGdXRW5khFOqI I6ujtlcUlL6Jw4u3ACo40r33c057Ox2MnXTTEFUfiP3M3AqU62+saCHatJO75VguDteUeC1a 1SXArDnpB5S3yTmFmpYjDc1ElPi8p6/kQF6k0qXJnU1pXGfZMIxjRbT6drAROJAiyIcTXowg j3WC16getixqIzE0c6Y6abnDDznD8QPIkyJhcuauSC25HNnG0i6lvG3wZj8FBQilDT8z59sX DnJqxD1Zs/q0b67OKRpZBoNZhe05sxkF4V5ioZ1iosX3C1QjdOb4HocuW35MpNS0uTjbzBeI FxDi86Q+wXj1EB5eziCgYzkVm61yMFiIdCxJH4VkHF1/4VBD6Ga66ZBlC1+rw+jrA7fVvN6m y8U1fok7HNyb/ghgAM21W3dB7kTGRIdJinwj1GT6Mj4qqxLZWGpeLz21UxknNnnAqvQ6g1bX X/4fN8lE0oSpo10dlzR0Gbb4IvnPtDbK88Q/hGZiBbPieFJJYl5z6pM3HE8fzum4zt8krJzh AcmxZyguYmbN2hhmcDxSgVVMDH4fYJb+z3gi7pfgtfD2omuGpt7HTBYFJDsTP+uDHcTraG+Z 0DXS2Z68yzFX+OGQVz6ig8utX/EHpG1OmvCIXAYyY4nXxyBPAlEhxhSWjwmn5k/HwTsxcr7c U4/6CpCgzyw4hZK1O9sMAHyF2nFowL9IDxyRoWfNzJc5AIE7kyTLM/UvYcRV2lIu4asqgCAM DnRbEJGEGESckaOBBbqNf+z5pOTu/jdDe24IfzUZLyIouELTPaEy6Wk1Y5+9iqNPMGCbRwAR 7Urn1BOVndjF4HFii0CHmYJwjnVYZfR91+svzd6pcel/LH3VRLzsMGRXqBKP4wKmVj+gL/fZ bXNwn8md3AJjNVdmziSl/AexAJA0nEoLmL2V+1b62iUFvKXwPEybVZTajsvZpIYqftnhU8UY pCd242yjOEwy/cxDx0tuUXJvMavaIRKJmi8MAiCH0OXLPGdIiWNxcjrYKS6QLkWjeNOthT2t yzJW0nkdi+OkTXkTXXNealFkT2bMRpCuYq8bgclCG7tS8jjYwG6N9k/hCM/wLk9jHfHfWAGN j00f0RIp7yWpSRW55c3U3RG9WZgJPKYljyx4ubCJ40N9PpzW3V90e9B+zInyP1f5TteTfdol CKUpdlr4hmnnuSJ1jt7QU9OpzJM1+fp9Q1pPaTU8IUFWG6RpUJLtD7LTU1R+Z08U4G83sIYg sLCn6/yNjpYptfd/M9HQtPRNNrCK305dxzgBD/TCgIBCz+tL2DWwUJHw5TwvjWYqIY3rp/0l d8AULheARY+UP0HCl9NFtYBZp58GC4n2+3+7oZA9T+loR/dSd8P9IjATe6XCO7zJSyxgLZea gAThLLgdNUacIDgwAp/aR9wlZ7QEkHNUdkLqSpkJFxRwg0F4D11SWs93FjgYwWm7SoIFPK6q RUxjxN3feUn8DqEC7gfLFDJ4iI71lQyy4yNadW5ejTyaq67G5xVWXKcX6kZP5zhTh1uKAyqx B1tcjrfXPRMjP1qfHpxgQTBtZIJEvlZH/UsXQ==
  • Ironport-sdr: 6684f4ed_PJS9Wd3ZJvP74bY70QcKaSig1BHiKB9VfgFSPInvOr/tHSF 9Nxkd7LY7j/9iOUlIR2UMUzcgUQOOkKMvP+L6+Q==

The organisers of FSCD 2024 are delighted to announce that there is free best-effort online participation in the 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024), colocated with ICALP and LICS in Tallinn, 10 - 13 July 2024.

Please register your email in advance in order to receive Zoom login info on Monday evening. For details, please see the conference website:

https://fscd-conference.org/2024


  • [Coq-Club] FSCD 2024: Free online participation, 10 - 13 July 2024, Carsten Fuhs, 07/03/2024

Archive powered by MHonArc 2.6.19+.

Top of Page