coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] LICS 2024 Call for Papers

From: Sam Staton <sam.staton AT cs.ox.ac.uk>
To: "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>, "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>, "las-lics AT lists.tu-berlin.de" <las-lics AT lists.tu-berlin.de>
Subject: [Coq-Club] LICS 2024 Call for Papers
Date: Mon, 18 Sep 2023 15:59:16 +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-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=hiWCXrqbao/3XOqR4liA3+yFTYCPxZTrqyNYdjkICgo=; b=M0op7Hw3KK8K1GN/2IBZXHZ21SojEmiiTIuN2BGrS0bOsnsNuZ1tq6zOKA0FAhW+JSXjmvWMnMAZI9cKgCdG0z7OfdQMmYWCJk2NNGOULsFGsnY855z6P6dVVblzm/TwpAsWObMtSwRawfr4pFnshCB2rm88GylfwzXJemDwBSwNACUDx3IbeucMCt8s+vKC3wSpSNEU9tvZXOKbcqaS2F+i5JSOT1QRFKcvOpiEnnbDTixUzRB9L3pK+8VfYN/w0oyLu4TFuL7RvY8pez3Bz9mZ77dGcSqi6XNjKXdLrRKjgPlyJNgVn7F4KXUvzmka31kc4mc8LwbAVPcNHuup/Q==
Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=isXYR+H/E+zfmooAZYuU0/I/1wplwJ8wAUeXEUFG5Tb+IX2siE5RO3fHyH9ME01T7znwlJ/GBr8TvWDS6chuIHc+tCe8oio+XCX3m1sp9G8DwrhBrtQSpuN5qoDdNimVvcqpYhtPxCpzm4COo6aF4DcLfCpDFy233qxYwD1M9TXHgqIiCqjlUTXYZJHB8AlhfxqkdaGKkc7O2lBlbjpxd6VNJpn83EUhVasxrjjkShe5Vp8AMMP3b8wJ7l9E8vIGRvNxUviyOXYo82DuU+kf+yjRVSIu5sEfENHJHulrNYS7qb4uyPHMqeNEAm10+0+nENYjk+I2lftuT5RlsygqAA==
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 relay20.mail.ox.ac.uk
Ironport-data: A9a23:X8o+CqjcGNSOLsDdilNfjiHeX161yxYKZh0ujC45NGQN5FlHY01je htvWDuHM/aIMzehcowkYYS2/UwHvJfcxtEyGQs6rC5kRC9jpJueD7x1DG+gZnLIdpWroGFPt phFNIGYdKjYaleG+39B55C49SEUOZmgH+a6UqieUsxIbVcMYD87jh5+kPIOjIdtgNyoayuAo tqaT/f3YTdJ4BYqdDpOg06/gEk35q+q6WpI5gVWic1j5TcyqVFFVPrzGonqdxMUcqEMdsamS uDKyq2O/2+x13/B3fv4+lpTWhRiro/6ZWBiuFIOM0SRqkQqShgJ70oOHKF0hXG7JNm+t4sZJ N1l7fRcQOqyV0HGsLx1vxJwS0mSMUDakVNuzLfWXcG7liX7n3XQL/pGKnxuJI9Auf1LLkpX0 PUiND4PSj2CvrfjqF67YrEEasULNsTvNZJF4jdlxDDdS/E2B5nIBbjJjTNa9G5u3YYXW6yYP pVBAdZsREyojxlnIV4STokilfuvgFH0aHtfuBScruwq4AA/ySQoiuazaoKNIofiqcN9gk2l9 0v30WfFEgwEa42D2yqd8TW3r7qa9c/8cMdIfFGizdZhh0TWzWgOAjUNRF6jqL+4jFS/UpRRM SQpFjEGt6U2/V3xFp/4Vhy85nmU+BcXHcdTewEn1DywJmPvy17xLgA5ovRpMbTKbedmGmB45 UzDhN7zGz1kvZucTH/XpP/eriq/NWJRZSUObDMNB1lNqdTygpABvjSWRPZaEYmxkoLUHxP0y Gu0tyQQvegYovMK8KSZxmr5pQyQiKLHdSMP3TWPbFmZtlt4QKWHe72X7UPq6KccDYSBEXiEk ns2u+mfy+EsD5qcyTKAa7gNLaD0vv+UESb9hGR3FMIL7AWd+H+EfKFR7gphJUxvDN02RD/xb GLXuiJT/JV2Pkb2XZRoYom0Ndsm/ZLgGfvhSPrQSNhEObp1SyOq4wBsYhS28132sU1xj5w6B 4iXQfysAVkeF65j6ji8HMUZ8L0zwxEB1XHhfo/6wzunwIihSiasE5ldC2S3b8c98K+giyfW+ YwGN8K1ljNuYNenaSzTqYMuPVQGKEYgPq/PqutVSL+nAhFnE2QfGfPu0esfW4h6rZ90yMbM3 F+AA3F99nSupEf6OT2ra29iYozBRZxQj2w2Fg1yMEeK20oMW5eO7qAefJ4JZogX9/1G5qNof sYBYOGFU6hrTxrF3zIjd7j8s41QWxC5ji2ePyeeQWYefrwxYyfr69Pbbg/U2y1WNRWOtOw6u KyG6gPXZbEhVjZSJp/aR9z3xmzgoEVHvvx5WnX5B+V6eWLuwdBMEDPwhPpmGPM8A0zP6RXC3 jnHHCpCg/fGprI019z7haqkiYONOMkmF2p4G1jr15qHBRP4zEGCn7AZCP2peArDXlza4K+hP OVZ78/tOc09wWpljdBOLKZJ/4kfuf3f/6RX3yZ1LkXtNl6LMI5tElOC/MtIt5BO+INnhBuLa hqx3edeaJq0O5LDMV8OJQAaQPyJ+tMKlxLzs/kkAkXIyxVm3biAUHQJGgSG0yNAHYRQLY8a2 uYFk+wV4jyZlRAFHIunjCdV1mLUNV0Gcfwtma87Cb/RqDgA6w99c72FLQGu+7CJSdFHEndyE w+unKCY2ohtnBvTQUQ8BV3m/LR7h61XnDto0VVbBVCCuuSdt88NxBcLrAgGFFVE/C5mjdB2F HNgbXBuBKO0+DxtushPckasFyxFBzyb4kbB8EQIpkKIU3iXUnHxE0NlNdav5Ew590duTgpf9 pycy0fnVm/kQpiglG96E0tosOfqQtFN5xXP0pLvVdiMG54hJyHpmOmybG4PsAHqGt41mFaBn +Rx4eJscufuAEb8eUHg51Wyjtz8iSxoJVCuhdl78acADDuEPjS72DzILFD3c8gLOv+iHYpUz SBxDponavh8/H/mQvMn6WokKKQym+5v7dFEZ7CDyasure6EtjQw2H7P3nGWuYLoKumCVe42M cXWZ3SLGSqNhhO4XoMLQNZsYgKFXDXPWOEwMC1ZPgnE+1LvfdyAqX0P74Y=
Ironport-hdrordr: A9a23:zlDFGaNsQgnUC8BcTiOjsMiBIKoaSvp037BK7StMoNJuA6ilfr OV/cjztCWE8Qr5N0tMpTntAsm9qDbnhPhICOoqUYtKPjONhIJ5FvAE0WKK+VSJJ8S9zJ856U 4HSdkdNDSaNzZHZKjBkWqF+pobr+WvweSSn/7Xy3ooZQt2a6dmhj0JdzqzIwlMXhBPAZd8LI aR+sYChzfIQwVsUu2LQkIeRuDGqpnwmIn4bQVuPW9e1CC+yQmw4Lr2VyOVxAsaTlp0sMwfzV Q=
Ironport-phdr: A9a23:9MBDHh+Jj3e7hP9uWcCyngc9DxPPW53KNwIYoqAql6hJOvz6uci4Y gqGuqUm3QaBdL6YwsoMs/DRvaHkVD5Iyre6m1dGTqZxUQQYg94dhQ0qDZ3NI0T6KPn3c35yR 5waBxdq8H6hLEdaBtv1aUHMrX2u9z4SHQj0ORZoKujvFYPekcW62/qv95DRYAhEiz6wba5vJ xiqsAvdsdUbj5F/Iagr0BvJpXVIe+VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4U KdXDC86PGAv5c3krgfMQA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb7S60/Vza/4 KdxUBLmiDkJOSMl8G/ZicJ+i75Urh2uqBFk347UeYSVOOZ+fq/BY98XQ3dKUMZLVyxGB4Oxd 5YBAPAEPe1Fsof9u0EBrQe5BQmqGejizSRIiWXz3aEgyOQhDRvJ3BAnH9IIq3nbsM71OL0VU eG61qXH1ynMY+lL2Tf+8YXFdA0qrv6QU7xqa8XR1VUvGB3fjlWWsYHrMS2Y2/kCvWWa7+duW uyihm0jpg1vvjWi28cihIfKi48JxF3J9Tl1zokoKdGlSEB2btCpHYdfuiyaM4Z6XswvTmd1s yg0zb0GvIS0fCkMyJk/3B7favOHc4yP4hLsTuqRJi14hH1jdbmihBiy6VCtxvD9W8S6ylpGs zBJnsfWunwQ1RHf9tCLRuV880u91zuC0h3f5v1eLk01kKfWKoItzqI1m5YOr0vMAyr7lUDrg KOKcEgv5/Km5P79Yrr8o5+RL490hR/6MqQpgsG/G/o3MgwUUGmb5+iwyKfv/UjjT7VLiv06i K7ZsZ/AKcsBuqG1GRJV0oU75xa+CTepzsgYkGEaIF9Edh+LlZXlN0vQLPziEPuygUignC9ux //cP73hBpvNLmLEkLfkZbt98FRTyA8pwdBE+5JbEK0BIPX1WkLqqNPYFQU1Mwu7wur9Etpyy pkSWX+MAqOBNqPdqkeH5vgzLOmUeI8VpDH9JuA46/L2l382hUcdfbW13ZsQcH23AvNmI1yAb XXwhtcBDHwFsxElTO3qjV2CSSRca2yzX6I6/DE7CZipAZ3NRoC30/S923LxFZRKa29BEFGBC l/ta4zCUP5GIHaZK9NsnTseVLW6Y4o93FelvVm+g/BIB8/5wQUctIn/z55v+PHT0Bg7/jx5C YKR3ivFG05du04zbzs3x7xk51Zi1lfG2KFzg/FeU9BesbcBGBs6OJnGwuk/E8r1RA/bZf+AS RCjQ8ngDD0sBJpl398DZFxwHpC6lBfd0jCxK7YU0bmKGNo5/r+KmzC7LMF7wGvczqQnhEgOR spUKXarnLBy7U7PGoOPlUHT3/KhcqIXwTTX+WGI3EKKvVpESwNqT6jfG2wCaw3QqYK9rgnMT rmvFbliNwxNxMrHNqtHbcf4pVFHX+v4fs7Bf2L0km67BRuOgL+BJsK+dWQb3TnQTU0Dnw0Xu GqGOA8kFw+lonnCF3p0Ck7vJkrl+ulzrjW3Qxlwh0uDdElJybOu4RcPw/GQVrlbirsfvA8/o i5vFUz70t7LXZ7I7QNucKx0ZdIm/EwB3mLQswlwJIfmNK0ozgoXfAh+l0fvzAlsTI5AmMwvo WkxihF/f+bQmlpZbyiV2Lj0O6bLMS/u9wvpaqDXnFXbzZCa9+1HvP0gs07uuSmtF1E+6DN72 MIT0nWdoJHPEUweXMS1Ggwz+RNh4rDcfiQn6pjI/XxqP++5vnnL0JQ0B6FtnhKudMwaMaWYG RX/CNEyBs6gbuEm3VGiKA8HaqQavqU9M86OduebnqKodq40lzuqgExG/J073kHas2I2UvTP0 NMByveX9geGVCq6gFTr+pTvg4dLIDUbGGWXxSnnGchdZfs2NcwPCGGjKtefzc44nILkXXBf7 lLlCl8bkof9fRuUYlXn9QZLk18LqHqpnjG0iTF4jmdt5uCz+QXo7tjKZgIdfHNNRSxhilroJ 864gppSCGSNRi4EqDO3/Vy82q5a4ad4Im3VB0tFKWy+ZWFlV6yssaKTf99X5Y8ovCJNQcyzZ leVTrPyuRwHyzilFGxbjnhvdzavvYn+hw1mmXqQMHZ+q2DIUc53whjb6dPGQuNJxXwNQywuz XGdHFWjJdi1/NObv5rFqaW6RmWnEJNJO2G/146friqn5GtlKRC5hLW3i9rhVwYgh2uzncV7T SjT6R/6ZI720a+3GeZmZVVzQkTx4tE8B5lzlI12iZ0NkzBOmoSN8GFCmGH1Nshd0q/WaHsWW SVN2NPc+074wEBlKDSEy5+vEj3Xycx4ItK+f2k+2yQn7skMBr3epOhPmjIwqV6lpyrQZ+J8l 3ET061qoDQTjO0AkA4s1TmGRLsSFE1dMDb30Q+FpZjqpapbbU6rcKOszwx1ndmlCbyYuUdHV SC9Mt0aByh34Pl/PVXWwVX365r4Y5/aZM4T8BSf1QrDxaABEIg2kfQ2hSdgI3PVmXw+1/V9p xVy3deTt866CDMptOi9CwUdMjz+fOsX+yrxluBCg4Oc0pqrH5MnFjhBFM/sROntFDMZrtzjN h2SC3sgtzKRFKDbHAnZ5Eow/FzVFJX+DHiSbEIFxMllQlHJP0VaxhsIVSk9mLYyDUat1Iroe wFk5WZCtRbDthJQx7cwZFHEWWDFqVLwAt9VYJ2WLR4MqxpH+1+QK8uVqOR6AyBf+JSl6g2LM G2SIQpSXikSQkLRIVflM/G14MXYtfCCD7+lJv6IeqmHtetYf/yTg5W/lIJtuSuPZY2UJnc3N /QgwQJYWGxhXcHQmjEBUSsSwjnEaoiAuB6g/Stfpdv59+StUQmp+IjcQ6BKP4BJ/Ba7ybyGK /bWhCt9LmNA0YgQwHbT1LUF9EQfjyh/LWHrFL0BsWjKXOTZkelKDHb3cgtVM81Fp+I51whJY 4vAj8/tk6R/hbgzAktEUlronoeoY9YLKiezLgGPAkHDL7mAKTDRpqO/KaqhVb1divlVvBysq H6aFUHkJDGKizjuUVimL+hNiCiROBEWtpu6d15hDm3qTdSubRPeUpc/ljQzh6Yoj2/NM0YXK n57YwVEpfuN7mIQg/lyHXBA8mswNfONyG6S6+jVLIpTsOM+W3ov0bscujJjlOMGiUMMDOZ4k ybTsNN09lSvk+3VjyFiTAILsDFAwoSCoURlP6zdsJhGQ3fNuhwXvgDyQ1wHocVoDtr3tuVe0 N/KwejoITIE6M7d4cwaL8PPbsWXdnMqdwfqUm2xbkNNXXuwOGfTilYI2uqb8zuOspEmrZ7Ek 4FITa8dXVdzC/BQWSEHVJQSZZxwWD0ji7uSisUFsGG/oBfmT8JfppnbV/iWDJ0DMR6hhKJfL 1sNyLL8d8EIM5HjnlZlYR98lZjLHEzZWZZMpDdgZ0k6uhcF/H97R2w1k0XrD2HlqGQaELivg hcqjQ1Wav9r8yeq6lxxO1mCqCYrkUY3kMnomnjILmW3deHqG9gJU2L9rAApP4n+QhppYAHX/ wQsLzrCS79LzvNheW1tlA7AqM5KEP9YQ7dDZUxYzvWWavM0lFVE/3z5ngkeo7GDUMQ6x25IO da2onlN2hxudoswLK3Ufu9Sy0RIw7iJtWmu3/wwxwkXIwAM9nmTcWgGoh9tVPFuKiy28+hr8 QHHlSFEfT1GTPMv5Ol2/186PcyL1GTnw/hKIQasNKbMSsHR83iFjsOOTl4qgwkTnkwD5qR/z cAlW0GPEUc/irKaUQkKf5mnS0kdf49Z837dejyLuOPGzMduPomzIevvSPeHqKcehk/3VBZsB YkH6d4NW4W9yEyNZ9myN6YLkF9+gWajbEXAFvlCfwiH1SsKs93qhoEixpFTf3kcGTkvaH/mo OiI4Fds2L3aAp83eitIB9VfcCtwAIvi3HcH2hYIRDivjrBAmVLEsGG6+GKIS2OnJ9t7OKXNN EkqV4/wqXNntPLvwV/PrseHdju8aook44GJsaRA//PlQ7tVVeUv6haG3dYGASfwFTaIS4T9J oCuOdN0NYWmVC3iAADj02BnCJutdNe1cPrSiFnhF9wM6NvJm2pyUK31XmYXHxM6zw0azIR7Y wBLI58yYBqy8h87K7T6OgCTlNOnX2eqLzJSCfhZ1+SzIbJNnWIqaaehxX0sQ4tfraH/+FMRR JwMkhDVxOqyL4hYXy/pH3VBegLJ7SMnnmllP+w2z68x2hTN+VUbNjmKcqRuZgkm95kkAkiOJ HxtFmcib0WRiYPSuFbq2rkT+21aj5Bd2qtYszm2v5PSZi6tRL3+qZjRtHlFD5BuqKlwPIr/Z 8qe4cqAxXqGCsOW61LdA0vYX7JAl9NdITxVWqxNkGAhY4kdvJZZrFA2XYE4LqBOD68lovarb yBlBGgc13x8NcvI0Tocj+O7w7afmA2XdcFoKxUB9o5ei8caVQZ9eWUZtOmqXMPLlCXXLwpDa BdW9glK6A8aw8Voefv55YPTUJJW4yRbp/tlCHONE5Bp8x38Wiefih7lS7/y9o7hlRIXx/Xq3 N4BXRd5AkUI3OdamHwjL7RvIrURtIrH2tdtXUjh+mX9juKtYkRSm5W8n7LQB5GDsnq6WyZa5 H5GHOenKVnFGJAbglAhLqMipVEKJ5Dgc024+j92n+xU
Ironport-sdr: 650873e9_nAuFxnn0NfhnbAPCPcloqtzO1JyWas7xWpyKEc8Uotjzkj5 Vezm1okQHLE/1JUuRS1exrKVIuTapNsy7ayRauA==

CALL FOR PAPERS

Thirty-Ninth Annual ACM/IEEE Symposium on
LOGIC IN COMPUTER SCIENCE (LICS)
Tallinn, July 2024
https://lics.siglog.org/lics24

SCOPE

The LICS Symposium is an annual international forum on theoretical and
practical topics in computer science that relate to logic, broadly construed.
We invite submissions on topics that fit under that rubric. Suggested, but
not exclusive, topics of interest include: automata theory, automated
deduction, categorical models and logics, concurrency and distributed
computation, constraint programming, constructive mathematics, database
theory, decision procedures, description logics, domain theory, finite model
theory, formal aspects of program analysis, formal methods, foundations of
computability, foundations of probabilistic, real-time and hybrid systems,
games and logic, higher-order logic, knowledge representation and reasoning,
lambda and combinatory calculi, linear logic, logic programming, logical
aspects of AI, logical aspects of bioinformatics, logical aspects of
computational complexity, logical aspects of quantum computation, logical
frameworks, logics of programs, modal and temporal logics, model checking,
process calculi, programming language semantics, proof theory, reasoning
about security and privacy, rewriting, type systems, type theory, and
verification.

IMPORTANT DATES FOR PAPERS

Authors are required to submit a paper title and a short abstract of about
100 words in advance of submitting the extended abstract of the paper. The
exact deadline time on these dates is anywhere on earth (AoE).

Titles and Short Abstracts Due: 21 January 2024
Full Papers Due: 26 January 2024
Author Feedback/Rebuttal Period: 18-23 March 2024
Author Notification: 15 April 2024
Conference: 8-12 July 2024.

Submission deadlines are firm; late submissions will not be considered. All
submissions will be electronic via easychair.

PAPER SUBMISSION INSTRUCTIONS

Submissions should use ACM SIGCONF Proceedings 2-column 10pt format and may
be at most 12 pages, excluding references. Latex style files and further
submission information is at https://lics.siglog.org/lics24/cfp.php.

LICS 2024 will use a lightweight double-blind reviewing process. Please see
the website for further details and requirements from the double-blind
process.

The official publication date may differ from the first day of the
conference. The official publication date may affect the deadline for any
patent filings related to published work. We will clarify the official
publication date in due course.

[Coq-Club] LICS 2024 Call for Papers, Sam Staton, 09/18/2023