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 67C145D5 for ; Mon, 19 Aug 2019 17:19:45 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.64,405,1559512800"; d="scan'208";a="395785786" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 19 Aug 2019 19:19:44 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 4962A7EF27; Mon, 19 Aug 2019 19:19:44 +0200 (CEST) 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 38D767ED21 for ; Mon, 19 Aug 2019 19:07:52 +0200 (CEST) Authentication-Results: mail3-smtp-sop.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-vk1-f225.google.com IronPort-PHdr: =?us-ascii?q?9a23=3ADC7g6hfVgbcpxoKPyJalx0bglGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxcu8YB7h7PlgxGXEQZ/co6odzbaP6ea5Aj1LuM7e+Fk5M7V0Hycfjs?= =?us-ascii?q?sXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aFRrwLxd6?= =?us-ascii?q?KfroEYDOkcu3y/qy+5rOaAlUmTaxe7x/IAiooQnLq8Ubj49vJqksxhfVoHZDZv?= =?us-ascii?q?hby35vKV+PhRj3+92+/IRk8yReuvIh89BPXKDndKkmTrJWESorPXkt6MLkqRfM?= =?us-ascii?q?Qw2P5mABUmoNiRpHHxLF7BDhUZjvtCbxq/dw1zObPc3ySrA0RCii4qJ2QxLmlC?= =?us-ascii?q?sLKzg0+3zRh8dtjqxUvQihqgRizYDKZ4+bN/RwcKPGcN8GWWZNQtpdWjZdDo+g?= =?us-ascii?q?aYYEEuoPPfxfr4n4v1YOogWxBQ6iBOPh0TJHmmT20bc/0+QgCw7G2Q0gE8gQv3?= =?us-ascii?q?vJsdX4MroZX+6yzKnN1zrDbvVW1C/z6IjSdRAuvfaMXalufcbN1EUiExnJjlKK?= =?us-ascii?q?qYzqJz+Vyv4CvHOf7+V+T+2vlmEmpx9trjSywsogkI7Jhpgayl3C6C53w541KM?= =?us-ascii?q?WmREJnZdOoCphduiGAO4doXM8uXntktDgkxrAGoZK3YSwHxIo9yxPRdvCLaYuF?= =?us-ascii?q?7xb5WOqMPzt1gm9udqiliBao60egz/XxVsmq31ZOqSpIitzMuWoM1xzX88SHVP?= =?us-ascii?q?h98lq41TaByQzf9OFJLVo7larcLJ4hzbowmYQJvUvfGS/2nV36jK6Qdko65uil?= =?us-ascii?q?8/rrbqniq5OGNIJ5ihvyProwlsCiG+g0LBYCUmiD9eS5zrLj/En5QLtQjv0xl6?= =?us-ascii?q?nUqJ/aKtocpq63DQ9YyZos6w2lAzej0dQXh3wHLFNfdB2ZkofpJknCIOrkAven?= =?us-ascii?q?n1SsjDBryujaMbL7B5XNKmHPkLPgfbZm905R0xEzzNBa55JMEL4NOvPzWknrtN?= =?us-ascii?q?zZFBA1KQK0w/y0QOl6g9cVUGeLR6uYK7/6sFmS5+tpLfPaN6EPvzOoJPUi6fDG?= =?us-ascii?q?hmR/nF4UeKjv0JcKOyPwJehvP0jMOSmkudwGC2pf5lNiHtyvs0WLVHtoX1j3R7?= =?us-ascii?q?g1v21pA5ngCIbKQ4HrjbCcjn/iT89mI1teA1XJKk/GMoCNWvMCciWXe5MzmSdC?= =?us-ascii?q?ULmoTo5n2B2z5lajluhXa9HM8yhdjqrNkdh44+qJy0M3/D1wStqeiiSDFTsp2G?= =?us-ascii?q?wPQDAy0eZ0pkkvklo=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AMBACW1lpdh+HdVdFlhAyBElJcjRuGF?= =?us-ascii?q?JxGA1QBCAEDAQwjDAEBh2cbBwEENBMCBQEBBAEBAQIBAwMEARMBAQEIDQkIKYU?= =?us-ascii?q?uDII6IoJzHyMBASYSOxoaHQgBBQEiE4MiAYIKD55+PIoxgiWCegEBBYJIgx4II?= =?us-ascii?q?YEqAwYJAQiBIocQghSCRReBf4N1gXCBXQOBPXCCcIImq1UJiQeIeoRLJ4IxhzC?= =?us-ascii?q?DX4sElTyQQg8hgUaBeXKDOoFKgRACHoM6hRSFWyMzAY5sAQE?= X-IPAS-Result: =?us-ascii?q?A0AMBACW1lpdh+HdVdFlhAyBElJcjRuGFJxGA1QBCAEDAQw?= =?us-ascii?q?jDAEBh2cbBwEENBMCBQEBBAEBAQIBAwMEARMBAQEIDQkIKYUuDII6IoJzHyMBA?= =?us-ascii?q?SYSOxoaHQgBBQEiE4MiAYIKD55+PIoxgiWCegEBBYJIgx4IIYEqAwYJAQiBIoc?= =?us-ascii?q?QghSCRReBf4N1gXCBXQOBPXCCcIImq1UJiQeIeoRLJ4IxhzCDX4sElTyQQg8hg?= =?us-ascii?q?UaBeXKDOoFKgRACHoM6hRSFWyMzAY5sAQE?= X-IronPort-AV: E=Sophos;i="5.64,405,1559512800"; d="scan'208";a="316675281" X-MGA-submission: =?us-ascii?q?MDEdPYjxFooDdgg93eMFZ/1QVEckQLZOdQUdT1?= =?us-ascii?q?8+ZJfJxksl1FJWEqSm8qzWZt3klnk1cfC1bjecuBiil8rzVREYO5opl8?= =?us-ascii?q?PhtmYbLV6KwoGfwmpQ3JETJ49QwNyqWabDG5iC1PUPNwf6w06cMH2h1g?= =?us-ascii?q?0WmbagL0Zc/bvpKGmW4ol4hQ=3D=3D?= Received: from mail-vk1-f225.google.com ([209.85.221.225]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 19 Aug 2019 19:07:51 +0200 Received: by mail-vk1-f225.google.com with SMTP id z67so605760vkd.5 for ; Mon, 19 Aug 2019 10:07:51 -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=CONWrFMRs6WXx/lJgZ2weFjZPv+RLLYxoB31xvmbf54=; b=sO4dUIVT7mxg84O6Q5ONjddwHLWtwIDrjln/nTtJH1SSzEN4UItRSUaE8m07HrCAbg FmjzRJPdR6+uIb2ocfWscZROLYQaxjk9rae4racP4KoNAqfpjknQVZGNjx4hwoz9LWH1 ilE5FtRZTU9FkehiU0LsEk+4a7G5bZMRlpN6soNJUXcv9XSSNmR4q/2TbQ11eU3Fr2tH Tej68MwOK3bzpOmqBfmqvK5YyjyW3PjR3A6R1jiU2qV+x/kWSfgTgipHCr5rAHJiRPk8 /Krj+xJkzJInDg/IboMLpvW0IXDufnTTGB96Nx1uRdPzToXuwqSMZT8iOCih0kMUp0Sp lniA== 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=CONWrFMRs6WXx/lJgZ2weFjZPv+RLLYxoB31xvmbf54=; b=ShhdzDyrqsLIxuB1aSeK7E2DOfJB+6bYDan200v994iinJdht+0fZYEpzXAWCW51E+ t/T8IhQ6RxLWnSdAna1cW/jgotpWWtj7aB933M+SC4jbgyePeH8SMWP7JR5TAUVzlqKZ F7iPHk0uy69SKZygbVc+RU3wVqeaahB+uNPvmJvs+E4wqktEjXxFZV5ysnKjwUwO/YpL fnVQmREFIlWjp/UfHEW/m7icIZ4VgTNgef33zqXzTyNebe/ylVGbgxlJq5zaWx4vrQzf hfvxzVll449cXNTSQ6mBoUBARWBZpJSTMGjyqHBXgCBShSN0z0bEIk9j5OqUfxiTwVzP OMwQ== X-Gm-Message-State: APjAAAXN2twMHYUgkVUA2SpS/TLNBpzEyXGk/RO+lb6TMndR79sd4IJM 9CfQnUHb+zubP+PabC5lLysPwih0Wsi8e1jt5BqPU+eyhrmpqA== X-Google-Smtp-Source: APXvYqy07J+i1Okn6yHJ2UoTeWB97szlSIrChTOJnZ7UgOZtQOaXiOi0zhgwD02HZDlob+GkMCTwCeElqqkm X-Received: by 2002:a1f:94e:: with SMTP id 75mr8597508vkj.8.1566234469712; Mon, 19 Aug 2019 10:07:49 -0700 (PDT) Received: from cs.miami.edu (ewell.cs.miami.edu. [192.31.89.12]) by smtp-relay.gmail.com with ESMTP id q205sm1188212vka.1.2019.08.19.10.07.49 for ; Mon, 19 Aug 2019 10:07:49 -0700 (PDT) X-Relaying-Domain: cs.miami.edu Received: by cs.miami.edu (Postfix, from userid 3640) id 5E45717005FE; Mon, 19 Aug 2019 13:07:31 -0400 (EDT) To: X-Mailer: mail (GNU Mailutils 2.99.99) Message-Id: <20190819170731.5E45717005FE@cs.miami.edu> Date: Mon, 19 Aug 2019 13:07:31 -0400 (EDT) From: geoff@cs.miami.edu X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] FroCoS-12 and TABLEAUX-28, London, September 2-6. Second call for participation (early registration closes on August 21) Reply-To: geoff@cs.miami.edu X-Loop: caml-list@inria.fr X-Sequence: 17776 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: The 2019 editions of FroCoS (the 12th International Symposium on Frontiers of Combining Systems) and TABLEAUX (the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods), as well as their affiliated workshops and tutorials, will take place in London, at Middlesex University, on the week of September 2-6. This year we have an exciting program of contributed and invited talks, and affiliated events. Please see https://tableaux2019.org/Program_FroCoS_TABLEAUX_2019.pdf for detailed program information. Moreover, information on traveling and accommodation (including affordable accommodation for budget-constrained participants), and on the sites and activities that can be enjoyed in the Middlesex University's beautiful campus, is available from the conferences' websites: https://frocos2019.org and https://tableaux2019.org Information on registration and fees is also available from these websites. The deadline for early registration is August 21st, 2019. INVITED TALKS * Jeremy Avigad. Automated Reasoning for the Working Mathematician * Maria Paola Bonacina. Conflict-Driven Reasoning in Unions of Theories * Stephane Graham-Lengrand. Recent and Ongoing Developments of Model-Constructing Satisfiability * Stephane Graham-Lengrand and Sara Negri. Remembering Roy Dyckhoff * Uli Sattler. Modularity and Automated Reasoning in Description Logics AFFILIATED WORKSHOPS * The 25th Workshop on Automated Reasoning (ARW 2019), organized by Alexander Bolotov and Florian Kammueller * Journeys in Computational Logic: Tributes to Roy Dyckhoff, organized by Stephane Graham-Lengrand, Ekaterina Komendantskaya and Mehrnoosh Sadrzadeh AFFILIATED TUTORIALS * Formalising Concurrent Computation: CLF, Celf, and Applications by Sonia Marin * How to Build an Automated Theorem Prover -- An Introductory Tutorial (invited TABLEAUX tutorial) by Jens Otten For any questions, please contact the organizers at chair@tableaux2019.org or chair@frocos2019.org. We hope to see many of you this September in London. Best wishes, Serenella Cerrito, Andreas Herzig, Andrei Popescu and Franco Raimondi (program chairs and local organizers)