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 ESMTP id 4D0B45D5 for ; Mon, 9 Apr 2018 18:18:39 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.48,427,1517871600"; d="scan'208";a="321992053" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 09 Apr 2018 20:18:36 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id BA85182442; Mon, 9 Apr 2018 20:18:36 +0200 (CEST) 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 A1C3C8240C for ; Mon, 9 Apr 2018 20:15:17 +0200 (CEST) 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-ua0-f227.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AS5PUwBPHzBcRIkFTHNol6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0Lfz6rarrMEGX3/hxlliBBdydt6ofzbKO+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZLebxlGiTanfb9+MAi9oBnMuMURnYZsMLs6xAHTontPde?= =?us-ascii?q?RWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjTbxFFzsmKHw65NfqtRbY?= =?us-ascii?q?UwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0yRD+s7bpkSAXwhS?= =?us-ascii?q?kaKTA392LZhMJwgq9AvB6tuwBzz5LObY2JKPZzeL7Wc9MARWpGW8ZcTyNBDZ27?= =?us-ascii?q?b4sBAeoMJvpXr5Lnq1sLrBuxHwysBOL1xjBWm3D2wKs32PkvHwHB2QwvBdMOsH?= =?us-ascii?q?LModX0MKcSTfi1wLPVwjrdaf5dxDTz6JDQfxw/vf2BWah8fMnRxEU1CQ/Jk1ed?= =?us-ascii?q?pZb7Mz+L1OkBq3WX4u5+We61hWMrtht9rzury8s2l4XFmIQYwU3e+ypj2oY6P9?= =?us-ascii?q?i4RVZ7YdG6FJtQsDmXN45sTcMjR2FkoTs6xacatZKicigG1ooryhzFZ/yIdIiI?= =?us-ascii?q?5R3jVOKPLjtimH1lf7e/iw6z8Uim1OL8StG53EhWoidBiNXBtXAA2wbN5sSaSP?= =?us-ascii?q?Zx5Fmt1SiN2gzL7+FLO0E0la7VK547xb4wk4IesUvdES/xlkX2grSbeVk/+uSy?= =?us-ascii?q?7uTnY6/pppqdN4NulA7xL7kultSlAeskKggOQ3Sb+eOk2bL/50L5RbFKguQykq?= =?us-ascii?q?nYq5DaOd8WprW5Ag9QyoYs8QyzDzag0NQCnHkINkhJeBydj9uhB1abdPvxCPP6?= =?us-ascii?q?h1W3jB9qwerHN/vvGMOeAGLEleLucLFz5WZX00w2zNla5tRZBqxSc7rIRkbtuY?= =?us-ascii?q?mAXVcCOAuuzrO/UYQv5sYlQWuKR5ShHubXuF6M6PgoJrDQNoQO/jP8Iv0kofPi?= =?us-ascii?q?kC1gwANPTeySxZISLUuAMLF+OUzAPSjnmZEEEG4Pv0wzQPG40ATfAw4WXG67Wu?= =?us-ascii?q?cH3h9+CI+iCt2dFIWkgbjEwS7jW5MMPD8ABVeLHnPlMY6DXqVUZQ=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DoAAB7rMtahuPZVdFbHQEBBQELAYQjg?= =?us-ascii?q?ReLYV6MFgEYgwM/hSWMeYElA1IBCh+FNQEBA4FoGQcBBDAYAQIBAQEBAQEBAQE?= =?us-ascii?q?TAQEBCgkLCCgjDIInAQ0igm8jAQEmEjs0HQgBBQEihSCaTjyKGIMJgm4BAQWBY?= =?us-ascii?q?4MCBx1EghcICQEIhzQBJIITgQyERYFYgS8Eg1OCJI9Nh3wIhVaCToYGgXiFSII?= =?us-ascii?q?YgnaJHIEDhVgPIYEEHIIKcoMQCRaBdRgCg04zijtTAYxPgkUBAQ?= X-IPAS-Result: =?us-ascii?q?A0DoAAB7rMtahuPZVdFbHQEBBQELAYQjgReLYV6MFgEYgwM?= =?us-ascii?q?/hSWMeYElA1IBCh+FNQEBA4FoGQcBBDAYAQIBAQEBAQEBAQETAQEBCgkLCCgjD?= =?us-ascii?q?IInAQ0igm8jAQEmEjs0HQgBBQEihSCaTjyKGIMJgm4BAQWBY4MCBx1EghcICQE?= =?us-ascii?q?IhzQBJIITgQyERYFYgS8Eg1OCJI9Nh3wIhVaCToYGgXiFSIIYgnaJHIEDhVgPI?= =?us-ascii?q?YEEHIIKcoMQCRaBdRgCg04zijtTAYxPgkUBAQ?= X-IronPort-AV: E=Sophos;i="5.48,427,1517871600"; d="scan'208";a="321991810" Received: from mail-ua0-f227.google.com ([209.85.217.227]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 09 Apr 2018 20:15:15 +0200 Received: by mail-ua0-f227.google.com with SMTP id q38so5614594uad.5 for ; Mon, 09 Apr 2018 11:15:15 -0700 (PDT) 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=yYSUbMIhihCjAkK9QgJvnU2l7MnTFspMi2fyX/Rvy5w=; b=e9xuSkjry7jvJjYKhsIZ03m2S2ugdAaTcQsJiNWHvZ5aHBlftE9CMpvsU3HAPiLAwe nNy0Tk4zJVK3/m2ev0p8lcLNWIK3YkEEo+EqtBTbEq7bolvmqTXQV2BPMww8RRJCW4/O wC+0kZFb6/cyei/52C8Q8DxrTtitdt3tXXQXrpbr3jPNHmGHA7EVH5DJ6wL5iS7HnGYR HR4CsBJXDMKuDN9VIjef3jFEsqNUJwFcjvZLbV5avclZZ0fiKKqfT5SNBOIUjWxGMcCt qXEZDOQLu+tM/gJagB8d7ppDVS94x+mLXVvBbJPCWp8j/qEx+R2vdEy0voWpatsS+8GZ zbow== 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=yYSUbMIhihCjAkK9QgJvnU2l7MnTFspMi2fyX/Rvy5w=; b=E5Uk07IoXq+cKUYD9BRetURNyZ4q8t1wuasAHOOWJnv0u0QocMBBDUR7F62SpgeKyx PLEZCVYLM3DrLWfA17yOO8g3Ne7r/thOPYVNumeIXhILPwiZ/r0f1rhm8J0aU9vUwFMZ atkNgaPVDfnm3ThChvux42e+zMEswQd93POlEum/gbVQGkUe+vtjbXTfSa5qO9lnjKil arOEyhwrrNfSGppCnmSQuze1X2Qf9EBlxQmW03xFZykkWa1zFVnGKmTsfWceM8/gQW/c MqACjCOHf8ABwGCpl/cXEP2H+11U7rYNg9Q+C+ZbRBzdsqv6wOl2/2Z2O68j0Pu2wPk3 9CAw== X-Gm-Message-State: ALQs6tA+kb8ExRUvVAusKAIYyE/NwoiE1upGitPjRlwpmXjD9LaQh4cn 0c6wx3sjRBMCu2/Wt7n1YTcAsrB5DJiLAOc3vBoqB4bARBQeOw== X-Google-Smtp-Source: AIpwx4+nW9XClDMYasP3vEzch1T/gEN4URTmSakDYr3uyYx3knXaGxQ86g4yemY08gOz0whhvXfjW9jvV+vp X-Received: by 10.159.59.107 with SMTP id j43mr25307194uah.171.1523297714763; Mon, 09 Apr 2018 11:15:14 -0700 (PDT) Received: from cs.miami.edu (ewell.cs.miami.edu. [192.31.89.12]) by smtp-relay.gmail.com with ESMTP id x3sm44222vkg.8.2018.04.09.11.15.13 for ; Mon, 09 Apr 2018 11:15:14 -0700 (PDT) X-Relaying-Domain: cs.miami.edu Received: by cs.miami.edu (Postfix, from userid 3640) id 3AF2F1700DB4; Mon, 9 Apr 2018 14:05:10 -0400 (EDT) To: X-Mailer: mail (GNU Mailutils 2.99.98) Message-Id: <20180409180510.3AF2F1700DB4@cs.miami.edu> Date: Mon, 9 Apr 2018 14:05:10 -0400 (EDT) From: geoff@cs.miami.edu X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] ARQNL 2018 Final Call for Papers Reply-To: geoff@cs.miami.edu X-Loop: caml-list@inria.fr X-Sequence: 16794 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: ARQNL 2018 Final Call for Papers 3rd International Workshop on Automated Reasoning in Quantified Non-Classical Logics (associated with FLoC and IJCAR 2018) 18 July 2018, Oxford, UK http://iltp.de/ARQNL-2018/ INVITED SPEAKERS * Larry Moss (Indiana University) * Giles Reger (University of Manchester) IMPORTANT DATES Abstract submission: 8 April 2018 Paper submission: 22 April 2018 Author notification: 15 May 2018 Final paper version: 25 May 2018 MOTIVATION Non-classical logics - such as modal logics, conditional logics, intuitionistic logic, description logics, temporal logics, linear logic, dynamic logic, deontic logics, fuzzy logic, paraconsistent logic, relevance logic - have many applications in AI, Computer Science, Philosophy, Linguistics, and Mathematics. Hence, the automation of proof search in these logics is a crucial task. AIMS AND SCOPE The ARQNL workshop aims at fostering the development of proof calculi, automated theorem proving systems and model finders for all sorts of quantified non-classical logics. The workshop will provide a forum for researchers to present and discuss recent developments in this area. The contributions may range from theory to system descriptions and implementations. Contributions may also outline relevant applications, describe problem formalizations, example problems, and benchmarks. We welcome contributions from computer scientists, linguists, philosophers, and mathematicians. Topics of the ARQNL workshop will cover all aspects related to the automation of quantified non-classical logics, including but not limited to: * Proof theory, semantics, meta theory, and cut-elimination * Proof search calculi, including sequent calculi, tableau calculi, connection calculi, resolution calculi, and instance-based calculi * Modal logic, conditional logic, intuitionistic logic, description logic, temporal logic, linear logic, multivalued logic, dynamic logic, deontic logic, fuzzy logic, paraconsistent logic, relevance logic, free logic, and natural logic * Techniques, strategies and heuristics to deal with first-order or higher-order quantification * Implementation of theorem provers and experimental evaluations * Problem libraries and benchmarking for theorem provers * Applications, formalizations, and example problems * User interfaces, proof representation, and syntax issues ARQNL 2018 is associated with IJCAR 2018, the International Joint Conference on Automated Reasoning, which is part of FLoC. PAPER SUBMISSIONS Submissions of papers are solicited in two categories: * Full papers (up to 15 pages) * Short papers, talk abstracts, system demonstrations (up to 8 pages) Submission is electronically, through EasyChair (see the ARQNL website for further details). Submissions will be refereed by the programme committee, and evaluated with respect to relevance, originality, and correctness. Proceedings will be published in the CEUR Workshop Proceedings (CEURWS) or the EasyChair Proceedings in Computing (EPiC) series. They will also be included on the FLoC USB flash drive distributed to all participants. We will also consider producing a special issue of a recognized journal on the topic of the workshop. PROGRAMME COMMITTEE Christoph Benzmueller (Freie Universitaet Berlin), co-chair Jose Luiz Fiadeiro (Royal Holloway University of London) Marcelo Finger (University of Sao Paulo) Didier Galmiche (LORIA - Universite de Lorraine) Rajeev Gore (The Australian National University) Andreas Herzig (IRIT-CNRS) Sven Linker (University of Liverpool) Aniello Murano (University of Naples Federico II) Hans De Nivelle (Nazarbayev University) Jens Otten (University of Oslo), co-chair Valeria De Paiva (Nuance Communications) Xavier Parent (University of Luxembourg) Revantha Ramanayak (Vienna University of Technology) Giselle Reis (Carnegie Mellon University - Qatar) Leila Ribeiro (Universidade Federal do Rio Grande do Sul) Bruno Woltzenlogel Paleo (Vienna University of Technology) -- Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs