coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] LICS 2021 Call for Participation

From: Sam Staton <sam.staton AT cs.ox.ac.uk>
To: "las-lics AT lists.tu-berlin.de" <las-lics AT lists.tu-berlin.de>, "categories AT mta.ca" <categories AT mta.ca>, "GAMES AT lists.rwth-aachen.de" <GAMES AT lists.rwth-aachen.de>, "theorem-provers AT ai.mit.edu" <theorem-provers AT ai.mit.edu>, "concurrency AT listserver.tue.nl" <concurrency AT listserver.tue.nl>, "finite-model-theory AT lists.rwth-aachen.de" <finite-model-theory AT lists.rwth-aachen.de>, "asl AT vassar.edu" <asl AT vassar.edu>, "agda AT lists.chalmers.se" <agda AT lists.chalmers.se>, "appsem AT lists.tcs.ifi.lmu.de" <appsem AT lists.tcs.ifi.lmu.de>, "lfcs-interest AT inf.ed.ac.uk" <lfcs-interest AT inf.ed.ac.uk>, "cade AT itu.dk" <cade AT itu.dk>, "prog-lang AT diku.dk" <prog-lang AT diku.dk>, "linear AT cs.stanford.edu" <linear AT cs.stanford.edu>, "DMANET AT zpr.uni-koeln.de" <DMANET AT zpr.uni-koeln.de>, "fom AT cs.nyu.edu" <fom AT cs.nyu.edu>, "homotopytypetheory AT googlegroups.com" <homotopytypetheory AT googlegroups.com>, "rewriting AT ens-lyon.fr" <rewriting AT ens-lyon.fr>, "types-announce AT lists.seas.upenn.edu" <types-announce AT lists.seas.upenn.edu>, "coq-club AT inria.fr" <coq-club AT inria.fr>, "agda AT lists.chalmers.se" <agda AT lists.chalmers.se>, "lics-workshops AT inria.fr" <lics-workshops AT inria.fr>, "ProofTheory AT lists.bath.ac.uk" <ProofTheory AT Lists.Bath.Ac.UK>
Subject: [Coq-Club] LICS 2021 Call for Participation
Date: Thu, 10 Jun 2021 05:20:02 +0000
Accept-language: en-US
Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=cs.ox.ac.uk; dmarc=pass action=none header.from=cs.ox.ac.uk; dkim=pass header.d=cs.ox.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-SenderADCheck; bh=UvqDIQiGoD6UV4xzQJ2OlNZxdzf/QkE+wfd7ooX9hfM=; b=FXDRm/vTkez25evNAJmQmSWS1ITWojzFxfBfJxqeJSht4UGe+/1Z+Ue8Cm+90kbuvh58+KiZSYP6VMcjFHJ0oPGkPxgRmaIah0Q13omOad+XQiGIJW8sUASu7GNvNtx1sV4s6I8u/hUyl4Br5gefLouVLS1W8PBziQunbCb/YISFrIDk5PEP/LDIDZNDTYqAPLLUz1/kMopJLjUk/iY+eO3+v6c4eOH4J96OHxmf+lOKnl/BB9d3sf0YytKbUbbCGrePSC6x+FLkbbMOteW8m9PmnXKNOMs1/95qMtg3GdeMrs9VCUpDeL2IvOF2OU44WGlK4OjynO2rhrNgYKeTWg==
Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=geCw9Xc3NX1uovAahQsw8lQpY6nzMEqzDzZTV1rzQG8YejFje3o/IpFEJDmiwWmwbumzPshZSTDpbQBLugPiJSCPmNcRltyz61xhFuylqAeAzIXT7sz0pZ1rb00RM7dJ/sJzu+EqYEgOzIZMP0HD7kDCkVDFYISk9i3ASy5rWPbP1ZfD8w/iRVkbKfF4cEIUfqk7ucF3G8NmQOUSCpk6K+7vTckmvb1SCf+q+UzVsXPyyYdRjEuAXW4sV2nAtqZt54UXEyl4XT8wHW7EpeEtL6R1bK0mYVjNeF/um4wiFIWX36gvHMMPTMFeqxMUrDTlhxABaSNBTYR2fY0EURStQw==
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=sam.staton AT cs.ox.ac.uk; spf=Pass smtp.mailfrom=sam.staton AT cs.ox.ac.uk; spf=None smtp.helo=postmaster AT relay18.mail.ox.ac.uk
Ironport-hdrordr: A9a23:/D9Ioaku2NpEhopBP+SA+5CI+JfpDfMEimdD5ihNYBxZY6Wkfp+V88jzhCWZtN9OYhwdcIi7SdC9qeu1z+8+3WBjB8bbYOCAghrkEGgC1/qo/9SOIVyYygcw78ddmstFeZHN5DpB/KDHCWCDer5KqrfnzEnCv5a9854Zd3APV0gW1XYdNu/0KDwUeCB2Qb4CULaM7MtOoDStPV4NaN6gO3UDV+/f4/XWiZPPe3c9dlEawTjLqQntxK/xEhCe0BtbeShI260e/W/MlBG8zrm/ssu81gTX2wbontprcZrau5p+7f63+4sowwbX+0SVjUNaKvi/VQUO0aGSAZAR4Z3xSlkbToNOAjjqDxqISFPWqnPdOXAVmjnfIBaj8AfeiN28SzQgB8Vbg4VFNhPf9ko7pdl5lLlGxmSDqvNsfGX9dLSU3am0a/hGrDvBnZMZq59ls5Wfa/psVFZbl/1XwKqUKuZ0IMve0vFuLABDNrCs2B9mSyLpU5mChBgQ/DWFZAVCIv6peDl8hvCo
Ironport-phdr: A9a23:4zou6R9cNA1xrP9uWbK3ngc9DxPPW53KNwIYoqAql6hJOvz6uci7bQqEvK8m0wSBdL6YwsoMs/DRvaHkVD5Iyre6m1dGTqZxUQQYg94dhQ0qDZ3NI0T6KPn3c35yR5waBxdq8H6hLEdaBtv1aUHMrX2u9z4SHQj0ORZoKujvFYPeksC62/q89pHOfQlEiziwbL1vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfMQA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb7S60/Vza/4KdxUBLmiDkJOSMl8G/ZicJ+i6Nbrw6uqRNw2IPUfJqaNP9icqPdYd8XR2xMVdtRWSxbBYO8apMCAfcbMuZdsoLzukcOogGiBQmrAuPk1zhFhmTs0q0/yeghCh3G0xY8H9IJtnTZt8n6NLwIXeCyw6jE1y/MYO9M1Tfg64jFaxYsquyDUrxsa8Te01UvFx/bgVWKr4zoJzyb2+YNvmWH4eRtUeGihmEopg1tvjShycUhh4bVi48a1l3J+yF0zJspKdO2TEN3fd6qHIdRui2HKoZ4Td8uTW5utS0nxLMGvpu7czILyJQh3xPQdeaIc5OI4x3/U+aRJzl4i2x/eL2hgRa97VavyvbmWsaqzVZHqDdOnNrUtn0VyhDe68aKRuFg8ku7xzqDzR3f5+BELEwsi6bUMYItzqA1m5UPs0nDECr7lUTqg6KYdEgp/+el5/j7brn6o5KRNZJ4hRvjPqkrgMOyBes1PRULUmWV+Omx1qDv8EjkT7pWkPE7nbHVvI7bKMgHqKO0BhJZ3po55Bu+Cjqr0cgUkWUCIV5YZh2Iko3kNlTTLPzkC/q0nk6iny1xx//cO73sGpXNIWbHkLfmZbt98VBTyA4pwtFf+p5ZCasNIPfpVU/wsNzUFBg5MgOuz+n9FNpxzJ4eWWGXDq+YNqPdr0OI6/oyL+SNaoIZoivxJ+I76/L0kHM0mF8QcbGs3ZQNaXC4GvpmI1+eYXrpmtoBCn0Fvg8kQOzxlF2NSyJTZ3G0X68n+j47E5iqDYDMR4y3mrOOwD23HoBVZmxeEFCDDW/od5mYW/cLcC+SJs5hnSAfVbS4RY4h0guutAzhy7pnKerU4jYYuIn41Nl14u3TjQs9+SZ1D8SbyWGNTnt7knkGRz8sxKp/u1Byyk+f0ahkhPxVDcBc5/RQUgsjKZHcy/F6BMvpVwLaftaJTU6mTc+8DTEwSNIx2d4ObFxnF9WslBCQlxatVvURnqfOAJ0/6YrY3mPtPIBh1jPM2bMljl9gTsYFfTmij7U68wnYHKbNkl6FjOC2aOEW0TTJ9WHFwWfY+AkSWwdsXKrCR3ESfWPTsd2/7UqIB+ulAKgqPQxbyMOZAq5WY5vihAMCDL3MEfHzWEq1mnysHlCS2a+MKYPjcGUQ2mPRBQJMxy862Fu9HQw/HTu65XjBEDwrHFvkY07qt+Vz/jfzBFM0wgaQYkgkz6Cy5BMPntSVSrUW365CtSs84X0gAFaw2MjbDp+YvQ1/cb9HSdo8plJGySTUuxEretTqJKdkjUMEaQlxtFLG0xRsFp5Ni9YntjU20Qc0L6bSmAdKcDWTwIrqN7vcO0H2/QuzcKPMxFzElsqL9+EJ7KJ84x/tvQeoCkdn9nJr3t0Qz3uR4Y/bJA4TSo7qFFwo6xg/rrjRYiQ7oY/ZnzU4P6iysyPPntcuCOYhjwqgctBFIYuAFRTuCIsAGNSubeUjkFikaFQIMbYWvOQ9JMeOafKdw6exeutsgXju2W1c5Khj21mX/jA6R+LVidJNifiX0gKvUzbnkEznucD+nYVJfypUBWf1gXztC4JYTqlzZpoQT2yuKsmyy89lwYXgDToQvle7H0gL3eeteAGOdBrh1hYW1EoW53iihG20wnY8xzgxtrGS2QTKwv/+b1wbMXUNRWdjy1PpPM64goZeFAKsYQMy0Rqj+UvgyrNHjKV5IS/eTQFBdG7rLCsqBq++vaHHYshT5Yklqjl/UeKyJ12WDLf25QYZhWerVWBXyD0Tdi23/Jn61VQug2uRIV5ysGefdcImgV+V/MbbSrtV1zwJbCV5iiSRClv2d42x59Kb0pPKtO+WW2OiS9tfcn+vhcmEtS227HdCCgb5hOy6nNPgCwR83CPmnZE+USTOoR/mSoLwkb+mOORpeVNkQlLw9pw+UstSt6IWqa04y2AAwIiT/D8Elmr3N5NX1Oi2OFYobBgm//bH+BKjxUtia3GOyob/EHmQlI8pLde9Z0sdwWQ7/t0MBauJpvQQkyxwilGj6wTAfL5wkipLjbNk6HkfhP0OoBsx3z2QHrAfGlNJFSPrkBuM4t+kq7hPfyCkdr36nB5+mtWmELaasx1NQHvlepolBz5Y4cJ4P1bB32f095n/PtLXaIRX/leOngjajvRULp0Zm/wRwC52PmS7s2dvg7ohgAN03I27uoevJmN2uaaoBRgeOCejI4tZ5iD1gL0bl8CQ2J2pFZhJHjQQQICuVv+hC3QPrfnhMUCDHCB24iOHCKLSBkqW7kFhsnTEHrivNmqLPz8CwNx5AgSFKUpZxg0YQWN+1tQyERnvz8j8em944CoQ7xj2sFEEnulvLlz0VnrVjAaucDY9DpaFel4epAhN6079Nc2F8vk1FCFR+pisthfLMWHRL1BBAm0AckiFHEz4eLKu7N3F/vKDQPGzeb+GK7GPovcbSPCSxomv1ZN91zeKLMSGeHd4RbVv3ktIRjVmHN7agDUIUzc/liTXbsfdqg3qvmU9ltq49/rXWA/o/5qnD7pJLc4p8RmqgeGKPKiNh2wxfQ5C0ZQC+X/Fz6IO9HoTkD11MROkDbRGnCWLcYGGyYFNCBtOUCp2fPBU5r472EEZIsfezMjp36J/iNY+EBFCRRrokYe0ZppZcCmGKFrbCRPTZ/y9LjrRzpSvCUtdYaddiOxF7k32vD+aFwnkLnKKnH/0VEL3WQmjpCqAehtO/oi2NAtuWzGLpDfOYQb9N88xhDZw3L5m3hv3

CALL FOR PARTICIPATION

Thirty-Sixth Annual ACM/IEEE Symposium on
LOGIC IN COMPUTER SCIENCE (LICS)
co-located with ITP 2021
29 June – 2 July 2021
preceded by workshops 27-28 June 2021

Registration (from 30 euros):
http://easyconferences.eu/lics2021/registration/

Program, including links to all preprints and videos:
http://easyconferences.eu/lics2021/program/

List of accepted papers:
http://easyconferences.eu/lics2021/accepted-papers/

Workshops:
LMW: Logic Mentoring Workshop
Structure meets Power
TLLA: Trends in Linear Logic and Applications
WiL: Women in Logic

Keynotes from
Luca Aceto
Martin Grohe
Maurizio Lenzerini
Nadia Polikarpova
Ryan Williams

[Coq-Club] LICS 2021 Call for Participation, Sam Staton, 06/10/2021