From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 0DDB98239C for ; Mon, 4 Dec 2017 16:19:36 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=geoff@cs.miami.edu; spf=Pass smtp.mailfrom=geoff@cs.miami.edu; spf=None smtp.helo=postmaster@mail-yw0-f226.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of geoff@cs.miami.edu) identity=pra; client-ip=209.85.161.226; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="geoff@cs.miami.edu"; x-sender="geoff@cs.miami.edu"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of geoff@cs.miami.edu designates 209.85.161.226 as permitted sender) identity=mailfrom; client-ip=209.85.161.226; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="geoff@cs.miami.edu"; x-sender="geoff@cs.miami.edu"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-yw0-f226.google.com) identity=helo; client-ip=209.85.161.226; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="geoff@cs.miami.edu"; x-sender="postmaster@mail-yw0-f226.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AyD0qhRH/6s8UxcCYP/BadZ1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ76o86wAkXT6L1XgUPTWs2DsrQf1LqQ7viocFdDyKjCmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TXhpQIVT0H0PA9x?= =?us-ascii?q?Y+D0AZL6jsKt1un09YeFMCtSgz/obr51Ihueph6Xs8gfhIokJ6osmUiBmWdBZ+?= =?us-ascii?q?kDnTAgHlmUhRupvso=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AfAgBIZyVah+KhVdFcHgEGDIMOgRSBF?= =?us-ascii?q?Y8TjgOQDYkFgSIDXAEJI4FeiG9DFAEBAQEBAQEBAQESAQEBCA0JCCgvgjgigmw?= =?us-ascii?q?jAQEmBQ07DCgdCAEFASKKNRCbDECLIoMVgwkBAQWEcweCSgEBAQEBAQEDAQEBA?= =?us-ascii?q?QEbCAkBCIU/gz+CeYF7gU8MJ4ERImKDB4IyikmHU4EDj1KHdINrg2iFPYJEQoM?= =?us-ascii?q?JhXiHXIx+e4hAFCSBFjaBWhVxgnYJgjobBIIRWgGKGQEBAQ?= X-IPAS-Result: =?us-ascii?q?A0AfAgBIZyVah+KhVdFcHgEGDIMOgRSBFY8TjgOQDYkFgSI?= =?us-ascii?q?DXAEJI4FeiG9DFAEBAQEBAQEBAQESAQEBCA0JCCgvgjgigmwjAQEmBQ07DCgdC?= =?us-ascii?q?AEFASKKNRCbDECLIoMVgwkBAQWEcweCSgEBAQEBAQEDAQEBAQEbCAkBCIU/gz+?= =?us-ascii?q?CeYF7gU8MJ4ERImKDB4IyikmHU4EDj1KHdINrg2iFPYJEQoMJhXiHXIx+e4hAF?= =?us-ascii?q?CSBFjaBWhVxgnYJgjobBIIRWgGKGQEBAQ?= X-IronPort-AV: E=Sophos;i="5.45,359,1508796000"; d="scan'208";a="303896764" Received: from mail-yw0-f226.google.com ([209.85.161.226]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 04 Dec 2017 16:19:12 +0100 Received: by mail-yw0-f226.google.com with SMTP id t204so6770106ywe.9 for ; Mon, 04 Dec 2017 07:19:12 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=cs-miami-edu.20150623.gappssmtp.com; s=20150623; h=subject:to:message-id:date:from; bh=6qJXCUGXtyizg833iFM9lVHDYt/mkX43BoiXbLxlloI=; b=Kt3RAwNsn1M7lu6a9bLmTo+X+Dp/z/bb19gjn7oP1JD8hijNfNZnDIZ8w3Z7CWPEyM nWxUAbnynB+JzkHeBN1fyEFtQbkQk/N135C/KgVq1rlDNjgOVzCsTfCLDt1p3ojrlGhi PX/08nsCiWvnlvJC6c4NA1Ea0uJPiSjQkvxg+YH52N8Np0I2HZJ1jtk3y9TDmHu2KxBA Sc9fKoEiOAr8wP1S7vsIbd7u2gV++t2YJtFCWFGbp4fcHgAb9+1l9Fod99uMnmh0EkgG qEs2KbxEveenNAq7jTjn2QHBNkYFww5vfp7G/BnETioSiy/8cMzjOzElKJ5n1NmtXppj Q8dQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:subject:to:message-id:date:from; bh=6qJXCUGXtyizg833iFM9lVHDYt/mkX43BoiXbLxlloI=; b=e/KKDSFcd5P/u2mp4lbQEKy1ucGE89nWAN28hGFP+cDOXPWRpsPONkPyVVS4aiNY59 Vgw7+DugVP9b8uuuvvy8MCVL6mfnZF0dGAi2Ex38YyEFVGyJs8upepTgkVCkCDEh+57V /sViknJifYxo1lEWgasQmLa3Uh3NO7ACzKFiFzq4fPj6JTu6Zs6/28Rg+up9yWgywbPL Py2CbFrzYYkjtad21z9e5g6Yz6PA6O/pcVQgVAyxkyGSVq2+HX4PAf2PDeKWxHH4K+CY cmAvyjBxQMfOdMoD4ieD1GGW9tyO50T8EYUKXfRWTTlGWXfcnjlLZAhsECbI4P2CorGl 2a/Q== X-Gm-Message-State: AJaThX4vhWnHIdU7sDJ1vz+JUweUXB58yCMzDZbMSSg35K2M93gI1Lft +HmSNwag7lg6vM2Wf0yRzgmbx1vLxszYBscbMvOb+o8APwzFzg== X-Google-Smtp-Source: AGs4zMbHPt700MJFLlR18VjleXwQ7uCVYmc9W38+JyccY6f5IVCp1zKZlW24E2ZSVSS6s+cSLIRqYqJDCu4Y X-Received: by 10.13.221.68 with SMTP id g65mr10888219ywe.172.1512400751068; Mon, 04 Dec 2017 07:19:11 -0800 (PST) Received: from cs.miami.edu (ewell.cs.miami.edu. [192.31.89.12]) by smtp-relay.gmail.com with ESMTP id y186sm268003vka.1.2017.12.04.07.19.09 for ; Mon, 04 Dec 2017 07:19:11 -0800 (PST) X-Relaying-Domain: cs.miami.edu Received: by cs.miami.edu (Postfix, from userid 3640) id 1FD571700E1B; Mon, 4 Dec 2017 10:09:45 -0500 (EST) To: X-Mailer: mail (GNU Mailutils 2.99.98) Message-Id: <20171204150945.1FD571700E1B@cs.miami.edu> Date: Mon, 4 Dec 2017 10:09:45 -0500 (EST) From: geoff@cs.miami.edu X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] IJCAR 2018 - Call for Papers CALL FOR PAPERS The 9th International Joint Conference on Automated Reasoning, IJCAR 2018 Oxford, UK, July 14-17, 2018. http://www.ijcar2018.org Part of The Federated Logic Conference, FLoC 2018, Oxford, UK, July 6-19, 2018. http://www.floc2018.org IJCAR is the premier international joint conference on all topics in automated reasoning. The IJCAR technical program will consist of presentations of high-quality original research papers, system descriptions, and invited talks. IJCAR 2018 takes place as part of FLoC 2018 and is the merger of leading events in automated reasoning: CADE (Conference on Automated Deduction), FroCoS (Symposium on Frontiers of Combining Systems) and TABLEAUX (Conference on Analytic Tableaux and Related Methods) Topics: ------- IJCAR 2018 invites submissions related to all aspects of automated reasoning, including foundations, implementations, and applications. Original research papers and descriptions of working automated deduction systems are solicited. IJCAR topics include the following ones: - Logics of interest include: propositional, first-order, classical, equational, higher-order, non-classical, constructive, modal, temporal, many-valued, substructural, description, type theory, etc. - 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 provers, combination of decision procedures, SAT and SMT solving, etc. - Applications of interest include: verification, formal methods, program analysis and synthesis, computer mathematics, declarative programming, deductive databases, knowledge representation, etc. We welcome papers combining automated-reasoning formalisms & techniques and with those from other areas of CS and mathematics, including, e.g., computer algebra, machine learning, formal languages, formal verification, termination. In particular, high-quality conference papers on the topics of the IJCAR 2018 affiliated workshops (http://ijcar2018.org/#assocev) are welcome. The proceedings of IJCAR 2018 will be published by Springer in the LNAI/LNCS series (www.springer.com/lncs). Submission details: ------------------- Submission is electronic, through https://easychair.org/conferences/?conf=ijcar2018. Authors are strongly encouraged to use LaTeX and the Springer "llncs" format, which can be obtained from http://www.springer.de/comp/lncs/authors.html We solicit two categories of submissions: REGULAR PAPERS. Submissions, not exceeding sixteen (16) pages including bibliography, should contain original research, and sufficient detail to assess the merits and relevance of the contribution. For papers reporting experimental results, authors are strongly encouraged to make their data and software available with their submission for reproducibility. The PC will take availability of software and data into account when evaluating submissions. Submissions reporting on case studies in an industrial context are strongly invited, and should describe details, weaknesses and strength in sufficient depth. Simultaneous submission to other conferences with proceedings or submission of material that has already been published elsewhere is not allowed. SYSTEM DESCRIPTIONS. Submissions, not exceeding eight (8) pages including bibliography, should describe the implemented tool and its novel features. One author is expected to be able to perform a demonstration on demand to accompany a tool presentation. 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. Best paper award: ----------------- IJCAR 2018 will recognize the most outstanding submission with a best paper award at the conference. IJCAR'18 Special Issue of the Journal of Automated Reasoning: ------------------------------------------------------------- The authors of a selection of the best IJCAR'18 papers will be invited to produce an extended version of their paper for a special issue of the Journal of Automated Reasoning. Invited speakers: ----------------- Invited Speakers will be announced later on. Important dates (provisional): ------------------------------ Abstract submission: January 22nd 2018 Paper submission: January 29th 2018 Notification: March 29th, 2018 Final version of papers due: April 23rd, 2018 IJCAR Conference: July 14-17th, 2018 FLoC Conference: July 6-19th, 2018 IMPORTANT NOTICE: due to very strict FLoC constraints, deadlines are SHARP! Student travel awards: ---------------------- Woody Bledsoe Travel Awards will be available to support selected students in attending the conference. Organization: ------------- Conference Chair: Ian Horrocks, University of Oxford, Oxford, UK Program Chairs: Didier Galmiche, LORIA, Universite de Lorraine, Nancy, France Stephan Schulz, DHBW Stuttgart, Stuttgart, Germany Roberto Sebastiani, DISI, University of Trento, Trento, Italy Local Arrangements Chairs: Daniel Kroening, University of Oxford, Oxford, UK Marta Kwiatkowska, University of Oxford, Oxford, UK Workshop Chair: Alberto Griggio, Fondazione Bruno Kessler, Trento, Italy Publicity Chair: Geoff Sutcliffe, University of Miami Program Committee: Carlos Areces, FaMA FUniversidad Nacional de Cordoba Alessandro Artale, Free University of Bolzano-Bozen Arnon Avron, Tel-Aviv University Franz Baader, TU Dresden Clark Barrett, Stanford University Peter Baumgartner, Data 61 and CSIRO Christoph Benzmueller, Freie Universitaet Berlin Armin Biere, Johannes Kepler University Linz Nikolaj Bjorner, Microsoft Research Jasmin Christian Blanchette, Vrije Universiteit Amsterdam Maria Paola Bonacina, Universita degli Studi di Verona Torben Brauener, Roskilde University Agata Ciabattoni, TU Wien Leonardo de Moura, Microsoft Research Hans De Nivelle, University of Wroclaw Stephane Demri, CNRS, LSV, ENS Paris-Saclay Clare Dixon, University of Liverpool Francois Fages, Inria Universite Paris-Saclay Pascal Fontaine, Universite de Lorraine - LORIA Didier Galmiche (Chair), Universite de Lorraine - LORIA Vijay Ganesh, University of Waterloo Silvio Ghilardi, Universite degli Studi di Milano Juergen Giesl, RWTH Aachen Laura Giordano, DISIT Universite del Piemonte Orientale Valentin Goranko, Stockholm University Rajeev Gore, The Australian National University Alberto Griggio, FBK-IRST John Harrison, Intel Corporation Ian Horrocks, University of Oxford Moa Johansson, Chalmers Tekniska Hogskola Cezary Kaliszyk, University of Innsbruck Deepak Kapur, University of New Mexico Konstantin Korovin, The University of Manchester Laura Kovacs Vienna, University of Technology George Metcalfe, University of Bern Dale Miller, INRIA and LIX/Ecole Polytechnique Claudia Nalon, University of Brasilia Albert Oliveras, - Technical University of Catalonia Nicola Olivetti, LSIS Aix-Marseille University Jens Otten, University of Oslo Lawrence Paulson, University of Cambridge Nicolas Peltier, CNRS, LIG Frank Pfenning, Carnegie Mellon University Silvio Ranise, FBK-Irst Christophe Ringeissen, LORIA-INRIA Philipp Ruemmer, Uppsala University Katsuhiko Sano, Hokkaido University Uli Sattler, The University of Manchester Renate A. Schmidt, The University of Manchester Stephan Schulz (Chair), DHBW Stuttgart Roberto Sebastiani (Chair), DISI University of Trento Viorica Sofronie-Stokkermans, University Koblenz-Landau Thomas Sturm, CNRS Geoff Sutcliffe, University of Miami Cesare Tinelli, The University of Iowa Alwen Tiu, Nanyang Technological University Ashish Tiwari, SRI International Josef Urban, Czech Technical University in Prague Luca Viganò, King's College London Andrei Voronkov, The University of Manchester Uwe Waldmann, Max Planck Institute for Informatics Christoph Weidenbach, Max Planck Institute for Informatics