coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] LICS 2021 Call for Workshops

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 2021 Call for Workshops
Date: Mon, 19 Oct 2020 08:34:36 +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=In4qX+slwHGnBQtD67rawJyH2uhZmDnBfBj1FuaWNmw=; b=NmZv6Iy6TgqrMDjNzL2Y7Zy03rh8WmnYv4S7fOXA11shYwghTT6ENZKM5Iw7ZKqsCSBw6ghsC05KeD4nWxHV5nHRoBgvnnKuw6vvyKfCEosSCu+vaBSCRl55aSR54ZLOIf/ptztjHbaPTpzYnogVmTlijQ6gJepMUYsb/vqyULyhtowOc5Ch7u1YNDuZuc7vqi/W0fL6u/3bvmsjjOkzP+Z+0yIzDAY9iAfYX3jLkS6EkdRSS0xd/8Q8e6/C+ivBp0pZrbvCWGhp56YS5LesUjlYnmpquYWC/1wRZpSPyqIlmEPanr0kJS7SIj/QDcTwAnLFjCTSylyDwBUKlPicAQ==
Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=fzQp8dgVk6yGYoD/pQbzToAdp0ZlVqrH9UabUv6FuQxFy/OQjlP7+eW5MVmGtau2E377MzhgACs6SxzT6c6z5QUqnBg6ii+7TveHYxlhqxunQWaYwOQLWYnwMPvDd+g9G9eGS2Q4boJsUOeP3LdIM/Xkz65K4h8uRwvlTVTIaA/fxYMBZBA8DeND75cBGo0xfdPHBGPWQiQaZOY9pMYVejFPoW9RVYgW64FyR0Hf/vi0JHl10jEkKd4EQx6ColWkhGJEP3P9tCYlqE1GXfZ82maemjgJKLBZ5JHCmjDV2Qd9dx6HDmNYfwFvBtOUphWnQITISHpIPhBUyrE1Vr3Fog==
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:QIwofhxOVHo2VgbXCy+O+j09IxM/srCxBDY+r6Qd0egQKPad9pjvdHbS+e9qxAeQG9mCtLQb0qGO6OjJYi8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6JvjvGo7Vks+7y/2+94fcbglVhjexe7F/IAi5oQnNuMQdnJdvJLs2xhbVuHVDZv5YxXlvJVKdnhb84tm/8Zt++ClOuPwv6tBNX7zic6s3UbJXAjImM3so5MLwrhnMURGP5noHXWoIlBdDHhXI4wv7Xpf1tSv6q/Z91SyHNsD4Ubw4RTKv5LptRRT1iikIKiQ5/XnXhMJukaxbvByvqR94zY7VfI6bO/Vxc7jBfdwBQGpNQsZRWzBDD466coABD/ABPeFdr4TlulUBtx6+DhSxCuPz0DBImnj23asn2OkmCgHJxgkgE8gVsHTIttr1KKASUeauwabU1jXPdfRW2Djn5IfSbh8tu+yMXbFpfMfX1EIgGB/LgE+Kpoz5IzOayP4Ns26D4uRvV++ii3IqpQ91rzWsycohhZXFip4axF3G+ih03Ik4KMG2RUN/fNKoDJVeuiWGO4V2Xs8vQnxktTs1xLEatpC2ejUBxpogxx7acfOHco6I7wr9W+mLOjd5hG5qeLW5hxa870eg0PPzVs+o31lUtSpJiMfDtm0L2hfO6caHUuNw8lq/1TuLzQze6+NJLVopmabBNpIsw749moINvUvZAiP6hkD7g7OUe0Uq/+Wl6vjob7X4qpKZOIJ7lh3yPrgrl8G8HOs0LBQCUm2U9Oih27Dj80j0TKhKg/EqlqTUtZDXKMAUq6O2GwNZzIcu5wqxAjqjzdgUgWMIIVNAdR+Gk4TlJ1TDLfLmAvq6hlmgjipnyvbbNbP7GJrNNGLMkLL5cLZ99UFczA0zwMhF551KDrEOOvLyVlLzudDCCx82KQ20w+L9BNV62YISQ3iADbODPKPPsl+E/uMvI++Sa48JoDvxNuYp6vr0gXI4m1IRZ7Sl0YEKZH25HvlqO0CZbmDtgtcFH2cKpA0+TOnyhV2ZSzFTYmy+X7kg5j4hFIKmCoHDS5uxj7yaxiu7GZJXanpcBV+QC3voaoaEV+8WaC2OOs9hjiAEVb+5Ro8l1BGhqBT6x6NpL+rT4C0Ytonj1Nhy5+3LjhE/7id0DsSY02GVVW54hGIIRzks3KB+u0Nx0FmD0bJgifxCCdNT/+9JUhs9NZPE0+N6DMnyVhvdcdeNVVapWc6rASoxT9I0298BeVxxG9SkjhDZ3iqlGaUZl7KRBM98zqWJlXz4PIN5yn3d/K0glEU9BNdScGernKp+8U7fCsSBx0GQjOOudK8H9CrM73uYi3aT+UtVSgpxV+PJUCZbLgHdpMj06UTYTrK1IbE7O01KwITKfqBDdtDmik9HSezLPcjXJWm4zSP4Tzmh4563RI7rYHkGmj/CFEhBmgkY/XuAcwQzTG/1jEv7IQdGEVP0f1iq6/ZiqDayR0Q0wgfMY0A3k/L/5h4YguaRTrYLxLUatT06gzx1WlO8w5TbB8fK7159fKhbe944pU9d0nzUrRdVN53mKqF+wFMSblIz9wnl0BN8F59anM4hvVsuzRFuMq+Czl5bMS+F0Nb2PveffmL1+huycbTb3FrP+NKX4bsU5e4mpk+loBykUEwmpTEvmddU1XqA69DPCwYfVdftUksw7QlSo7DBfjJ7/ZzI1ThlOKK0vzmE199jTL8ryxChY9oaNaSIGQu3D80XANK/AOgrgESyKAgbIOAX/ac/P86gMfeLjurjdu97mBq4hH9c6Zo7306RvWIoQ/XM94gM2OqRxE2KWyqqyB/ru8/7kKhAZCoOBSy0ySHgAYNLfetpcMxDXW6hL8SfwtRlm4WrUH5R8FuuHUhAw8L/PVLYZkTlxgBV/UAWumC83zez1Hp1nTBvqq+CmiDDiay2fQIfIWNObG1jlkv3Z5S/lJYbUknuaw000heoswKyjaxVr786Lm/PTF1FZDTeLmdsFKa88LOJJdNMott8tStcS6G9Z0yXULPmvzMb1S2lEmcYzTt9ajL8/t2zlBV2hUqcMGs1oHmTMZV7zBvSzN3AWLhd3WxCDGNgkz7YQ1y1OdaB8dSXitHPsar2A3q7UZIWdSDtwquMtSimo2FpV1n31fSynNDuCyAxymngy9BsWyLSoFDxbpShn/C+MORqd1NAD0S68NZzHI95iId2iZ0NjzxSzJmf4n0dlWvbOs4dxqPlZzwASSNBi4rZ6hfiwklvBnmSgZ34TX7bz8d8MZ3yKE8z8wQQ0+hYEL3S8bpF2Chyr16+6w7cK7ApshI079YSwGwCmacUvgtozSKQBrZUEUQOeWSmmRONx9ul6qNGeSCifaX6nB5wmtWJB6rEpBBBHnv1Z8FmVWVw6cB4LFXUwWHi8oz4eNTXd8M7uRqTnBPNgPJSNYoq0PENgGAvbWL6uHo5zPYqkQ120I26sY+dOk1i+6W2BhNXLDrof9hV8Tbo2+IW1NybwJquApRnFR0GWoCtSeOvFnQcr76vYxyDDyc9tnadFpLSGxTa7FZhqTTBCcbvfzuLNWEU1pBrQh+aOUpUjSgQXS4mhdgiGwmxgtH5fUF/oD0d+xSw/gdd0u9zchD5VGDCogylQjM1U4SEagFb5xoE+l/YN8rY4+5uSWUQtJamtUmGLnGRTwVOF2AAHEKeTRi3Nb63oNLE7uKwB+ykLvKIb6/Y7aQUXviEzLqr05B65HCHNsyLO3R4FLsg1wALCXl2F83xnzQUVzdRnCLEa8uWvgz64SAh6oj19PXgQ0fw4pGMELtVKc5H+hasgK7FOfTazHJ9KD1Dk4wL33zTyL8Hx3YTjTtvfn+jC+JE/WT1VqXXlJNXAhkBegt3NdBU9OQ21xVNf8fQzM72nPYstuQyDFl5VVHmgNCBQc0RP3r7HlrbBACiP/K7BmuY7dvwZPaHQLgYt/ldqxq28WKAGkqlJSiKiz7vfxu0d+ZcyiiQegFd7tLuOi1xAHTuGYq1IiawN8V62GVvkO8Ew0jSPGtZCgBSNkZEr7me9yRd264tEHcH6WojJOLChiXLtrCFeKZTiuNiB2FPr8wf4Hk+zOEOvjtJQPVkwXSUq9dvpxehgq+GwXx6U0gW82oZtMewpUxnfJ7h2NxYQ3+dp0AG9iOXG1IDrJ14CY+3tg==

36TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2021)
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 in Rome, Italy, on June 29-July 2,
2021. The workshops will take place 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.
- A discussion of the proposed format, whether it should be
a physical meeting only, a virtual meeting only, or a combination
thereof, and whether you need special equipments or technologies.
- 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:
- Submission deadline: December 6, 2020
- Notification: December 18, 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.

* COVID-19: the organisers are watching the evolution of the pandemic
very closely and will make a decision later on whether or not the
meeting can be held in-person in Rome or not.

[Coq-Club] LICS 2021 Call for Workshops, Sam Staton, 10/19/2020