coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] LICS 2024 Second Call for Papers

From: Sam Staton <sam.staton AT cs.ox.ac.uk>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: [Coq-Club] LICS 2024 Second Call for Papers
Date: Fri, 22 Dec 2023 20:09:28 +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=X6eHiY6hw6oM3B6YzK84/mI22GbylXbCsHClAjFV4FE=; b=W1OjL2PHu9wOtsQOOfzMhk7x9SK5y9vySkEcfi12LZeTdW9guBCix5RjbH/Fby6VzHRr4gbjR/IMxhJU0wrM7+FHZ5akg6BXUmMQlQ7IqnKzE7uN0qBO9H77o1MRC8UbfTA16pcM/p2aonTYHQNvolLI45KDTnrEdGtSDUiLh/Cbll0LyBnE4f91mBWCbvWUXJONFYstbrySiLv7QOOVXOqIhsMKPP8u9iC99B71eBLdUCzhJAiMbGpLsjYMTiV2U0Uh5h58IIzkHXoeOYQeFNCxSr2MMM3RYH8vzLJJ7sPbw54RIxyLPTZdYEkeOTGTrZSpHYK42bOkiG1TiwTfWw==
Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=bINv3KbE+8+jr5n1qfbQsPg1XzAPzCSrGous+nUbnF0Q6jZbwevdOhLzAcalKVHmobweqJo3m8HhHPNaOrt27SVkknJoGsA6/unayQVKL0+ZvajsO5szMdMSq5e8F/vHoH4na7KVm7j2jPot4sj5UUTEhEac7iSUla0OjXpdAok5vuSlm9CAC0JrogQF8A+LvyLgVX0Ky6HbnrWK+akvlj9StbPIsaQGf/M3cLTir5XB93zvEf0n1yD9CbS66csh6Z18CnPgrATNK5JP/PT3Lkrx91C5Ixw86SfpxVskN5+p+yjFe0ivUsKeCQv1J1MCaF2aYGP2YumWD74knmbVAg==
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 relay19.mail.ox.ac.uk
Ironport-data: A9a23:n29Ffq2ZmAi2Bf2T3fbD5dl0kn2cJEfYwER7XKvMYLTBsI5bp2QPy zcXCjqBbqmINmH2Ktp1bN618ksGu5bcyIViSldr3Hw8FHgiRejtVY3IdB+oV8+xBpSeFxw/t 512hv3odp1coqr0/0/1WlTZhSAgk/vOHNIQMcacUghpXwhoVSw9vhxqnu89k+ZAjMOwa++3k YqaT/b3Zhn9h1aYDkpOs/jY8Uk15qyp0N8llgVWic5j7Ae2e0Y9V8p3yZGZdxPQXoRSF+imc OfPpJnRErTxon/Bovv8+lrKWhViroz6ZWBiuVIKM0SWuSWukwRpukoN2FXwXm8M49mBt4gZJ NygLvVcQy9xVkHHsLx1vxW1j0iSlECJkVPKCSHXjCCd86HJW1HJ+q5cVm00BqIJ3sF1JWB+6 KcmNS9YO3hvh8ruqF66YvNhgs0ydZitOYoevjdn3XfQBrA7QvgvQY2Tv44egmh234YXQq62i 8kxMVKDaDzbahgJIUseFJU4tOyzwH7vNTRT7k+WzUYyyzGPl1wogOWxbrI5fPSbaMhygU2Zn FjoxFX4DwoiGe2RwwCspyfEaujn2HmTtJgpPLa/77thhECZ7ncCDQUfE1q9u/iwzECkM++zM GQO9y4nvPFjskmiT927WA3+qXXCox10t8dsLtDWITqlksL8izt1zEBdJtKYQI157J0FVnYx2 0WXntjkIzVqvffHATie77qY53f6cyQcMWZIN2dOQBon8uvThtg5rivOadJ/T4+zrNn+Qg/rz x6w8SMRurQ0jOww7Zudw2zpuTyWm8X2flYH3TmPBmOBxSFlVbGhfL2tuAT67+4fDYO3TWuhn Xkjmuqc5/FTE5ymySy8UbhUFaCI/NeACiXX2nR0Lqki9hOs2n+tRp9R6zdAP3VUMt4IVDvqQ U3LsyZT2cNjB2SrZqpJfI6BMcQm4qz+H9DDVPqPTN5xTrVuVQ2ApgdCWFWx2j3zrU0Sjq0PA 5eXXsKyB3I8C6487j6XRf8Y4IA71BIF2mLfapDq/SuJiYPESiaudo4EF1+SYsQSzqCO+lzV+ ukCEfq68UxUVemmbxTH9YIWE0sxEkE6IpLLsO1SSP+IJ1t3OWMmCsKJ+4gbRa5eo/13mNvLr 1aHYW0J7HrkhHbCFxeGVWA7VpPrQqREjCwaOQ4CAA+W/kYNMKeVwoURTZ8VRYUc1fdCyKd0R sYVes/bDfVoTC/GygsnbpL8jdJDcTK5oQffYw6gTjobeaB6Zg3W++3Lehnk2zkOAxGW6+o/g eyE/SHKTaUTQz9NCJ7tV8uu6FeqrF4hmO5WdGnZEOl5IUnD3tBjFH3ss6URPcoJFyTm+hKb8 ASnWTEjuujHpt4Owunj3Kyrgd+gLLpjIxB8AWLe0LeRMBva9EqFxatrcr6BXRLZZVPO1JSSX 8dn5NCiD6Rfh3dPiZR2LJhzx6Fn59fPma5T/j45IFr1NWaUGpFSCVjY+/JQt5995K5T4iq3f UOtxuN0G5u0POHdLVpAAzZ9M8qi06kPlyjw/MYFBhzwxBVK8YqtVWRQOBixixJhEoZlDbN9w ckdlZ4XzyedlisVNs23i3EI1maUcV0FfaYVlrAbJ47JmzgU2lFPXbGBLiqv4JiwdMhGaUY3E wCxmab9nLV47WjBekoVCnLi87d8h5MPmRYS134EBQ2DteTkj88N/i960GoIXCUM6TsfyMN1G GxgF3MtFJW05z0y2fRyBTG9KT9OFDiy2xLXyWJQsEb7UkPxdGjGDFNlCNa35EpDrl5tJGlKz oq5llTgfy3hJvzq/y0IXkVglfzvYPpx+iDGm+GlB861JIY7UxW0np6RYXc0lDW/DfMTnEHno cxYzNR0Y4D/Ng8SpPQfIKue3rIyVhuFBTJjRddMwaA3JlzfKQqCgWW2F0OMe81zfq2AtQfyD sF1PctAWiivzCvE/HhRGacIJKQyh/IzosYLfrTwP2Mdrr+DtXxTvYnN8jTlznoeKzm0fR3R9 quKH95DLoCRuZeQs3XAqMBVYzv+ZNAFYEv7zKa8+6MUFPrvdQ2qnV4aitOJU7e9aWOLPC54e CvIfOnR36prwsJxnOMA141dUh6sJ4qbuPugqWiOXhcnUT8LGczV8QQF7FDseRlVVVfUtxKbi pzV2OPKMIj5UHranowXd1Rt10WE2ClqYNdqDw==
Ironport-hdrordr: A9a23:UCokbq4Ps+IxsvoxYwPXwUOBI+orL9Y04lQ7vn2ZFiY6TiXIra +TdaoguSMc0AxhIE3JAbi7SeK9qADnhOVICO4qTP2ftWjdySOVxe5ZnO3fKlHbak7DH41mpO pdmspFeaTN5DFB5K6QimTYc+rIq+P3lZxA8N2uqEuFOjsaD52IgT0JaDqzIwlTfk1rFJA5HJ 2T6o5svDy7Y0kaacy9Gz0sQ/XDj8ejruOrXTc2QzocrCWehzKh77D3VzKC2A0Fbj9JybA+tU DYjg3C4Lm5uf3T8G6S64aT1eUZpDLS8KoCOCW+sLlXFtwqsHfrWG1VYczCgNnympDr1L9lqq iJn/5qBbUI15qYRBDJnfKq4Xim7N9m0Q6c9XaIxXTkusD3XzQ8Fo5Igp9YaALQ7w46sMh7y7 8j5RPvi3LGZSmw4BgVyuK4Ii2CrHDE1UYKgKoWlThSQIEeYLheocgW+15UCo4JGGb/5Jo8GO djAcnA7LIOGGnqJkzxry1q2pihT34zFhCJTgwLvdGUySFfmDR8w1EDzMISk38c/NY2SoVC5e 7DLqN0/Ys+OPM+fOZ4HqMMUMG3AmvCTVbFN3+TO03uEOUdN3fEu/fMkccIDSGRCe81JbcJ6e T8uQljxBAPkmrVeLyz4KE=
Ironport-phdr: A9a23:5niMtB+oPCMuk/9uWcy2ngc9DxPPW53KNwIYoqAql6hJOvz6uci4b AqFvKom1QWWFazgqNt6yMPu8JrcEVQa5piAtH1QOLdtbDQizfssogo7HcSeAlf6JvO5JwYzH cBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1JuPoEYLOksi7ze+/94PQbglSmjaxfLF/I BqroQnPtMQdnJdvJLs2xhbVrXREfPhby3lvKVyPgRj3+92+/IRk8yReuvIh89BPXKDndKkmT rJWESorPXkt6MLkqRfMQw2P5mABUmoNiRpHHxLF7BDhUZjvtCbxq/dw1zObPc3ySrA0RCii4 qJ2QxLmlCsLKzg0+3zRh8dtjqxUvQihqgR/zYDKfY+VKPRwcKDac9wGSmROUd1cVzBYAoO5c 4cPD/YNMfheooLgp1UOtxy+BQy0Ce3y0DBIg2L907Am0+s7DQHG2wogFM8JvXTPttr1Mb0eU fupzKbS0TXDaPVW1Czh54jTaBwhpv6NUahqfsXN00UvCgDFg0yWpIf4MDybyv4DvHKH7+p8S +2vkWgnphl/rDWx28oihYjEi4IaxF3K9ih0xJg5KMGlRUB7b9CpE4ddui+aOodqTc0uXnxkt iY1x7AIpZO2cygHxZA7yxPQbfGMboaG4hXmVOmLIDd4gmpoeKm+hxa99UigzeL8WtOz0FZQo SpIlMTHuHMV1xHL98SLVP9w8l2g1DuNzQzf9/tILV02mKbHM5It3L89moYdvEnGAyP6hF/5g a6Te0gr5uSk9+Hqbqjoq5KcMoJ5jwDzP6IzkcGhBeQ4LxMOX3SF9uSmybPj/Ez4T6tSg/Eql KTSrYrUKt4BpqGjBg9YyoYj5Ai7DzehyNkYh2cILFZfdxOHkoTkP0vCIPXiAve+h1SgijBrx v/cMrL7HprBNGXDkLT5cbZ87U5T1hYzwMhC655KDrwNOvP+V03ruNDFFBM1Lg65z/r/BNV4z IweWGaPAqGDMKPVtF+F/vkvLPOJZIMPozb9N+Iq5+LpjX8/glISYbKp0YEQaHG3BPhpOVmWb WDxgtcCCWsKuBExQ/TwiFKeST5Te2qyX6Uk6z0mEI6mF5vMRpixgLyd2ye2BoFZZmdfClyVD Xjoc5iEVOwXZSKJIs5hlyQEWqK7R48g0xGurg76xKB9Iura4C1L/a7kgZJ+4PSWnhUv/xR1C d6c2ieDVSs8ymgPXno92L11iU170FaKl6Zi1a92D9tWsshAV08BKZfAyOoyX8v7X0TaYt6VT 1COSc7gBiF3R9l33txYMBU1IMmrkh2Wh3niOLQSjbHeXPTck4rZ1nn1fYNmzmrekbMmhB8gS 9dOMmuvguh+8RLSDsjHiRbRjL6kIIIb2iOF72Kf1SyWpkgNSwd1F77ZVGwYYGPdtpL+9gXLR PmzCudvKRNPnPaLMbACcdj1lRNDTfbnNs7ZZjeqkmL2HgqB2rSKRIHxPWINmizWTlUHwEgI5 XjTEw84C2+6pn7GSjxjEVW6e0T37ex3s2+2VGcuwgWDfhQwkb+8+xpTguzaQvhVw7FsVD4Jj TJyER792tvXD4DFvA99ZOBGZth75l5b1GXfvgg7P5q6LqkkiERMOwJw91jj0Rl6EOAi2YAjs W8qwQxuKKmZzEIJdjWW2or1M6HWLW+69Q6maqrf0FXTmNiM/aJH5PM9olTl9Aancyhqu25u1 p9Oz3KA4ZPiBxFUVoK3W01x6hs777DWby8h5p/FgGV2OPr8uTvD1tQ1Qeo9n0/6LpEBb+XdU latS55/ZYDmMuEhllm3YwhROelT8PRxJMa6b76c36XtOu98nTWghGAB4YZn00vK+TAvL4yAl 5sD3fyc2ROKEjnmi1L0+Nv+nMZfeTgOGWyXwjOiA54Xb6Y0YIVBWgLMa4Wng85zgZLgQSsS7 1emQUga0dOufzKZdBr6zUtZ3gIKojb0/EnwhywxmDYvoK2F2SXIyOm3bxsLNFlAQ2x6hEvtK 4y55zwDdHChdBNh1B6s5EKggrNeuLw6NW7YB0FBYynxKWhmFKq2rLuLJcBVutsktiBeUeL0Z l7/KPa1uBIflTj/FndZwhgwbHetqtPwlFpniyqRIW1yo3zQZcxrjU6FtZqCGrgImGNZHGFxk nHPC0K5PsW18Nnx9d+Lqe24W2+7F9VSfSTt0YKcpX6+7GxuDwe4mqP7kdnmHA4mlC7jgoAwB GOW81ClJNC0j/ffU6ovZERjCV7i5tAvH4h/ltF1n5QMwT0AgZ7T+3MbkGD1ONEd2KTkbXNLS yRYprydqAXjxkBnKWqEgozjUXDIiNBoYp+hfmoK3SQV5NsMD7fS5bcCgCg/8T/a5UrBJONwm DsQ065k83cfxfoVsRYqyA2WGfYVDQ9RNmrxlF7birL25LUSb2Gpf7+q0UN4lt30F7COrDZXX 3Phc4sjFyt9vY1vdUjB23rp5sT4acHdOJgN4waMnU6K3I03YNoh0+AHji19NSfhsG05nqQl2 Ad208jyvZDbeTw3reTnXVgAcGWyPp1b+ymx3/8AxYDPmdjpRtI4RFBpFNPpVa76SWNI86u5c VjISHpm8T+aAeaNRF7Frhg46SKJS9fxbjmWPCVLlIQ4AkbDYhUBxlhTBm1f/NZxFxj2lpWwK gEmuHZKvBig7UEWguNwaUulCj+G9lnzMmVoFMDNfl0KsklD/xmHa8XG57ApR3kKrNr7/WnvY iTMbgBMRwnlQ2SiAFbudvmr7NjEqa2DA/amauHJavOIoPBfUPGBwdSu1JFn9nCCLJfHOH4qF PA91kdZOBIxU83EhzUCTTAWnCPRfoaaohm74Ch+ssG49rziRgvu4YKFD7YaP89o/li6hqKKN ujYgygcS34QzpQX2XrB06QSxnYIhiVnZmD8V7EJtCqLS7KWk6QREh1aIyJ/Oc1U7r4tiwlAP cmI77G9nrV8j/MzFxJETQm4wJDvO5NMeifkawuUYSTDfK6LLjDK3cztNKa1SLkKyf5RqwX1o zGQVUnqIjWEkTDtERGpK+BFyi+Bb3k88MmwdAhgDW/7QZfocBq+ZZVshDhw2qE9mnTMHWUHd z9sNUpG6KCTp3A94L03Cyla43xpIPPR0T6e9PXdI40KvOFDGClwnvMDsTI/wrpRqiZUAvV+3 jbR5I0LwRnugqyEzTxpVwBLozBAideQvElsDq7e84FJRXfO+B9lBYq4AA9MoMsjA9appqMCk 7AncYr4M3FF45Td9o0BBJqMQCpmGGAsNRP4QW+SCQIESXisJSfWjApAk6PKnkA=
Ironport-sdr: 6585ed03_hIkehL8TZyNZXfoN9mEQfkcypXvTuvknMPQF8e4JfGeqvUb hP1L+xgWqjyS8DJghrljpmKe5po0uUxJz9qBrZg==

SECOND 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 Second Call for Papers, Sam Staton, 12/22/2023