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 sympa.inria.fr (Postfix) with ESMTPS id EA0B18239C for ; Fri, 16 Feb 2018 14:46:18 +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-ua0-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.217.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.217.226 as permitted sender) identity=mailfrom; client-ip=209.85.217.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-ua0-f226.google.com) identity=helo; client-ip=209.85.217.226; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="geoff@cs.miami.edu"; x-sender="postmaster@mail-ua0-f226.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3Aj3mh7BAsvw6mLWCVFlCDUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSPv4pMbcNUDSrc9gkEXOFd2Cra4c0KyO6+jJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fcbglUijexe69+IAmrpgjNq8cahpdvJLwswRXTuHtIfO?= =?us-ascii?q?pWxWJsJV2Nmhv3+9m98p1+/SlOovwt78FPX7n0cKQ+VrxYES8pM3sp683xtBnM?= =?us-ascii?q?VhWA630BWWgLiBVIAgzF7BbnXpfttybxq+Rw1DWGMcDwULs5Xymp4aV2Rx/ykC?= =?us-ascii?q?oJKiA3/mbUhMJ+jKxWuw6tqwBjz4LIeoyZKOZyc6XAdt0aX2pBWcNRWjROAoyi?= =?us-ascii?q?aIsPAeQBMP1EoInmvVcOqBq+ChOpBOPu0DNHmGL53bA83u88Hw/G2wkgEMgPsH?= =?us-ascii?q?TStNj6Kr0dUfu1zabUzTXMdfJW2S3n5IjPaBAhrumAUq5qfsrU00UgDR/Kgk+N?= =?us-ascii?q?qYzmOT6ey+cDs3CD4uZ+Se6ij3QrpgJxrzS12Msgl4vEipgLxlza9Ch12Js5KN?= =?us-ascii?q?mmREJhb9OoDYFcuiKeOodsX88uXWdlszsgxLIco560Zi0KxYwnxxHBb/yHdJCF?= =?us-ascii?q?4hf5W+aQJTd0nW9ld6ijixqr/0is1PPwW8iu3FZFqSpFldbMtnQT2BDJ9seHTf?= =?us-ascii?q?598l+g2TaJyQ/T9vlJLV4omaffMZIswb49moANvUjeHCL6glv6gLGXe0k8/+in?= =?us-ascii?q?8eXnYrHopp+GMI90jxnzMqswlcy4D+Q4PBMDUHSA+eim0b3j/Ff2QLBLjvEsjK?= =?us-ascii?q?bWrY3aKdwBpqGlGw9Vzpoj6xGnAji6ytsYmH0HIEtBeBKGlIjpJ0rDIOv4DPe6?= =?us-ascii?q?m1Sjii1nx/HAPr37A5XCNGLPkLn7feU110kJnAE6yNQa45NPFpkAJujyUwn/ro?= =?us-ascii?q?qLIAU+Nlm7zuHpBv12zcUbWGuKA+mUPL6B4hez+uszLrzUN8cuszHnJq19vq+8?= =?us-ascii?q?vToCgVYYOJKR894SYXG8EO5hJhzFM3H3xNIAGGIL+AcyUb6z0QHQYXtof3+3Gp?= =?us-ascii?q?kEyHQjEov/UdXIXcaogbWE3WG2EoAEPjkbWGDJKm/hcsC/Y9lJaC+WJZU/wDkN?= =?us-ascii?q?VLzkVoZ5kB/07lG8xL1gIe7ZvCYfsMC72Q=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AFCAD234ZahuLZVdFcHgEGDIQ1gRiOb?= =?us-ascii?q?Y0OgxmWSRSBIwNcAQkjgV6GAhkHBDIWAQIBAQEBAQEBAQESAQEBCAsLCCgvQg4?= =?us-ascii?q?BgWcigm0jAQEmBQ07NB0IAQUBIhMUig0QoRBAiymDFYMLAQEFgXCDDwcdRoITA?= =?us-ascii?q?QEBAQEFAQEBAQEbCAkBCIRygiiGNwSBe4FnAQMZgSMBCwQDAYNngjSTbZBNCYg?= =?us-ascii?q?khAiJUYIthiqDYogcjgaKBRQlgRcmDYEFWw4IcoMQCYI8GwSCER9aAYJ8iDUPG?= =?us-ascii?q?IImAQEB?= X-IPAS-Result: =?us-ascii?q?A0AFCAD234ZahuLZVdFcHgEGDIQ1gRiObY0OgxmWSRSBIwN?= =?us-ascii?q?cAQkjgV6GAhkHBDIWAQIBAQEBAQEBAQESAQEBCAsLCCgvQg4BgWcigm0jAQEmB?= =?us-ascii?q?Q07NB0IAQUBIhMUig0QoRBAiymDFYMLAQEFgXCDDwcdRoITAQEBAQEFAQEBAQE?= =?us-ascii?q?bCAkBCIRygiiGNwSBe4FnAQMZgSMBCwQDAYNngjSTbZBNCYgkhAiJUYIthiqDY?= =?us-ascii?q?ogcjgaKBRQlgRcmDYEFWw4IcoMQCYI8GwSCER9aAYJ8iDUPGIImAQEB?= X-IronPort-AV: E=Sophos;i="5.46,519,1511823600"; d="scan'208";a="313943273" Received: from mail-ua0-f226.google.com ([209.85.217.226]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 16 Feb 2018 14:46:17 +0100 Received: by mail-ua0-f226.google.com with SMTP id n1so1919096uaa.2 for ; Fri, 16 Feb 2018 05:46:17 -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=j596CgNGk5swk1pLsvXBhPCaOzKPPjsPGV+OfCG+jco=; b=aAwvpcHNyVFRdovxFt/DZhl2YtXfMt6XG5J8Igb9PaDDtVv38OZBbEgIZrIrn7iOOM N6PO0N4yCXv5MGnPO5eZYFZoun/TXzwtiY5FvAJEFgccpSOezJWOt82swYcJkHTJ/QAe TNLLlCQzVamQDg/vnwss6abmlFGB6mdIcP8KxTmDJ9UDUj31/AZYOXZwrpjExllZ1mQn R/UTKmzDRpWpeySc9unvxdaMfvdNG85cO77GqLXTpl3cWz9DKnakbvXzaCR9MkFh3hgs pUxELNRyX57ShCteRIDi8vRT9YZXggxcHzkkosGL4gUjH3P9R54ZTlZ8WsluxtKjpuOB f6vg== 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=j596CgNGk5swk1pLsvXBhPCaOzKPPjsPGV+OfCG+jco=; b=jIj9ovZv2JJnqTyCl98/Z/ONg+KQrpeDsXahYVeI1i2TcqE9JVUZjDbjz0nTE7BpnJ eZHxjFX3fodConoPibzYEh+kqGsAa6a6b6f9QYFp/7PIOn9iJF0O6WCSsK3XvE7eks5Q /QT/xSo3mD73RnfOd2W0lBySNGufXB5MRfz2lZnhbsiHMjk3JQkTf6VYETzSqieyHW59 pU4J/9xJLxJo4JzAuhtArf+knR+0XImPF7ZJfKhAWkLOV/Kk4iKh3DQfd248fAZPduyM eHCiZRCo4TSxexI9o29H/SLu/PoqLQ1IOkeGo/Ljw+QGpFUwY2UNH+Lug6uWaye3TGTt SO4A== X-Gm-Message-State: APf1xPC9venxZnRyH1gP9oT1DSiqULIC73YU7RcBlUeeSKP5EZSCpcGy 16ni3LgFC3QTmTu8oeizj6UCfpaJ6g+DW29u+7YF+8lAwRY6Eg== X-Google-Smtp-Source: AH8x225s4iAiGIXCEnIMNZm5uIEikonvaCg9h6xQk68YJ+ISTPUD36e7KntakESg7EVrfm9Hy/UyuPa0Tcfu X-Received: by 10.176.26.145 with SMTP id j17mr4420571uai.99.1518788776979; Fri, 16 Feb 2018 05:46:16 -0800 (PST) Received: from cs.miami.edu (ewell.cs.miami.edu. [192.31.89.12]) by smtp-relay.gmail.com with ESMTP id q12sm654467uae.9.2018.02.16.05.46.16 for ; Fri, 16 Feb 2018 05:46:16 -0800 (PST) X-Relaying-Domain: cs.miami.edu Received: by cs.miami.edu (Postfix, from userid 3640) id 275421700E9A; Fri, 16 Feb 2018 08:46:08 -0500 (EST) To: X-Mailer: mail (GNU Mailutils 2.99.98) Message-Id: <20180216134608.275421700E9A@cs.miami.edu> Date: Fri, 16 Feb 2018 08:46:08 -0500 (EST) From: geoff@cs.miami.edu X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] 25th AUTOMATED REASONING WORKSHOP 2018 25th AUTOMATED REASONING WORKSHOP 2018 University of Cambridge, 12-13 April 2018 http://www.cl.cam.ac.uk/events/arw2018/ CALL FOR ABSTRACTS AND STUDENT TRAVEL GRANT APPLICATIONS GENERAL INFORMATION The 25th Automated Reasoning Workshop (ARW 2018) will take place at the University of Cambridge on 12-13 April 2018. INVITED SPEAKERS Ekaterina Komendantskaya (Heriot-Watt University) Lawrence Paulson (University of Cambridge) SCOPE The workshop provides an informal forum for the automated reasoning community to discuss recent work, new ideas and applications, and current trends. It aims to bring together researchers from all areas of automated reasoning in order to foster links among researchers from various disciplines; among theoreticians, implementers and users alike. Topics include but are not limited to: - Theorem proving in classical and non-classical logics; - Interactive theorem proving, logical frameworks, proof assistants, proof planning - Reasoning methods: * Saturation-based, instantiation-based, tableau, SAT * Equational reasoning, unification * Constraint satisfaction * Decision procedures, SMT * Combining reasoning systems * Non-monotonic reasoning, commonsense reasoning * Abduction, induction * Model checking, model generation, explanation - Formal methods to specifying, deriving, transforming and verifying computer systems, requirements and software - Logic-based knowledge representation and reasoning: * Ontology engineering and reasoning * Domain specific reasoning (spatial, temporal, epistemic,agents, etc) - Logic and functional programming, deductive databases - Implementation issues and empirical results, demos - Machine learning and automated reasoning systems - Practical experience and applications of automated reasoning The workshop will be highly interactive, giving all attendees an opportunity to participate. There will be sessions for displaying posters and open discussion sessions organised around specific topics such as "Automated Reasoning and Artificial Intelligence???????. SUBMISSIONS We invite the submission of camera-ready, two-page extended abstracts about recent work, work in progress, or a system description. The abstract can describe work that has already been published elsewhere. The main objective of the abstracts is to spread information about recent work in our community, and we expect to accept most on-topic submissions, but we may ask for revisions. To prepare your submission, please use the ARW LaTeX style file provided from the workshop website. Each submission should include the names and complete addresses (including email) of all authors. For the final versions we require all sources (TeX file and any input files). Please send your submissions via EasyChair at https://easychair.org/conferences/?conf=arw2018 . Correspondence will be sent to corresponding authors indicated on EasyChair. PUBLICATION DETAILS Abstracts will be published in informal workshop notes and will be made available on the workshop page. After the workshop we are hoping to solicit inaugural 25th anniversary of ARW articles for publication. PRESENTATIONS Each workshop participant will be asked to give a short talk (around 10 minutes depending on time constraints) to introduce their research. Each participant will also be allocated space in a poster session (poster size up to A0), where they can further present and discuss their work. Please prepare posters for the event. STUDENT GRANTS We have a limited number of grants available to support PhD students in attending the event. If you are interested, please refer to the workshop website for details. The deadline to apply for student grants is 1 March 2018. IMPORTANT DATES 1 March 2018: Student grant application deadline 12 March 2018: Abstract submission 16 March 2018: Abstract, student grant notification 21 March 2018: Final version due, Registration deadline 12-13 April 2018: Workshop PROGRAMME COMMITTEE Alexander Bolotov Chair (University of Westminster) Jacques Fleuriot Secretary/Treasurer (University of Edinburgh) Simon Colton (Goldsmiths College, University of London) Louise Dennis (University of Liverpool) Ullrich Hustadt (University of Liverpool) Mateja Jamnik (University of Cambridge) Florian Kammueller (Middlesex University) Ekaterina Komendantskaya (Heriot-Watt University) Alice Miller (University of Glasgow) Oliver Ray (University of Bristol) Renate Schmidt (University of Manchester) LOCAL ORGANISERS Mateja Jamnik (Mateja dot Jamnik at cl dot cam dot ac dot uk) Edward Ayers Angeliki Koutsoukou-Argyraki Wenda Li Chaitanya Mangla Lawrence Paulson Zohreh Shams CONTACT arw2018@easychair.org