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 CFBBE5D5 for ; Wed, 24 Jul 2019 04:22:58 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.64,300,1559512800"; d="scan'208";a="393081254" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 24 Jul 2019 06:22:57 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id BDB6F8270C; Wed, 24 Jul 2019 06:22:57 +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 6B497826CE for ; Wed, 24 Jul 2019 06:16:07 +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-vs1-f99.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AJOiFPxAp7HpV/XIPX3mVUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSPv+pcbcNUDSrc9gkEXOFd2Cra4d0ayJ4uuwASQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9HiTagf79+Nhe7oAHeusQVnYdpN7o8xAbOrnZUYe?= =?us-ascii?q?pd2HlmJUiUnxby58ew+IBs/iFNsP8/9MBOTLv3cb0gQbNXEDopPWY15Nb2tRbY?= =?us-ascii?q?VguA+mEcUmQNnRVWBQXO8Qz3UY3wsiv+sep9xTWaMMjrRr06RTiu86FmQwLuhS?= =?us-ascii?q?waNTA27XvXh9RtgqxFpxyvpBJxzY7PbY2JKPZyYr/RcMkGSWZdWMtaSixPApm7?= =?us-ascii?q?b4sKF+cBMvhXr47zp1sAthaxGRKsCPnqyj9JnHD22Kw63/4/Hg7bwQwtGc8Fvn?= =?us-ascii?q?rTrNXwLqgSUOa1wbHGzTXZaPNZxTD96JPWfhw9vP2BWah8cc3LyUkgDw/Fkk+f?= =?us-ascii?q?ppfhPzyLzOsNrmea4/R8We6yj2MrsQZxoiKgxsoql4LHhZoVx0ja+SllxIs5P9?= =?us-ascii?q?61RU5hbdK6DZddtTuWOo9yT886Xm1lvDg2xqcItJKmZiQHy5AqywTCZ/CZdYWD?= =?us-ascii?q?/wjtW/yLIThigXJoYLK/iAi28Uin0uD8U9O70FdOriZcjNnMrW0B2wXd6sWDTv?= =?us-ascii?q?Zx5Eih2TGI1wDc7uFLP1o4mrbcK54k2rIwl5wTvlrfHiLuhkn6kKubel8n9+Wo?= =?us-ascii?q?8ejrfKjqq52GO4JwjgzyKqEulda+AeQ8PAgORW+b+eGk2b3s40L5R7tKjvMtn6?= =?us-ascii?q?bFq5DWP8Ebpq+jDA9Q04Yv8QiwACq70NgAh3kIMEpFeA6bj4juI1zBPOr3DfK7?= =?us-ascii?q?g1i1lDdrxuvGPqH6D5XWLnnDla/hcqxn505dzgoz19Ff6IhOBrEPOvKgEnP24Y?= =?us-ascii?q?jTBxo9dgi12PrPCdNn14pYV3jZUYGDN6aHvlKP6OwHKPLKYY4cvTe7JvQ4tK2m?= =?us-ascii?q?tmMwhVJIJfrh5pAQcn3tRq03cXXcWmLlh5I6KUlPuwM/SOLwj1jbDWxYfDC3Xq?= =?us-ascii?q?s553c2BJ/0VN6fFLDou6SI2WKAJrMTfnpPUwzeGmyucoSNXvZKZS6PcJc4z240?= =?us-ascii?q?EIO5Qopk7imA8Q/3z709c7jR8ywc8Iz4jZ17tryVmhY1+jh5Sc+a1jPVQg=3D?= =?us-ascii?q?=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AoCQDO2jddf2PZVdFlhAuBElJcjRiJG?= =?us-ascii?q?5wxA1QBCAEDAQwjDAEBhxAbBwEENBMBAwEBBAEBAgEDAwETAQEJCwsIJ4UnDII?= =?us-ascii?q?6IoJzQgEBJhI7NB0IAQUBIhODI4IKD6BJPIowgiOCeQEBBYJIgx8IIYEpAwYJA?= =?us-ascii?q?QiBIocIghKCRReBf4dCA4E9cIJwgiaqaQmIc40qJ4IthyWDU4pllH+QIg8hgUa?= =?us-ascii?q?BeXKDOoFKhGmFFIVbIzMBji0BAQ?= X-IPAS-Result: =?us-ascii?q?A0AoCQDO2jddf2PZVdFlhAuBElJcjRiJG5wxA1QBCAEDAQw?= =?us-ascii?q?jDAEBhxAbBwEENBMBAwEBBAEBAgEDAwETAQEJCwsIJ4UnDII6IoJzQgEBJhI7N?= =?us-ascii?q?B0IAQUBIhODI4IKD6BJPIowgiOCeQEBBYJIgx8IIYEpAwYJAQiBIocIghKCRRe?= =?us-ascii?q?Bf4dCA4E9cIJwgiaqaQmIc40qJ4IthyWDU4pllH+QIg8hgUaBeXKDOoFKhGmFF?= =?us-ascii?q?IVbIzMBji0BAQ?= X-IronPort-AV: E=Sophos;i="5.64,300,1559512800"; d="scan'208";a="393080663" X-MGA-submission: =?us-ascii?q?MDFLatHhZol78rlHR03ugw2LOX2evCnwmsaVlG?= =?us-ascii?q?br+NEzVMsylsKg1x8hGDYMvtAKyTzC3VvwxPB2Dj4bMhN2qPuMskARmq?= =?us-ascii?q?89WeYFs16AK8ReL3XrWpN1a8ejHa4ojlJh8n6SS7dLM3XdZqhnlwU6eH?= =?us-ascii?q?WySeNbA6C21wOtk+MVRJYRjA=3D=3D?= Received: from mail-vs1-f99.google.com ([209.85.217.99]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 24 Jul 2019 06:16:06 +0200 Received: by mail-vs1-f99.google.com with SMTP id a186so28835947vsd.7 for ; Tue, 23 Jul 2019 21:16:06 -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=F75W8MzuDuV457ObcelCS8xXH9MxFncLNT50eNtO17w=; b=WxqpM1gKn540tsr86jNuNkZ691gnBBjjRdTBGKkBqfOz5/0Xq60SxZR49v+JG75Dg7 N8nttGpBLVOwYRStAZT55b84rJHfVIr4eHWjVG8lYybLFASgD+GSK4P9bukEbIALM5j+ oNruBz6a+uBtvI5ehNQ6x29KQpp7KfsIm1CTepFZ9OKFcWQ2F/PMTyqnDLzFbVWqA5yb Be5nnDBbKgfXafwvxGt/sTymj6TTk16ReVB6uA+BcSevQFULYQlAseY9IMm6ChHRXGrz C3ta/Ja9UvNrulB+qfduTuc1bo5zjYCbrlZVXbAU1YBjBaithzM41c3Vtyj/ySWL2viy pkng== 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=F75W8MzuDuV457ObcelCS8xXH9MxFncLNT50eNtO17w=; b=Obi6HeZWolq7A03U4WJckGJrrkWvRVM8jQNyQ2ND7Bi0iqzlWSLUjmVOMVxZAWN9y4 YKG0/DAjOtDdc5ibEvTBUCe/JIXUb3F39fgsAPJQCE9DXp1+hVY2hufWDpbUn/XJHY4d yXrO6O2exZRUkiEjTW7jPVGcDif0cVpF5Q2KGpjq6l2CeExQC/U1z097p6qo4eeCtW7M nBJXABkmjMBQZbOuMjC47kboHC/c5T0FLsAhgvatZYG2+VQfURDzXS5jf6jSHsils30G 4lCNCeM2Q3k9VLiRlakW9adQkM4/RIurYH7+AIxs3BhK6X2hcAzM/PA9Ph9x+yBrTnoK xkQA== X-Gm-Message-State: APjAAAUF47Gl1Zl1y2YWnDpvMcq5kBaxxdVdFVfVBI7JZnnnWZ/m4wA7 Il6A1861dMKOlLfextM5FPfqwyoX5Dzyczv9gjoZed9Yval/Cw== X-Google-Smtp-Source: APXvYqwBoJZ8RMwdqhAXfYFcOJWKla40VGKfuP4Ca/cnHu22fG/PL50bd4yBP4ZCF2tDm5Ia4ZsuAA6B8aZR X-Received: by 2002:a67:bc7:: with SMTP id 190mr28404639vsl.6.1563941765727; Tue, 23 Jul 2019 21:16:05 -0700 (PDT) Received: from cs.miami.edu (ewell.cs.miami.edu. [192.31.89.12]) by smtp-relay.gmail.com with ESMTP id x63sm4316497vsc.3.2019.07.23.21.16.05 for ; Tue, 23 Jul 2019 21:16:05 -0700 (PDT) X-Relaying-Domain: cs.miami.edu Received: by cs.miami.edu (Postfix, from userid 3640) id ED4451700637; Tue, 23 Jul 2019 23:57:13 -0400 (EDT) To: X-Mailer: mail (GNU Mailutils 2.99.99) Message-Id: <20190724035713.ED4451700637@cs.miami.edu> Date: Tue, 23 Jul 2019 23:57:13 -0400 (EDT) From: geoff@cs.miami.edu X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] FroCoS-12 and TABLEAUX-28 Reply-To: geoff@cs.miami.edu X-Loop: caml-list@inria.fr X-Sequence: 17700 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, in 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 WORKSHPS * 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, Giselle Reis and Iliano Cervesato * 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)