From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id E75D85D5 for ; Fri, 17 Dec 2021 11:50:06 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.88,213,1635199200"; d="scan'208";a="11537764" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 17 Dec 2021 12:50:06 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 4D562E038B; Fri, 17 Dec 2021 12:50:05 +0100 (CET) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 40276E0120 for ; Fri, 17 Dec 2021 12:49:59 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=andrei.h.popescu@gmail.com; spf=Pass smtp.mailfrom=andrei.h.popescu@gmail.com; spf=None smtp.helo=postmaster@mail-qv1-f45.google.com IronPort-PHdr: =?us-ascii?q?A9a23=3ALdo6TBx8ngN7lJHXCzJNylBlVkEcU1XcAAcZ59I?= =?us-ascii?q?dhq5Udez7ptK+ZhWZtKgm1QWVFazgqNt8w9LMtK7hXWFSqb2gi1slNKJ2ahkel?= =?us-ascii?q?M8NlBYhCsPWQWfyLfrtcjBoVJ8aDAwt8H60K1VaF9jjbFPOvHKy8SQSGhLiPgZ?= =?us-ascii?q?pO+j5AIHfg9qq2+yo/5DeYwpEiCejbb59MR67sRjfus4KjIV4N60/0AHJonxGe?= =?us-ascii?q?+RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84TaFDAzQ9L281/szrugL?= =?us-ascii?q?dQgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QLYpUjqg8qhrUgflh?= =?us-ascii?q?ygHOTA382/Zl9J+g75Urh+6uxx/2pTZbJ2JOPZifK7Qe84RS2pbXsZWUixMGp+?= =?us-ascii?q?xb40SAOobI+lYrpT2qUEJrRumGwasH//gyiJVjXLxx6I61fkuERvY0wwhBd4Os?= =?us-ascii?q?G7YrM3yNKcKT++117XHzSjYYvNZ3Dfy8onIchQ7rf6QWrJwdNPcxE8yHAzKklu?= =?us-ascii?q?es5bqPy+J1usTqWib6fJtWOyhhmM5tg18oTehy8kihITXiY8YxF7K+Ct7zYopK?= =?us-ascii?q?tC0VFN2bNC4HZVeuS+XN5d6T90tTm10pCs21r0ItIK7ciUM1Z8pyRnfa/mdfIi?= =?us-ascii?q?J5BLuTPieLi1jhHNlZL2/hwy98Um6yuHmUcm0yllKoyxYmdfPrnAAzwLf5tSDR?= =?us-ascii?q?/dn/Uqs2SyD2x7O5uxAO0w5mqrWJpg8ybAqjJUTq17MHirulUX2kqCWckIk9/C?= =?us-ascii?q?t6+v9Y7XmooaQN5Zqig3jK6gulMOyDOQiPggBWGib/uu81Ln98kHjXLpKifg2n?= =?us-ascii?q?rHYsJDcO8sbura0DxFJ3osn8RqyDDer3M4GkXUaKF9JYh2KgojxN1HLOv/4DPO?= =?us-ascii?q?/g1q2kDdswvDLJqfuApPQIXjZjrjhfKxx605GxAorytBf/4xbCqodL/LuQULxu?= =?us-ascii?q?9nYAQU4Mwyw2eroFNJ91oYGVWKVHqCZKL/SsUOP5u83P+aDfooVuDLkJ/gh5v7?= =?us-ascii?q?ulmM5lEQGfaip2JsXcGq3Eu5nI0Wfe3rsg80OHX0EvgokH6TWjwiJWDtXInKzR?= =?us-ascii?q?L4U5zchCYvgA52HDouknLGO2z26E4Z+Y3xPTFuFVT/kc62IX7EPcmSVOMAl2j0?= =?us-ascii?q?PE7WoV4Q6kx2vnAv70KZoJ/bZ5SQJ84/l1cB0oezPxj8o8jkhJsKRyWyMB1lzh?= =?us-ascii?q?m4TTCJ+iKl5rVZwyxGDl7B/m/FDHsF76PZAUwN8PpnZmb8pQ+vuUx7MK4/aAG2?= =?us-ascii?q?tRc+rVGlZpj0ZzNoHYkI7ENKn3EmrN8+CDLoclrjND5sxoPq0N5nZIs98zzPfy?= =?us-ascii?q?vBkgQV7BMRIMmKii+h08A2BX+b0?= IronPort-Data: =?us-ascii?q?A9a23=3A6kV4Z6I/mzcU8W1uFE+RvpQlxSXFcZb7ZxGrkP8?= =?us-ascii?q?bfHDq1Dtx1zFTm2RLCjyCbPbcNmr2KtwlPd7jpkkC6JeBm6c2QQE+nZ1PZyIT+?= =?us-ascii?q?JCdXbx1DW+pYnjMdpWbJK5fAnR3huDodKjYdVeB4Ef9WlTdhSMkj/jRHOOjULe?= =?us-ascii?q?s1h1ZHGeIdg9x0XqPpMZi2uaEsfDha++8kYuaT//3YDdJ6BYoWo4g0J9vnTs01?= =?us-ascii?q?BjEVJz0iXRlDRxDlAe2e3D4l/vzL4npR5fzatE88uJX24/+IL+FEmPxp3/BC/u?= =?us-ascii?q?gm7f/N1QUG/vcYVXIhX1RVKyvxBNFo0Te0I5hbKtaORoR0WzY2YwsoDlOncTYp?= =?us-ascii?q?QMBN6vAgukcFRkeCyZmMLZN5ZfIJHG+tYqYyEiun37En641VRFuVWEf0r8vXTs?= =?us-ascii?q?mGeYjADsEaxTGg+Ot3JqgW+x0j4IiKtPqNcURoBldIZvxGa5zG9acV/yfvZkAy?= =?us-ascii?q?G1l3oYUTKeHc5FMMXwyeEuVSgNrEVIzJJIave6OumPbTTx9vAvN8PZzsny7IBd?= =?us-ascii?q?Z1bHsNJ/MZIXPS5kI2EmfoW3C8iLyBRRyCTBW8hLdmlrEuwMFtXqTtEMu+LyEG?= =?us-ascii?q?jpChVSSwikKFkRTWwfm5/a+jUG6VpRULEl8Fu8GxUQt3BTDczU/d0TQTL24Uto?= =?us-ascii?q?0VN9ZEul84waIokYRyxjMHXAKF1atd/R/3PLbhlUWOpuhkNbgBDgpu7qQIZ5Y3?= =?us-ascii?q?t94shvqURUowaQ+iePogOfLDxQPYG3+s/4XcuteLQ=3D=3D?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3A5GOxvK+noN3C5OlGHw5uk+ABI+orL9Y04lQ7?= =?us-ascii?q?vn2ZKCY4TiX8rauTdZsguiMc9wx+ZJhNo7G90YO7IU80jKQFgrX5ZI3SPjUO21?= =?us-ascii?q?HYSb2Kk7GSpwEIQBeOkdK1vJ0IG5SWbueAa2SS5vyW3ODXKbwdKC3sytHQuQ6n?= =?us-ascii?q?9QYUcengAJsQlDuQgG2gYzdLrLAsP+tFKKah?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DqAgBkeLxhfy3bVdFagQmEM0xWOzGEC?= =?us-ascii?q?T6OboIljCSSJgsBAwENNQwEAQGINwIdBwEENBMBAgQVAQEFAQEBAgEDAwQBEwE?= =?us-ascii?q?BDQsQCDIkhWgNgjUig34GCwYdARsMEgMSAw0PAiYCJAERAQUBIxoODIJdgmQBA?= =?us-ascii?q?y8PlEyPGYEEPYsygRUFF4EBggkGhEkKGSgNZgOBVwIBBhJ+KoYKgSKCfoQIJ4E?= =?us-ascii?q?EgSWBFTaEN4FeAQMYhF6CZQSSWx8uey4YEz1IBTQzM5IfjXmfTgeDRYE7iS2US?= =?us-ascii?q?DOKSp0Thw+PISCMX5QaAhOFDRAjEoFDgX0zGiMvITGCOFEZD1eNYINbhRSFSkQ?= =?us-ascii?q?wOAIGAQoBAQMJjjMtghcBAQ?= X-IPAS-Result: =?us-ascii?q?A0DqAgBkeLxhfy3bVdFagQmEM0xWOzGECT6OboIljCSSJgs?= =?us-ascii?q?BAwENNQwEAQGINwIdBwEENBMBAgQVAQEFAQEBAgEDAwQBEwEBDQsQCDIkhWgNg?= =?us-ascii?q?jUig34GCwYdARsMEgMSAw0PAiYCJAERAQUBIxoODIJdgmQBAy8PlEyPGYEEPYs?= =?us-ascii?q?ygRUFF4EBggkGhEkKGSgNZgOBVwIBBhJ+KoYKgSKCfoQIJ4EEgSWBFTaEN4FeA?= =?us-ascii?q?QMYhF6CZQSSWx8uey4YEz1IBTQzM5IfjXmfTgeDRYE7iS2USDOKSp0Thw+PISC?= =?us-ascii?q?MX5QaAhOFDRAjEoFDgX0zGiMvITGCOFEZD1eNYINbhRSFSkQwOAIGAQoBAQMJj?= =?us-ascii?q?jMtghcBAQ?= X-IronPort-AV: E=Sophos;i="5.88,213,1635199200"; d="scan'208";a="433180" X-MGA-submission: =?us-ascii?q?MDFHnJZxOAV4U9cQPGienzW+nd+q/7aj2XF3RB?= =?us-ascii?q?61MsU9hyxQV+eqFYkwmiNMKtQjdgLW+RkhCDp0c4Ax4O/iVwQ7MJEdTi?= =?us-ascii?q?I0FnJfol5lijFESRlkM1bCcYMddNk4kDr+U4KPC3coW+St3M4aHHECgX?= =?us-ascii?q?i9sdmTwB9hIiuNXkmPy4fHdA=3D=3D?= Received: from mail-qv1-f45.google.com ([209.85.219.45]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 17 Dec 2021 12:49:58 +0100 Received: by mail-qv1-f45.google.com with SMTP id kd9so2018142qvb.11 for ; Fri, 17 Dec 2021 03:49:58 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:from:date:message-id:subject:to :content-transfer-encoding; bh=cthZ8PhUGV4Pku4wm89od5OV7bdGcerB/AIQORjkfW0=; b=AGtiPgTrwHy4F4SSpFXgtPCqtsv8C+vP4Jwayv3L2MgWApwxaYsnbj6qphK3SkN/ru 89kahpg4XHGZh/UiBLmA/ZFUpttH8tHWTQeGapfNRnwcPa9lyM3OnBAW2Si/rihygDGm bT4CzB7+OjQ94sV19NA9Cq0ZWCaUhb5ID4ZDa96485Ca511MwF2Ka3Lcp32pDRWCSl6n iLQnTEEz72J8bzCqHxnSevpMjAr00dhhjzSL4nKRpUiMmiZb56QxTirYux0M6Sk/notv zDeExnNgdEvF/puJbwy/EjiJFzV8Pg3Vq0xfquCw8ih4XqqsbRcnmVUaGIWEz1ljFLkZ vHNw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:mime-version:from:date:message-id:subject:to :content-transfer-encoding; bh=cthZ8PhUGV4Pku4wm89od5OV7bdGcerB/AIQORjkfW0=; b=RTL7vyb2ZX8/49NtffCWP8t8fBQdqwHL1wPFYCvqF6VhSwyG5w6TTv4cI/5dbC33TT U9zxmIJRS5SJsxNAiNu6HrVLVMvM7eueNxesu2Zio8cSAIokHvO3mG4Ub/n0MUZaLQ4N n1BNxxY4mB7M3eBcm3AKUUEgbrDHTbdx4Ll7fZeaEGqfzo7z1lNXZEZ7aSRtEuYo9v3f /dBgVuS644nK4Oopj1ZF+oCmWK+8N27oZ7LyF8H5mJu4PnqySUOVmFIQiKw0Fw9zNXwK v/Bc2cbJE4J2vssfJI6cTIYdWPjvUh+wW7o0oAsn2MGFLcuvUnZj0ISWqxarvdCtx26n ID5Q== X-Gm-Message-State: AOAM531IiTXo4YrFPNXXYU523TVOCFNkHi00F9swSn1dmV2pkffaITR3 Uq4blYo/usZSSL+esnESfvQCQYJEwWVf/s2js/KkHJ8KTNZb/g== X-Google-Smtp-Source: ABdhPJztaGgCsIYmYbKO/AjmlcwZJRB3QUYKYkJE+G+1VuXZr+55wGRPHbz3C5g/Xv3f/XiqjHLE+liqonfJcQzOjAk= X-Received: by 2002:a05:6214:411a:: with SMTP id kc26mr1770792qvb.113.1639741796759; Fri, 17 Dec 2021 03:49:56 -0800 (PST) MIME-Version: 1.0 From: Andrei Popescu Date: Fri, 17 Dec 2021 11:49:46 +0000 Message-ID: To: caml-list@inria.fr, categories@mta.ca, dl@dl.kr.org, ic.eatcs.di@listgateway.unipi.it Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] IJCAR 2022 - Call for Papers Reply-To: Andrei Popescu X-Loop: caml-list@inria.fr X-Sequence: 18629 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: IJCAR 2022 - Call for Papers https://easychair.org/smart-program/IJCAR2022/. ***Important Dates*** Submission deadline February 11, 2022 Start of authors response period April 16, 2022 End of authors response period April 18, 2022 Authors notification April 25, 2022 ************ ****Overview***** IJCAR is the premier international joint conference on all aspects of autom= ated reasoning. IJCAR 2022 is the 11th edition of IJCAR. It will be held in Haif= a (Israel), during August 7-12, 2022, as part of FLoC 2022. IJCAR 2022 is the merger conference of the following 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) ****Submission Guidelines**** IJCAR 2022 invites submissions related to all aspects of automated or interactive reasoning, including foundations, implementations, and applications. All papers must be original and not simultaneously submitted = to another journal or conference. The following paper categories are welcome: - Regular papers describing solid new research results. They can be up to 1= 6 pages long, including figures but excluding references and appendices. Wher= e applicable, regular papers are supported by experimental validation. Submissions reporting on case studies in an industrial context are strongly invited as regular papers, and should describe details, weaknesses and strength in sufficient depth. - System description papers describing implementations of systems, reporting on novel features and experiments with implemented systems. System description papers can be up to 7 pages long, including figures but excluding references and appendices. System description papers should also be supported by a link to the artifact/experimental evaluation available to the reviewers. Each of these papers should mention the phrase ``(system description)" beneath the title. Papers describing tools that have already been presented in other conferences before will be accepted only if significant and clear enhancements to the tool are reported and implemented. Both types of papers must be formatted using the Springer LNCS styles and submitted in PDF via EasyChair: https://easychair.org/conferences/?conf=3Dijcar2022 Authors of accepted papers are required to ensure that at least one of them will present the paper at the conference. ****List of Topics**** IJCAR 2022 topics include the following ones: * Logics of interest include: propositional, first-order, classical, equati= onal, 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, mode= l checking, semantic guidance, interactive theorem proving, logical framework= s, AI-related methods for deductive systems, proof presentation, automated theorem proving, combination of decision or proof procedures, SAT and SMT solving, integration of proof assistants with automated provers and other symbolic tools, etc. * Applications of interest include: verification, formal methods, program analysis and synthesis, computer mathematics, declarative programming, deductive databases, knowledge representation, education, formalization of mathematics etc. ****Publication**** IJCAR 2022 proceedings will be published in the Springer LNCS series. Springer encourages authors to include their ORCIDs in their papers. ****Conference Chair**** Arnon Avron (Tel-Aviv University) ****Program Committee Chairs**** Jasmin Blanchette (Vrije Universiteit Amsterdam) - chair Laura Kovacs (Vienna University of Technology) - chair Dirk Pattinson (The Australian National University) - chair ****Workshop Chairs**** Simon Robillard (Universit=C3=A9 de Montpellier) Sophie Tourret (Max Planck Institute for Informatics)) ****Tutorials and Competition Chair**** Yoni Zohar (Stanford University) ****Publicity Chair**** Geoff Sutcliffe (University of Miami) ****Program Committee**** Erika Abraham (RWTH Aachen University) Carlos Areces (FaMAF - Universidad Nacional de C=C3=B3rdoba) Bernhard Beckert (Karlsruhe Institute of Technology) Alexander Bentkamp (Vrije Universiteit Amsterdam) Armin Biere (Albert-Ludwigs-Universit=C3=A4t Freiburg) Nikolaj Bj=C3=B8rner (Microsoft) Jasmin Blanchette (Vrije Universiteit Amsterdam) Fr=C3=A9d=C3=A9ric Blanqui (INRIA) Maria Paola Bonacina (Universit=C3=A0 degli Studi di Verona) Kaustuv Chaudhuri (INRIA) Agata Ciabattoni (Vienna University of Technology) St=C3=A9phane Demri (CNRS, LMF, ENS Paris-Saclay) Clare Dixon (University of Manchester) Huimin Dong (Sun Yat-Sen University) Katalin Fazekas (TU Wien) Mathias Fleury (University of Freiburg) Pascal Fontaine (Universit=C3=A9 de Li=C3=A8ge, Belgium) Nathan Fulton (IBM Corporation) Silvio Ghilardi (Dipartimento di Matematica, Universit=C3=A0 degli Studi di= Milano) J=C3=BCrgen Giesl (RWTH Aachen University) Rajeev Gore (The Australian National University) Marijn Heule (Carnegie Mellon University) Radu Iosif (Verimag, CNRS, University of Grenoble Alpes) Mikolas Janota (Czech Technical University in Prague) Moa Johansson (Chalmers University of Technology) Cezary Kaliszyk (University of Innsbruck) Laura Kovacs (Vienna University of Technology) Orna Kupferman (Hebrew University) Cl=C3=A1udia Nalon (University of Bras=C3=ADlia) Vivek Nigam (Huawei ERC) Tobias Nipkow (Technical University of Munich) Jens Otten (University of Oslo) Dirk Pattinson (The Australian National University) Nicolas Peltier (CNRS - LIG) Brigitte Pientka (McGill University) Elaine Pimentel (UFRN) Andr=C3=A9 Platzer (Carnegie Mellon University) Giles Reger (Amazon Web Services and The University of Manchester) Andrew Reynolds (University of Iowa) Simon Robillard (Universit=C3=A9 de Montpellier) Albert Rubio (Universidad Complutense de Madrid) Philipp Ruemmer (Uppsala University) Renate A. Schmidt (The University of Manchester) Stephan Schulz (DHBW Stuttgart) Roberto Sebastiani (University of Trento) Martina Seidl (Johannes Kepler University Linz) Viorica Sofronie-Stokkermans (University Koblenz-Landau) Lutz Stra=C3=9Fburger (INRIA Saclay --- Ile-de-France) Martin Suda (Czech Technical University in Prague) Tanel Tammet (Tallinn University of Technology) Sophie Tourret (Max Planck Institute for Informatics) Uwe Waldmann (MPI for Informatics) Christoph Weidenbach (Max Planck Institute for Informatics) Sarah Winkler (Free University of Bozen-Bolzano) Yoni Zohar (Stanford University)