coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] LICS 2020 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>, "dbworld AT cs.wisc.edu" <dbworld AT cs.wisc.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 2020 Call for Participation
Date: Tue, 16 Jun 2020 18:40:00 +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=nmkV+rByPUjNxrjG090ycs6Y7fnuJ/zLaEHp3vpE+Kc=; b=MHEajLD06Td/PR1WbMmtqnJMparQTn8TVdBrT1oLeDhak9ftS4Uavm0GKDxUqdfAtJToAvqltnTQeT9y/zhufiWCRM9uN5AxjfFKbJrgVqiZslMTdo4Xc2WSIR8TPBu8o+VbXvWJBL1wEqOaOJxg17DhVC76kl3X2ktF4srHiG9cI8/KyyCvzWARo3XQmXNyYWGsi9cN8ISE/AG/Zi/u/og6/fgY4geJt13IKYCoSXDnMHK5yFn5bYDEOJfQVV1hmy4hRFysW6OMfJnEI4GJKRV33U+ke7ChdLSdlIErbZAR+87+6ww7ptfuUVl9qD8vx1RuHN3zKpFM6LKfqLHehg==
Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=VFT7Jn4r/sChf1OzAlGyfUcMMHtYx0H/Ef4zVU7VN7Y4Y02iiAkA3OPmEYAQxcnXccuKtaNmAmyVQ9bVEcIs6h6/cqoBJit0I8N2EmDFbNSKn5RmQmNR5PWjFsEzir/VUw/sZh5UesG0lccFCa4UTTg6zN2aofOMuveJUB/rsxZDaCHIJTcUS8LVd5bDgw/Li0NIm+da71GvYYuSMpXZLlpkuqyi2glUr8p3Q1hu6RL9cyIII4ZsfaEizKqO8y+YVTEqMxbVoHymlp5zgEXg0sDBjELFLCRpkXV581NkwId0pD8WH4ZW8iN70nWPx86pWszKrxHCDKk9UyPiMirqhA==
Authentication-results: mail2-smtp-roc.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 relay11.mail.ox.ac.uk
Ironport-phdr: 9a23:c934WxNVotQTPgFZDBQl6mtUPXoX/o7sNwtQ0KIMzox0KP/6o8bcNUDSrc9gkEXOFd2Cra4d1qyP7PirADZRqb+681k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjWwba5yIRmssAnctNUajYR/JqovzhbCv2dFdflRyW50P1yYggzy5t23/J5t8iRQv+wu+stdWqjkfKo2UKJVAi0+P286+MPkux/DTRCS5nQHSWUZjgBIAwne4x7kWJr6rzb3ufB82CmeOs32UKw0VDG/5KplVBPklCEKPCM//WrKiMJ/kbhbrQqhqRJh3oDUfI+bOvl5cKPcYdwUSmVOU91NVyNaB4Owc4sPA/YDMOtesoLzp0EOrRy7BQS0Ge3g0DpIjWLr060myeshDQbG3Ao9FN8Jq3TbttD1OL0JUeCp1qbI0TLDb/VN1Djh84jEaBchoP6WUb1qbcXd01QvFwDcg1iWtIfqMC+b2P4XvGiH8+pvS/ivi2g/pgxzojahydogh4rNi48W1lzJ6CV0zYU2KNC4S0N2Y9CqHZ9NuiybOIZ7Qt8vTmVntis6ybALvYO2ciYKxpopxRPSbeGMfYaP4hLmTumRIDF4iWp+eL2lnRmy60ygxff6VsapyVpKryxFktfLtnAX0hzc8NSHSvph8Ue6wDqAyxrc6uRcIUApjqrXMYMuzaAompoIsETDESv2mEL5jKOMcUUk4Oeo5uL6abvlvp+RL5J4hh/6P6g0m8GyA/40PhUUU2SG+OmwyqXv8VPjT7lWkPE7l7XWvZLHKskevKG0DQtY34gm5hmlEjuqzMgUkHwcI15ZZR6Lk43kNEvOLf/iDPqyhkmjnTN2y/zbO7DuGYnCIWLCnbv5Y7pw6lJQxQQ2wNxC+55bELAMLffyV0PtqNDVCx00PBKxzuviFtlxy4UTUn+VDKCDKqPdq1qI6/ovI+aSYI8Vvy7wK+I76P7ql3A4mUIRcbSz0ZsScn+4H/BmL1+eYXvjmNsOC3sFshAjTOzpkFGCUDhTaGiuX68k+z03FoarAZ3CS42vmrCNwT23EoBXa2xYElyMFG3nd4SAW/cCciKSJcphnyQfVbe7To8tzwqutBPgxLp7KerU/DYVuo741NRv4O3Smgs++iZoAMiHzmGNTHl4nnkUSD8uwKB/vUt9x0+H0ah5n/NYDsVf5v1OUgcgNp7c1Ox6C9fqWgLaZdqJU1anQtC+AT4rVN4xwtkOY1x8G9q4lBzD0TCqCacPl7OXHJw07r7c33/pKslhzHbGzbAtgEUiQstSLmKrnbV/9gjWB47RiUqVjaeqdaIG3C7M7miP12SOvFsLGDJ3BO/BVGtaYkrdtvz951jeVPmyFPEtPxFFyMjEJqYAIonthE4DQPboI/zaYnmtgCGsGFOCy6mIbYysd2hLmG2XA0EYng8U53eLLiA7Gi7nqGuURGhlHE7ibET28ORlgHanRwk/xlfOJwdO/p+YwTYRhOeAULUJwa4E/S4ooDV5GhCx0pieX/WpgidaVKFdes8mpk1YyWKcvgV2PpGmaaxv0BpWORh3skT02hAyEp9Hj8Uwt1sjzUx3KL7e3V9cPXvMwZD9PafaLyzq5hexZrTN8ljfltOX5uEC5Olu7x2ptwavHVc46Xhh2Mh913qH+o7HFhQfS9TtT0tx8Rww7+XRZS82+pnO2HtnIIGwsyTewN8zGuY/jAq9cpFZNPXAXEX8EssbG8XrLesmllzschIJO/pD3Ko1JN+9MeGZxK7uNe9rnD+gy2hKqsgp3EOK9jZxD+vP05sBhu2Y0wydRh/4jUy9qYbthpxEIDgbFWqyz27oCdgVLud7ZoIjF261OMStgNhymtSlD3dD8Ha9Dkgd0dXvdBaPORi1lwRf2U0/pX28hTD+xDx9lzQktLHZxyGEi7DrexYOEmpKX3V5y1zsKIyxgsoBGlOlOUxh3hK9/V33woBfpb9jNC/PSlwOfib3aWVnT+28u/DKN8dX8IgltA1TUf+gehaGQaW7ohUblSfmAi1SyWZ/P3uutJ7i2h18lG+HIW1vhHvfd4d9yVHW75rBRrQZij4ITzI9iD/LC0KxJMWB/NOa0ZrP9Om1EX+iANkbOyLiwY6otTemo2FpS1XrlPm/l/XmDRV83Sytk5EgTT/Po1P4a4/k/6i7Mv8hckoiTAvk8c11X4V3lIQYiJATxD4WhcPRtTADkGH+OM9z0rm4d2YEQzAM2dKT7QT4kgU3KnOPyovjfn6GhNB9bt+0ZXkanC8x8pYOQO2Y5qNDhy95ilGj6x3QevM7kzsAg7N65HQFhPsNtCIm1WOCA6sZW0RUIHqo316kyvmYgZl/dn61N6W21Q99mt2lCveOr0sUDFrcU7EPIQdi9t85LVTNlX7054XiPtXdO5Zb/BOTlj/LlK5TOY93m/YXz2IzN2X4lXY+jegqkFpj0Yzs+MDNK2Jo+76+Gg9EJyX4e8Me/Sv8palZmcmS0o+1GYh5AXMAW56iBaaoFzcVqfP/JhqfCDAgqnqcA6v3EgiY50NroGjIDoiwcXqQIS9dhZ94SQaHJVBehg88UTMh25ooEQbsytarOBNj6y8L50L5rBRkx+Rzch3uVWGZqh3+Ln9+VImHIQET5wdE4FrTOsG26uNoAzoe5ZCot0qQMmGdYUJFAXxDEhiYFkjuJfyn49/H7u6TC8K6LuDSevOVpOVFEeqQyJSplIZq4mDIfo+EOWAnBPkm0GJCW2p4EoLXgX9HHycQjmfGa9ORjBa64Cx+6M6lprCjEgvg6YKnD7pJLc4p8BC/haKOLfXWnyszYWJR2Z8F7XvJ06QEmlUSgiVreiO2V68N42qFBqbRkbQSEBkBaDhzM9NTx6M6xAhEf8DBwJuh0r9zlbsqDE1GTlzmgtqBZMoQImj7OkmRQA7BDK6BIjP3w8zwe7KUTbxLkP4SvRSsuXCSGAn+PX7LwwHzUBehDeFBizuKFDhfo52mNDxkFWilZdmgVz7tY/Ftijhj+rQxzkjWPHIbN3AoaEpI6KaM5D9fhN10ACpG/jxsJq+ZmHDKvKHjNp8KvK4zUWxPnOVA7SFikucH3GR/XPVw3RDqgJt2uVj/ybuE0XxgQFxHoXBWh9DT5BgwCeDi7pBFHE380lcN4GGXUU9YvdZhA8y24uZVw9nL0qXjbj5Jtc/Xr5NFVprkbfmfOX9kCiLHXTvdDQ8LVzmubDqNjFcbl+HU/3bTs5to85U=

CALL FOR PARTICIPATION

Thirty-Fifth Annual ACM/IEEE Symposium on
LOGIC IN COMPUTER SCIENCE (LICS)
co-located with ICALP
8–11 July 2020
preceded by workshops 6-7 July 2020

Registration (including free option):
https://lics2020.saarland-informatics-campus.de/lics-registration/

Preliminary schedule:
https://lics2020.saarland-informatics-campus.de/programme/

Accepted papers:
https://lics.siglog.org/lics20/accepted.php

Keynotes from
Mariangiola Dezani
Jerome Leroux
Andrew Yao

Tutorials from
Erich Grädel
Brigitte Pientka

Workshops:
AATG: Algorithmic Aspects of Temporal Graphs
INFINITY: Verification of Infinite-State SystemsLCC: Logic and Computational
Complexity
LMW: Logic Mentoring Workshop
PRiML: Programming Research in Mainstream Languages

[Coq-Club] LICS 2020 Call for Participation, Sam Staton, 06/16/2020
- Re: [Coq-Club] [Concurrency] LICS 2020 Call for Participation, Federated Conference on Computer Science and Information Systems (FedCSIS), 06/22/2020