coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- 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>, "ProofTheory AT lists.bath.ac.uk" <ProofTheory AT Lists.Bath.Ac.UK>
- Subject: [Coq-Club] LICS 2021 Online and Call for Workshops
- Date: Thu, 4 Feb 2021 17:19:50 +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=jrIliCITGkdtwDNRehBMjrD3XdxAHgxGBAlMDhY3wTw=; b=ZD2u8rrATPNmrMc/HIwCZEaCGbS1X4oCIwkJ1QtIBSBZFGJ4XxM9KhRCIKE2qLChnfrROTl4ftHHVXgDlvPpmCUBejYT+3wTRA8Kztc674QhTuJbhDl4xxHXLxVnUHeFZKdAPaT7+b01c1ytMLlYsTehkLC/P3yZMxatwVdTHoxMTZVd02DNX621lUNMje3q7BUpJPfxuTvQ0xfapWQBPV3UEwltt0ApfKB3Z2BOtupoHpk2Bdg/PEy00aMsZZzvE9lKK0kNU/p7pWMWfEhfBP59eBqZx+5M8amhTAL7lkWZXKuEMz/Ilc5YoaDNB1gtsIFsjI82F1GKMnpZu9J3Ig==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=bzKk5KyJkH++3Otku7CKahqDAlzI0RdXjQd49ZOEboEpDT44Y9P6Jd49t3eE32kNFsvRqIg0MQXbZUm0CYZ5LCZ5EBF0OhsS+6XKDLxL2enQbP9HXauzETZ7Tr5lO2rw1JVV8vyt7OSNGk7NXlNgTwQFpAWEhJtVgd+SurOJ1BonQEFnA0gsKLGB1RvaBdhtfsY0+WOnL6qdh7XS63OpZcTQVvzz4yddmPMxlVRcV5LSxpzYaCnGRkNEushNNOU6Q0Ifx12UWnjbajlt9RLtaz1DZR0wV4k3WGp1TQCwoW/p/O1vycb5vlTSXhABjD/0bOY3hARlFF+gKZh2Qlw/sg==
- 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 relay17.mail.ox.ac.uk
- Ironport-phdr: 9a23:V77qrhKEGcQwlnQv/dmcpTZWNBhigK39O0sv0rFitYgUKvX7rarrMEGX3/hxlliBBdydt6sVzbaK+Py+EUU7or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiCe5bL9oIxi7ogrdu8YXjIB/Nqs/1xzFr2dSde9L321oP1WTnxj95se04pFu9jlbtuwi+cBdT6j0Zrw0QrNEAjsoNWA1/9DrugLYTQST/HscU34ZnQRODgPY8Rz1RJbxsi/9tupgxCmXOND9QL4oVTi+6apgVRnlgzoFOTEk6mHaksx+grxGrhK9qRJxwInaYICJO/RxcazQZs8aSnFEXspNVyxNHoGxYo0SBOQBJ+ZYqIz9qkMToxSkAAmnGf7hyiNSiX/q2q061fkqHAbd3AM6GtICqm/UrMnvO6cOVuC1yrLFwinYb/9M3jf855LEfQo9rv2WQLJwctPcxE8yHAzKklues5bqPy+J1usTqWib6fJtW+2thmMntwx/rDyiy8Qjh4TGmo4Z1l/K+Cd2zYspKtC1VEB2bNq5HJdMuS+XM5d6TMM+T2xppSo317IItYK0ciUM1Z8pyRnfa/mdfIiJ5BLuTPieLi1jhHNlZL2/gBCy8Ua+xe3mSMa01kpFoTRektXWqH8Nyhre4dWERPtl5kqtxCiD2gTJ5uxFI004j7fXJ4Q8zrMxlpcfqVrPETXqlEnoiaKZakcp+uat5unmfrrrpoGQOop7hw7iLqgihsmyDOU8PwcSRGeW/Pmz2KP/8UD9RbhHjeA5n6nEv53fK8kbqLO2DBNN3oo96huzEzmr3dEFkXUbNl1IeReKgon1N13SJf31D+mwjlGpnTt12vzLOKDqDI/XIXjZirjheK5w605Cxwo3ytBS/4hUBa8FIP3pWk79qd7VAgU8MwOuwubnDM9x1oQRWG6VGKCWLLnesUKL5u43IumMYpEauCrlJvQ4+fLjiWU1lF4fcKWzwJcbcm20E/VmLkmBZHrjmNYBEWMEvgokS+zqjUWPUSVJaHa3Ra48/S07B5i6DYfEQICgm6CO3DyhEp1RaWFKEEqDHmvye4WZWPcAcDiSLdN5kjwYSbihTJcs2g2ptA/j0rZoMu7U+jADup/4z9h05+jTlQko+jBuDsSd1XuNT2BukW8SST82xvM3nUsogFOKyu18gvdDPdhS/O9SFBsncJTR1eh7DZb+V0iJKtOAUxOiQ969KTUwVc4qhcMTJkxwAdGjiFbP0nzuS/UenqCGC5su86/H933tLoB2wjyOgKIok1QpRdFOOHaOg7J2sQPaUcqB2WqwsouRXaAdxzLWsn2c0WrLtUhTUAN2F6nIFzhLSWLzgO/R4kLZU6ToE6s7Mk5IwMWCJ60MZtC/yR0MWPfuP87TZiepgWCuCAyT7rqNKo/rZyMQ0DiXQBwYkw0U53uDcBAkATmsuXn2BT0oEFPzJU7g7L864DmwSUk/0huQYktqxpKx+wUJnvGGVf4JmK4ZtWEnr388SF262dnLEcCNoQFwVKFdes8m7U1Z2HifqxFweJqkeeQqzFAfdQVrsgbr0Bl6DsBckcUttmICyAtpNbneykxdd3aR1JvwN7uRJmS4tEShaqjXxlyb1dGa96NK9PQ1rE/ylAWoDVY5tW94z9kQ2nKX5pjMSgYfB9a5GE8s8zBkrqrBazN76o/JnzU4OLKwmiHLwMkgHq0oxgv2O58VOayIHSf2EtYGHI6lKOUunlWzdVQfMaoaoKc7M8qOc/qdxLXtN+ZpmDerl38B+40rlgrG/jJkUePN95IE2O2DmBeMTHH9glbntsXq34xJL3lGF3Kn0iXhLIpQfbFpO5oAEiGvLczxwtBjwZLgDToQvlqtDEhD2cm1dACfdEDV3Atek0kb53Ws3za7hXQglz8ite+e2jDD2en5aDIGPGANSWUkhFyqPIviy5hQV0GkYiAoiAbj6UWwj/xQrahyB2jPXAFEfH6yZyt6SKy/876LZcFn5JIrrGNbU670NUiATbG4pxIc3AvvHmhDgjw4IXXi8JH4mRFzkkqWNzBosHPfd8ZqyVHS6MGWDapV3zwLTTNQgiKRHUS1Odeu59nSmpve5KT2HU6Ef7t+TQH51ZnGqS26oG5tDBm52fy+0JWzPS0T9wLH/8tyT2PVqhe5YY7m06L8Pe8xOgEiClj5w8FhXIdvj809iIxakSwUgZC99mFBl3bud9hXxPS6JDANQjsM39nN8RT0wEB/Ln+O3ZPRWXKazc9saMO9f3sNnCk66ooCXKeT6btYmjNkvkugoB7RbP9njx8Szvwh7HMVmeYUoBFrxSKYVPRaV1NVIjbtixWO4Pizqr4SYHeod/6+zgA2ycqsE6uDvgBaV170fIxnGT536INxKgSImDfv+5npY5zZa9QUqxufnj/EjvNJM9Qqm/MRwzd/NGT7+3Ap1qRz2QB/xZyh+YGBLWJw+qm0KhpZLSHuIdge8yqrkL5TmMDQ0oyySNEpUD4MRd7jSe+iODMUr/XucQiUWnVooXCCXLHbAAW36UF8rnuJHYr9czndLXYVxP1mRQKBPwpUgAkQWTgghdgiG0rikMXufE5R4jEK+kW+oRtFzudlLQK5SWqJ4E/iUi0zT5ajLBdR9BBq40bOLdfY5OtvH2dR9du8r0bFflSBYANGMWEEXVaVL3TiJaW1o/PJ7+jeL+H4EtiYMpuUrukLbP6Njamz25dh+X7YLcyKeGJ+BuE83GJIRjZ+C4LQkHMSSHpExGr2c8eHqULkqWVMpcel/aGzAV691c60E7JXdO5X1VWum67abLybn2B+OXBR3dURxi2QkeVN7BspkyhrMgKVP/EAuCrKFvmCgKJTBg9CNGV2PcpMqaUsmABGf9PY2Iush+xIy8UtAlIAbmTP38SgZMgEOWa4bQiVD13NM6TALDaN3sKlOK4=
It was recently decided that LICS 2021 will be held online. For this reason
we’re making another call for workshop proposals:
36TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2021)
2nd Call for Workshop Proposals
http://easyconferences.eu/lics2021/
* The thirty-sixth Annual ACM/IEEE Symposium on Logic in Computer
Science (LICS'21) will be held online on June 29-July 2, 2021.
The workshops will be held online on June 27-28, 2021.
* Researchers and practitioners are invited to submit proposals for
workshops on topics relating logic - broadly construed - to computer
science or related fields. Typically, LICS workshops feature a
number of invited speakers and a number of contributed
presentations. LICS workshops do not usually produce formal
proceedings. However, in the past there have been special issues of
journals based in part on certain LICS workshops.
* Proposals should include:
- A short scientific summary and justification of the proposed
topic. This should include a discussion of the particular
benefits of the topic to the LICS community.
- The proposed duration, which is typically one day (two-day
workshops can be accommodated too).
- Expected number of participants, providing data on previous years
if the workshop has already been organised in the past.
- Procedures for selecting participants and papers.
- Potential invited speakers.
- An agenda.
- Plans for dissemination (for example, special issues of journals).
Proposals should be sent to Frédéric Blanqui: frederic.blanqui AT inria.fr
* IMPORTANT DATES:
- Workshop proposal submission deadline: February 28, 2020
- Notification: March 3, 2020
- Program of the workshops ready: May 27, 2021
- Workshops: June 27-28, 2021
- LICS conference: June 29-July 2, 2021
* The workshops selection committee consists of the LICS Workshops Chair,
the LICS General Chair, the LICS PC Chairs and the LICS Conference Chairs.
- [Coq-Club] LICS 2021 Online and Call for Workshops, Sam Staton, 02/04/2021
Archive powered by MHonArc 2.6.19+.