coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: geoff AT cs.miami.edu
- To: <coq-club AT inria.fr>
- Subject: [Coq-Club] IJCAR 2024 - Call for Papers
- Date: Wed, 25 Oct 2023 08:29:02 -0400 (EDT)
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=geoff AT cs.miami.edu; spf=SoftFail smtp.mailfrom=geoff AT cs.miami.edu; spf=None smtp.helo=postmaster AT armistead.ccs.miami.edu
- Ironport-data: A9a23:tO9kKq0uON7+ODPgfvbD5R11kn2cJEfYwER7XKvMYLTBsI5bpzJRm zcXDDyPO/qOa2TweYwlOY62phhVsJ7UndI2GgZv3Hw8FHgiRejtVY3IdB+oV8+xBpSeFxw/t 512hv3odp1coqr0/0/1WlTZhSAgk/vOHNIQMcacUghpXwhoVSw9vhxqnu89k+ZAjMOwa++3k YqaT/b3Zhn9gFaYDkpOs/jY8Us14ayr0N8llgVWic5j7Ae2e0Y9V8p3yZGZdxPQXoRSF+imc OfPpJnRErTxon/Bovv8+lrKWhViroz6ZWBiuVIKM0SWuSWukwRpukoN2FXwXm8M49mBt4gZJ NygLvVcQy9xVkHHsLx1vxW1j0iSlECJkVPKCSHXjCCd86HJW3TD3sl+NUUyBspb8N9oGDoX2 84fOBlYO3hvh8ruqF66YuB2g8U4MMTiMMUUsWomyDDQCPdgTJzeK0nIzYYJhnFr34YeTLCAD yYaQWIHgBDobBBINFk/A4l4meahg3i5fjFFwL6QjfRmvDKMkFcsuFTrGNryeYyyaP92oh3bo zL8pGjTGkpKKdPKnFJp9Vrw37WRwX2TtJgpPLa/77thhECZ7ncCDQUfE1q9u/iwzECkM++zM GQd4C8vtrQ//UDtRcK7WhyxpX/CsxIBMzZNLwEkwA6i15bE2gKdPS9HRAdecYd/mv0xVRV/g zdlgOjVLTBotbSUT1eU+bGVsS6+NEApEIMSWcMXZVBavIS78enfmjqKH4kzSvfk5jHgMWiom 2jikcQou1kEYSc2O0iT9ErCgimwq5HFCAUuoADWV2ekqA51eeZJhrBEC3CAvJ6sz67DEjFtW UTofODEsogz4WmlznDlfQn0NOjBCjbsGGS0baRTN5cg7S+x3HWoYJpd5jpzTG8wbJdUIGCzO hOC6FgIjHO2AJdMRfQnC25WI591pZUM6fy8PhwpRoUTOsAhHON51HEyDaJv44wduBR1y/9jZ /93gO6xC3cEBL58zSanD+ATmboqzyU/rV4/trinpylKENO2OhaodFvyGALQNLhivPvf+V69H hQ2H5Li9iizmdbWOkH/mbP/53hTdBDX3Lin9JwFRf3JOQd8BmAqBtnYxL5rKcQvnL1Ymq2Mt juxU1NRggi3z3DWCxS4WlY6YpPWXLF7sS0aOw4oNg2WwHQNW9ukw5oeUJoVRoMZ0tJf48R6d cRYRPXYMM9zEmzG3x8/cajCqJdTcUX3pACWYAugTjsNX79hYA3r+NT1IxfmywcSBxHqsfken ryE/SHYSKolWA5NIpv3avWu7lXpplkburt4cHXpK+lpWnfH0dZVOQ2rq9FvOOAKCxHI5gXC5 jasGR1C+NX8+d4kwufGlYWvjtmPEdInOmF4AmOCz7K9FReCz1qZ2YUaDdq5J2HMZljVppenS /5elcznEfs9m11PjYpwPpBrwY865Prtv7Vq9RtlLlqac2WUDq5cHVfe0fltrqFtwppriTmyU G+L+fhYPuytE+HhG1gzOgEkT7qi0dc5pzrs1sk2cX7KvHJPwLm6UEtpL0atjg5ZJ+BLK48L+ 7oql/MXzA2dsSAUFOi6oBpazEm2FUxYYZ4b7skbJKTJljsUzkpzZM2AKy3uv7CKRdZ+EmgrB T62hqHT2qhV+WTeekFuEUrt4Ot5rrYNsSBs01UtCQmomN3Ep/lvxzxX0209YTp0xyV98dBYG zZUJWwvAIvW5BZupsxIf170KjF7HBfDp3DAkQoYplPWX2yDdzLrLlRkHc2v4UpA0WZXXgYDz YGi0Gy/DArbJpDg7BATB3xghefoF+Fq1wv4n8uiIcSJMr86bRfhgY6sfWA4kATmM+xgmHz4o fRWw8goZZ3ZLSIwp4gJO7ue35kUSzGGIzVmatNl96UrA2rdWW+T3R6jFkOPQf5Odsf6qRKAN 89TJ8x0R0uf0gSKpWslHqIiGeJ/s8Mow9sgQYnVA1A6nYGRlRdXla7B1zPfgTYrSup+kMxmJ YL2cSmDI1OqhnBVujHsqedVMFW8c9UrWg3O9723wb4sCpg8tOFmTkIv4ISO5lSULwpV0BaGt yzTZ6Lt7rJDyKY9u6DOA6l8FwGPBterb9ux8Se3qMVob/nDFezspjElgADrECoONIRARukts 6qGteDG+X/svZE0Yjj/oIaAHawY3veCdrNbHeyvJUYLgBbYftHn5iYC3GWKKZZpttd5zev/T iuabPqAT/Ika+1/9lZ0NRcHSw08Dp7pZJjOvSm+9vSAKiYM2Dz9ce+IyyXbUnF5RAQpZbvFF Q7Gi9S/7It5raNNJiM+KdNIPptaGGLnCIwaL4DflD/BAmeR1wbI/vOokBc78jjEB0WVCMuws 9qPWhH6cw/0o63Sis1Qt4tppBAMEXJhmq8Kc1kA/8JtwSWPZILcwT/x7b1dYn2VrsDz6H08T DjXaWo5FSj0UXJPeg665dXqWwbZC+ATUjs8yvrF4GvMAxpaxqvZaFeiysuky3xtPD7ixeSmb 9wS5xUc+zCvl4pxS797CuOT2o9aKzCz+p7M0Uvm1cnzChMfR7gGyRSN2eaLuTPvS6nwqakAG YT5qa2ojq12pY4d3PuMo0JoJSw=
- Ironport-hdrordr: A9a23:b9m6zqPfOdytUMBcTqujsMiBIKoaSvp037BF7S5MoHBuE/Bw6f rAoB1z73ad4wr5M0tLpTnvAsS9qAvnmaJI3Q==
- Ironport-phdr: A9a23:Ho4N4xRnEWn4oQKadqRrJjTUDdpsom2UAWYlg6HPa5pwe6iut67vI FbYra00ygOTDcOKs7kZ06KW6/mmBTZep87Z8TgrS99lb1c9k8IYnggtUoauKHbQC7rUVRE8B 9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUhrwOhBoKevrB4Xck9q41/yo+53Ufg5EmCexbal9I RmorgjdrM0bjZdtJqsx1hfCv39Ed/hLyW9yKl+fgRfx6t2s8JJ/9ihbpu4s+dNHXajmZaozU KZWDC4hM2A75c3rsQfMQA6S7XYCUWsYjwRFDRHd4B71Qpn+vC36tvFg2CaBJs35Uao0WTW54 Kh1ThLjlToKOCQ48GHTjcxwkb5brRe8rBFx34LYfIeYP+d4c6jAf90VWHBBU95MWSJfBY2yb IUBAeoaMOpEs4Xxu0cCoAGiCQWwAu7k1z9GhmXx3a0/y+khHh/J3AsuH9IAq3nbsM71OL0XU eC01qbIyDTDY+lI1jjg9YjFdA0qrv6QU7xqa8XR1VUvGB3fjlWWsYHpIy+Z2vkQvmaU8uZtV u2hhnAkpg9+ozWixdsgh4nUi48a1FzJ6Ct3zJg7K9O2VEJ3fdypHYdMuyyEOYZ7X90vTmd1s yg0zb0GvIS0fCkMyJk/wx7fbOaHc4mS7R75WuaROy90i2x/d7Kkhxe97Uigxff9VsmuylpKq TBFktbKu3sQ1BLT8tCKRuZ580u/wzqC2R3f5vtHLE0wj6bWKpgsyaMqmJUJq0TMBCr2lV32j KCIckUk/fCl5P79YrXjp5+cLJN0hR/kPaszgMCwHfg3MhMUU2ie+OSzzrjj/UzjTLpUk/I2j 7HVsJHcJcsFuq60GxJZ34I95xqlATqqzc4UkHoDIV5feR+Ll43pNEvPIPD8A/e/mVOskDJzy vDJILLhBZvNLnbYnbj9ZrZx8UtcyAspwtBa5pJYEK8OL+/uWkPpstzXFQc2MxaozOb/FNV9y oQeVHqSDqOBKqPdrUeI5v4zI+mLfIIapDH9K+E86/HyiX85hEQScLKy3ZoXbXC4Bu5pL1+YY XrqmNcBEH0FshAwTOzw2xW+VmsHbHGrGqk4+zsTCYS8DI6FSJr705Kb2yLuEZBRaG5uAUvKF HbhcoTCVvsRO3HaGdNojjFRDevpcIQmzxz77GcSqpJiJ+vQoWgDsI77kcNy/6vVnA0z8jp9C 4Kc1XuMRid6hDBAXCc4iYZ4p0E10VKfye5gmfUNGtFU6f1hWRx8MJ/Vyu08BtzvCUraZtncc 1GoXvuvADV5Vdct25kLakd5Fc+li0XM0i2kDZcejPqOBZUx8+TR02Wib91lxSPg068sx0IjX tMJNWCigftn8BPPAofSj0iDv6+wcKUHwCPE+CGIxnHIuUBRVQ82XKnYNZwGTm3Rq9mxpkbLT rv1TK8iLhME0smabK1Ddtzui1xCAvblItXXJWyryS+2Al6Ty7WAYZCPGS1V1TjBCEUCjwEY/ GqXfQk4CCC7pmvCDTtoXVvxakLo+ON6pTu1VEgxhw2NakRg0fKy9Ht3zbSTRvQd0JoPo2Ekq jxxHRCw08+XQ9uMqgx9fblNNMsn6QQP3mbYugphe524evkz3BhFKkIn7gWwhHAVQs1anMMnr W0n1l93IKOcixZaci+AmIv3IvvRI3Xz+xamb+jX3Evf2ZCY4PRqirxwplP9sQWuDkdn/W9g1 owf3Hab6JviBxFUVJP4V0dx+hRn7eK/AGF198bP2HtgPLPh+DDP3NwnLOA+jBOhdtJedq6IC UWhW91fDM+oJuswnlGvZR9RJ+Fe+pk/OMa+fueH0qqmVAp5tAmhg3hp6YF5mgKJ/it4EavT2 oodhuqfxk2BXiv9i1Gotob2n5pFbHccBDj3xS/hDY9XA886NYEFQWijJMO57t5lwZvsUntZs lOvGhsHw4eofxGWblrw0UVM0gwRpmDvlSajzjNymi0ky8jXlHWfmaK5LVxXaygVDGB5xU/hO 421k8wXUACzYg4lmQHkrUf2yq5HpbhuemzaQENGZS/zfAQAGuO7sruPZdIK6Yt96HQNFr/lJ wDLDOCuxnlSmznuFGZf2j0hIjSju5Gi2gd/lHrYN3Fr6nzQZcB3wx7bot3aX/9YmDQcF0waw XHaAEaxO96x8JCajZDG56qxWmWvWLVYam/uzIqFtW226XAgUnjd17ij38bqFwQ3y3qx2NRtW yvgpw26Z4ji0qX8PO56NBogFBr37Mx0HZt7m407icQL2HQUsZ6S+GIOjWb5NdgIvMC2JGpIX zMAxMTZpRT0wEA2ZGzc3Jr3Dz/OitskfdSxZXkanz4w/9wfQrnB96RKxE4X6hK5tV6DOKkn2 GxEj6t/ridAy+AR5Fh0lHTbW+9LWxIEe3W13xWO5NSjoKgFU323f/6/001xmd3nB7aHx2MUE GDwfpNodcNpxuN4Nl+EkHj664W/PcLVccpWrRqM1RHJk+lSLps10PsMnytuf2zn7zUjzKYgg Bpi0Ivf3sDPInhx/K+/Hh9TNyHkL8IV9Db3iK9Cn8GQl4mxF5RlEz8PUdPmV/WtWD4VsP3mM U6JHlhe4j+DHqHDGAaE9Ep8h3vVFpGwK3yeKD8Sxs4kQRiUIU0ZjQwJHX07kpM/CgG21Znhf UN+tVVzrhbzrhpBzP4tNgGqCzaF4lzxLGdlDsbMSXgephtP7ErUL8GEu+d6HiUDu4aksBTIM WuDIQJBEWAOXEWAQVHlJLino9faoI36TqKzKeXDZbKWpKlQTfCNkNig34xo8R6HLYOKP3BnD rs21lcJDhUbU4zJ3i4CTSAajXeHd8mAuBK14TF6tOi26vHqQx7i7IfJALBJd9Bu8hW3x6qPK qTD4UQxYSYd3ZQKy3jSzbEZ11NHkCBieQ6mFrEYvDLMRqbd8keyJxUALSZyPc5Jqa8ww1sVU SY6otrv079jkvM8BxFOXkenn8CgYM1MLm2gZguv7KmjP6/AIDzCxsCxbK+hG+Y4sQ==
- Ironport-sdr: 65390a11_gsQpJFZa415XXPNUYt1ifzyq8bCFqwnQj6c9C9nsoWDxD/T HkLjZSIU4IN6lHYN3eEHAIMV1oy6oNKjKnz9vFQ==
IJCAR 2024
[Apologies if you receive multiple copies]
===============================================================================
CALL FOR PAPERS
IJCAR 2024
The 12th International Joint Conference on Automated Reasoning
Nancy, France, July 1-6, 2024
https://ijcar2024.loria.fr/
===============================================================================
IJCAR is the premier international joint conference on all topics in
automated
reasoning. IJCAR 2024 will be hosted by the Inria Nancy Research Center and
LORIA in Nancy, France, from July 1-6, 2024.
IJCAR 2024 is the merger of leading events in automated reasoning:
* CADE (Conference on Automated Deduction)
* FroCoS (Symposium on Frontiers of Combining Systems)
* TABLEAUX (Conference on Analytic Tableaux and Related Methods)
TOPICS
======
IJCAR 2024 invites submissions related to all aspects of automated or
interactive logical reasoning, including foundations, implementations, and
applications. Original research papers and descriptions/evaluations of
working
automated deduction systems or proof assistant systems are solicited.
IJCAR topics include the following:
* Logics of interest include: propositional, first-order, classical,
equational, higher-order, non-classical, constructive, modal, temporal,
many-
valued, substructural, description, type theory.
* Methods of interest include: tableaux, sequent calculi, resolution, model-
elimination, inverse method, paramodulation, term rewriting, induction,
unification, constraint solving, decision procedures, model generation,
model checking, semantic guidance, interactive theorem proving, logical
frameworks, AI-related methods for deductive systems, proof presentation,
automated theorem proving, combination of decision or proof procedures, SAT
and SMT solving, machine learning and theorem proving, integration of
automated provers/proof assistants in automated test generators, program
synthesisers, verified compilers, intelligent systems, agent based systems,
knowledge processing systems, formal methods tools and other symbolic
tools,
etc.
* Applications of interest include: verification, formal methods, program
analysis and synthesis, computer mathematics, declarative programming,
deductive databases, knowledge representation and processing/engineering,
education, formalization of mathematics, trusted AI, etc.
IMPORTANT DATES (partly tentative)
================
15 Jan 2024 Abstract submission deadline
22 Jan 2024 Paper submission deadline
15 Mar 2024 Notification of paper decisions (tentative)
04 Apr 2024 Camera-ready papers due (tentative)
1-2 Jul 2024 Workshops & Tutorials
3-6 Jul 2024 Conference, including CASC
WORKSHOPS, TUTORIALS, SYSTEM COMPETITION
==========================================
A two-day workshop and tutorial programme will be co-organized with the
conference. In addition, the annual CADE ATP System Competition (CASC) will
be
held during the conference. Details will be published in separate calls and
on
the conference website.
SUBMISSION GUIDELINES
======================
IJCAR 2024 invites submissions related to the topics of interest mentioned
above. All papers must be original and not simultaneously submitted to
another
peer-reviewed journal or conference. The following paper categories are
welcome:
* Regular papers describing solid new research results. They can be up to 15
pages in LNCS style, including figures but excluding references and
appendices. Where applicable, regular papers are supported by experimental
validation. Submissions reporting on case studies in an industrial context
are strongly invited as regular papers.
* Short papers describing implemented systems, user experiences, case studies
and domain models, etc. They can be up to 7 pages in LNCS style, excluding
references and appendices.
All submissions will be judged on relevance, originality, significance,
correctness, and readability. Proofs of theoretical results that do not fit
in
the page limit, executables of systems, and input data of experiments should
be made available, e.g., via a reference to a website or in an appendix of
the
paper.
The review process will include a feedback/rebuttal period where authors will
have the option to respond to reviewer comments. The PC chairs may solicit
further reviews after the rebuttal period.
All submissions must be formatted using the Springer LNCS styles and
submitted
in PDF via EasyChair:
https://easychair.org/conferences/?conf=ijcar2024
The IJCAR 2024 proceedings will be published in the Springer series Lecture
Notes in Artificial Intelligence (LNAI/LNCS) as Gold Open Access, and will be
available online during the conference. All accepted papers must have one
registration including the processing fees of the Gold Open Access (200 Euros
per paper is foreseen, like for the previous edition of IJCAR). Authors of
accepted papers are required to ensure that at least one of them will
participate in the conference and present the work.
BEST PAPER AWARD
================
IJCAR 2024 will recognize the most outstanding submissions with a best paper
award and a best student paper award at the conference.
STUDENT TRAVEL AWARDS
=====================
Woody Bledsoe Travel Awards will be available to support selected students in
attending the conference.
ORGANIZATION
============
Conference Co-Chairs:
* Didier Galmiche (University of Lorraine, France)
* Stephan Merz (Inria Nancy, France)
* Christophe Ringeissen (Inria Nancy, France)
Programme Chairs:
* Christoph Benzmüller (University of Bamberg & FU Berlin, Germany)
* Marijn Heule (Carnegie Mellon University, USA)
* Renate Schmidt (University of Manchester, UK)
Workshop, Tutorial and Competition Chairs:
* Sophie Tourret (Inria Nancy, France)
Publicity Chair
* Peter Lammich (University of Twente, The Netherlands)
Local Arrangements
* Anne-Lise Charbonnier (Inria Nancy, France)
* Sabrina Verdenal (Inria Nancy, France)
Programme Committee:
* TBA
- [Coq-Club] IJCAR 2024 - Call for Papers, geoff, 10/25/2023
Archive powered by MHonArc 2.6.19+.