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 D83FC5D5 for ; Tue, 23 Jul 2019 22:10:27 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.64,300,1559512800"; d="scan'208,217";a="393060304" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 24 Jul 2019 00:10:26 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 30D888270C; Wed, 24 Jul 2019 00:10:26 +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 4ACC7826CE for ; Wed, 24 Jul 2019 00:09:31 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=A.Popescu@mdx.ac.uk; spf=Pass smtp.mailfrom=A.Popescu@mdx.ac.uk; spf=Pass smtp.helo=postmaster@EUR02-AM5-obe.outbound.protection.outlook.com IronPort-PHdr: =?us-ascii?q?9a23=3AKg5OBBB6q3lHEe/ODScaUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSP36rs6wAkXT6L1XgUPTWs2DsrQY0rCQ7PGrATJIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSizexfK1+IA+0oAjVucUanYpvIbstxxXUpXdFZ/?= =?us-ascii?q?5Yzn5yK1KJmBb86Maw/Jp9/ClVpvks6c1OX7jkcqohVbBXAygoPG4z5M3wqBnM?= =?us-ascii?q?VhCP6WcGUmUXiRVHHQ7I5wznU5jrsyv6su192DSGPcDzULs5Vyiu47ttRRT1ji?= =?us-ascii?q?oMKjw3/3zNisFojKxVvg+vpwBxzYDXYYGaKPVxc7jHct8GWWZMRNpdWzBcDo66?= =?us-ascii?q?coABD/ABPeFdr4Tlu1YOqwaxBROyC+Pu1zRGnHj23bUk3OQ6DQ7GwRErEtUSvX?= =?us-ascii?q?jOttv1M78SXv6uzKbU0DXOdPZW1iry6YTSaB8uveuAXa9zccfIz0QkCg3LjlKV?= =?us-ascii?q?qYP/PjOV0PwAs2aB7+pnSe2vjHUnpx9trjSywsogkI7Jhpgaylzc6SV22p06Jd?= =?us-ascii?q?mmR0FhfN6lH4Vcuz2HO4ZyWM8iRHtouCk8x7YbupC7ZDAHxZs7yxLFdvCLb4qF?= =?us-ascii?q?7gj/WOqLPDt0mG9pdKq8ihuy60Ss1O3xW8mu3FpUoCdIk8PAum4D2hHS8sSHRO?= =?us-ascii?q?Vy80S91TuK0g3T5OFJLEA2mKfeJZ4sxrw9m54WvEnNESL7l1/5gaqZe0o59Oin?= =?us-ascii?q?8eLqaaj8qJCGLY97kAT+P7wumsOhBeQ4NRADUWeV9uqgyLHv41T1TalNgPA2i6?= =?us-ascii?q?XZt4vVKtoBqq6+Hg9Vzp0s6xGiDzegzdsUh2EHLEhCeBKbkYfmJ03OIPH/Dfe5?= =?us-ascii?q?mVislyprx+zCPr3mBZXNLWLPn6vmfbZ480JcyQwzws5D559MBbwNPOj/VlLtuN?= =?us-ascii?q?HaFBM1Lxa4z/v7BNlgzo8eXHiAAq6dMKPcq1+I4ecvLvGQaYMPojj9LOAl6OD1?= =?us-ascii?q?jXAlhF8QZqyp0oYYaXyiBPtpP1+VYWfvgtsZC2cFohI+TPD2iF2FSTNce2y9X6?= =?us-ascii?q?c45j0iDIKmDJzDRpy2jbya3Ca7G4VWaXpcBlCNF3fobYSEVO0WZCKcOM8y2gAD?= =?us-ascii?q?APK5VZQJ3gqq8hTgyvxsKe+esnkAq4nL38NxofbJlFc58jkiS4zXz3CVQnoxl2?= =?us-ascii?q?UOQCIw161XpU1m1kzFyqVxmLpFDdFV4bVEXhpwfcrA3vR3EJX7XATGY9GCRX6i?= =?us-ascii?q?Q866GncqQ9sqhcIWbkB7Xdiuk0aHl2CjDLMcv7iKH4AvtKnc1nz0KtxmjW3Lnu?= =?us-ascii?q?F1hlYqS+NLNHa6neh09wHXAoPTiAOCmvDuPe4VxDbW+WKryWuVoFoeTAVrF6TL?= =?us-ascii?q?XDYbY1aQodmzrhfLV6e1BLEPNgpa1dXENqBRLNznjBNCQeqlNNmIJyr7kny0LQ?= =?us-ascii?q?iB3aiFdsznd3hXlHHUE0wsjQkI5n+ccwUyG3Hl6yjVBTlqUFbueF/E8O9kqXr9?= =?us-ascii?q?QFV+h1WBZkhlkr604QI9hPqGSvpV0KhS6wk7rDAhNVCxxd/XQ+KHvwd6d7gUNf?= =?us-ascii?q?p72FBf2HnSqiR4MozmJqskm11IIFc/hF/nyxgiUtYIqsMttn5/lFMje5Ld60tI?= =?us-ascii?q?cnaj5b61P7TWLmfo+xX2MvzT1kGY2d3Q56Rdsa1l+WWmhxmgEw8Zy1si09RR1C?= =?us-ascii?q?fDtLj3NlJIFLvUDwMw/RU8oKzGaC4g4Y+SzWdrLaS/rj7F3ZQuGfchzRGjOdxY?= =?us-ascii?q?NfHdTVOgI4ghH8GrbdcStR2xdBtdZbJX+L5yNsjgavjUgKM=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BhCQAWhTddh2UAayhmDoMgLy4iXBRyA?= =?us-ascii?q?wQLKgqNDohPnH0DVAEIAQMBCwEjCgIBAYRAAoJqBgEENBMBAwEBBAEBAgEDAwE?= =?us-ascii?q?TAQEBCA0JCCmFJQyCOiKCcxQLIwEBJhIRAYEAJwQBEggagwABgR1NAx4CAQufR?= =?us-ascii?q?CwCgTiIXwEBgiKCeQEBBYEFAQGEAhggIROBPwMGgTSNNj+BV4MKgQSBXQOBPSU?= =?us-ascii?q?rgxCCJpN2fpVzBwKCG4ZYiGSEa4IthyWOOI01h0iQCAIEAgQFAhAFgWeBeTMaN?= =?us-ascii?q?IMrgUqBEoNXhRSFBAQBNkExgSmNAwGBIAEB?= X-IPAS-Result: =?us-ascii?q?A0BhCQAWhTddh2UAayhmDoMgLy4iXBRyAwQLKgqNDohPnH0?= =?us-ascii?q?DVAEIAQMBCwEjCgIBAYRAAoJqBgEENBMBAwEBBAEBAgEDAwETAQEBCA0JCCmFJ?= =?us-ascii?q?QyCOiKCcxQLIwEBJhIRAYEAJwQBEggagwABgR1NAx4CAQufRCwCgTiIXwEBgiK?= =?us-ascii?q?CeQEBBYEFAQGEAhggIROBPwMGgTSNNj+BV4MKgQSBXQOBPSUrgxCCJpN2fpVzB?= =?us-ascii?q?wKCG4ZYiGSEa4IthyWOOI01h0iQCAIEAgQFAhAFgWeBeTMaNIMrgUqBEoNXhRS?= =?us-ascii?q?FBAQBNkExgSmNAwGBIAEB?= X-IronPort-AV: E=Sophos;i="5.64,300,1559512800"; d="scan'208,217";a="393060174" X-MGA-submission: =?us-ascii?q?MDE+emxEmFUbBF4GUQ+hcuZVGN8ISVLBJNOQPK?= =?us-ascii?q?PmxYpRfMUYuoMZQIx3+s9Mn3wQgCa5CjJpcWpHV5qskVfdFM5Mh3d9lp?= =?us-ascii?q?vireq6TElOGYeQGsN/4OSf7EC9LPNwLHuysgn/YKr7nFBRg1sPkOwVtg?= =?us-ascii?q?uGehoE76pOID7ItBbQlahk7Q=3D=3D?= Received: from mail-eopbgr00101.outbound.protection.outlook.com (HELO EUR02-AM5-obe.outbound.protection.outlook.com) ([40.107.0.101]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA256; 24 Jul 2019 00:09:30 +0200 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=of+0ABOTOPm/JhMy7AC+ZTBjoU9SdeyoYU7zh5R7SjwCM7VJM1bKO5dxWmBKXFrU+QZQGJjgsYEiQJzZUMGUMJ5UTOeJDBWI2hNmvhVVnlZNODAaG/Y4hjdHYd+mG5d3jxKZlfNHJ6ELdxxv/0vpHYQ9AicRbUe6Xaji35eYW8j1zesjl2hGX6r0kcaw1/3gT4N+aOz9qf7cFmjStwalaNoUvZ2Km58sU8s3yIUQh478P0sacFRWmAAF4Z8ft7bNADFyz8CS2ThyvvOwKvfJdiFwnNeIRgtkfeTxR2dXw1lLwgcWf+wKezbSCOj1efIxkHDfI1dNL6/90ebyDgDjGQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=BrSZiXZ466y8ra4XYD0y+NhDey9QWyPLTlkEVSs7ygs=; b=DK3vDUatd/9Dr1DvWGgc0K3RY8TGO1WeCNrf4GAcjnncaW7PyaXd6213whARuy1XNsScHMGjZu0fiKRpD1lKbNN6J8bl4kWX+9HPkANkeV8JmgBS47uG/gI+PCFUn9McTqu7F0wWYmeKHXX5rwke++tWPrE+sfnkiRlol/nuN6w/Y4iR1FhYNBck5QDGR7ipt0BYiQKOzdwHszLaIYFo85n/TSi5FMsQxOT3gam6660dncx9f2tF2AmgbniM7d84XcBv9KER7CgsDK+NuOZ3ch8vk4ieKbkvJO81jDess9Zj19f7sixRtfQRwgb479D1Glo+J3zFQfFLIVp0W3UDBg== ARC-Authentication-Results: i=1; mx.microsoft.com 1;spf=pass smtp.mailfrom=mdx.ac.uk;dmarc=pass action=none header.from=mdx.ac.uk;dkim=pass header.d=mdx.ac.uk;arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=livemdxac.onmicrosoft.com; s=selector2-livemdxac-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=BrSZiXZ466y8ra4XYD0y+NhDey9QWyPLTlkEVSs7ygs=; b=wk0ktjzDWEfap/gzKxLTZxnZaHIzEhV+kZnAYYtRozcV0qDinJPNAFksnYG3jXOTO5zCoEk6oA+RBjFx5WvhymiAuiTdVaf9y59FXeug43SgyyiG2VX85YokS+PBEVU6czBefioFS3nsabt2IIhdmzsUgsMzDP5wZQGTgA6mp78= Received: from VI1PR01MB4240.eurprd01.prod.exchangelabs.com (20.177.53.81) by VI1PR01MB4351.eurprd01.prod.exchangelabs.com (20.177.53.161) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2094.16; Tue, 23 Jul 2019 22:09:28 +0000 Received: from VI1PR01MB4240.eurprd01.prod.exchangelabs.com ([fe80::f557:f979:344a:4dfa]) by VI1PR01MB4240.eurprd01.prod.exchangelabs.com ([fe80::f557:f979:344a:4dfa%4]) with mapi id 15.20.2094.013; Tue, 23 Jul 2019 22:09:28 +0000 From: Andrei Popescu To: "pvs@csl.sri.com" , "types-announce@lists.seas.upenn.edu" , "agda@lists.chalmers.se" , "appsem@lists.tcs.ifi.lmu.de" , "asl@vassar.edu" , "caml-list@inria.fr" Thread-Topic: FroCoS 2019 and TABLEAUX 2019 (London, September 2-6): call for participation Thread-Index: AQHVQaLXFHUsCGMkxEWt1f5BGj/M8g== Date: Tue, 23 Jul 2019 22:09:28 +0000 Message-ID: Accept-Language: en-GB, en-US Content-Language: en-GB X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [85.255.236.236] x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: fd83d836-cfe1-4255-b941-08d70fba6e2a x-microsoft-antispam: BCL:0;PCL:0;RULEID:(2390118)(7020095)(4652040)(8989299)(4534185)(4627221)(201703031133081)(201702281549075)(8990200)(5600148)(711020)(4605104)(1401327)(2017052603328)(7193020);SRVR:VI1PR01MB4351; x-ms-traffictypediagnostic: VI1PR01MB4351: x-ms-exchange-purlcount: 3 x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:10000; x-forefront-prvs: 0107098B6C x-forefront-antispam-report: SFV:NSPM;SFS:(10019020)(6029001)(4636009)(39860400002)(396003)(136003)(366004)(376002)(346002)(199004)(189003)(54896002)(6306002)(3846002)(86362001)(53936002)(236005)(68736007)(9686003)(6606003)(26005)(1015004)(476003)(6116002)(33656002)(66066001)(25786009)(6436002)(786003)(66476007)(316002)(55016002)(7696005)(66446008)(256004)(66946007)(2906002)(66556008)(2501003)(606006)(19627405001)(186003)(110136005)(102836004)(966005)(14454004)(76116006)(2171002)(6506007)(2201001)(99286004)(66574012)(64756008)(71200400001)(71190400001)(8676002)(8936002)(81166006)(74316002)(5660300002)(52536014)(81156014)(7736002)(478600001)(486006);DIR:OUT;SFP:1102;SCL:1;SRVR:VI1PR01MB4351;H:VI1PR01MB4240.eurprd01.prod.exchangelabs.com;FPR:;SPF:None;LANG:en;PTR:InfoNoRecords;A:1;MX:1; x-ms-exchange-senderadcheck: 1 x-microsoft-antispam-message-info: VgX9ZaRA8z04dD1B5VxuGCwwiGq7O9ERPXeFnZib8N/3yXDiYHHb+qdN8rXXsS3ECzHYrgDRURdlxgb1S8sB+jkq7snF5E13a1VMsNnhY5SNgEAQoAJsF+Pn+t68FSaW/gUftnH89TVsDUmg5AYdIMrpWjRSUZZty9jdx0nqzkE3Yd2brCGy+zuz9Kmteg9lDfOLKOmLdX5F+KWhOgnQ+oz7p/NpBn/XfzMkntaWvxvhWveCUC3dGLIvrSLKEzBFQOLy9KPoQhI1eTWjOn1WvxFlYglYkii8GXYqLR4iKdV8xMKh1u03hC8bp+FN+56vtyNwoMvC7HT60ay59/zka+lQgzuXuJ8Btz/ft5cBr3Od7v28MnflfB3QJoSoj3mlM/InBbHDdFW9dDG9jC0Y0JT3dfF/74etiV3rrbv5Xcg= Content-Type: multipart/alternative; boundary="_000_VI1PR01MB424027F08EEC30AD6C5791E4B7C70VI1PR01MB4240eurp_" MIME-Version: 1.0 X-OriginatorOrg: mdx.ac.uk X-MS-Exchange-CrossTenant-Network-Message-Id: fd83d836-cfe1-4255-b941-08d70fba6e2a X-MS-Exchange-CrossTenant-originalarrivaltime: 23 Jul 2019 22:09:28.0663 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 38e37b88-a3a1-48cf-9f05-6537427fed24 X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: A.Popescu@mdx.ac.uk X-MS-Exchange-Transport-CrossTenantHeadersStamped: VI1PR01MB4351 X-Validation-by: a.popescu@mdx.ac.uk Subject: [Caml-list] FroCoS 2019 and TABLEAUX 2019 (London, September 2-6): call for participation Reply-To: Andrei Popescu X-Loop: caml-list@inria.fr X-Sequence: 17699 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: --_000_VI1PR01MB424027F08EEC30AD6C5791E4B7C70VI1PR01MB4240eurp_ Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable The 2019 editions of FroCoS (the 12th International Symposium on Frontiers = of Combining Systems) and TABLEAUX (the 28th International Conference on Au= tomated Reasoning with Analytic Tableaux and Related Methods), as well as t= heir affiliated workshops and tutorials will take place in London, at Middl= esex 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 ac= commodation (including affordable accommodation for budget-constrained part= icipants), and on the sites and activities that can be enjoyed in the Middl= esex University's beautiful campus, is available from the conferences' webs= ites: 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-Constr= ucting 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 Alexand= er Bolotov and Florian Kammueller * Journeys in Computational Logic: Tributes to Roy Dyckhoff, organized by S= tephane 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 (invi= ted 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 Londo= n. Best wishes, Serenella Cerrito, Andreas Herzig, Andrei Popescu and Franco Raimondi (program chairs and local organizers) --_000_VI1PR01MB424027F08EEC30AD6C5791E4B7C70VI1PR01MB4240eurp_ Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable

The 2019 editions of FroCoS (the 12th I= nternational Symposium on Frontiers of Combining Systems) and TABLEAUX (the= 28th International Conference on Automated Reasoning with Analytic Tableau= x and Related Methods), as well as their affiliated workshops and tutorials will take place in London, at Middlesex University, on the week of S= eptember 2-6.


This year we have an exciting program of contributed and invited talks, = and affiliated events. Please see

https://tabl= eaux2019.org/Program_FroCoS_TABLEAUX_2019.pdf 

for detailed program information. Moreover, information on traveling and= accommodation (including affordable accommodation for budget-constrained p= articipants), and on the sites and activities that can be enjoyed in the Mi= ddlesex 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 websit= es. 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<= /p>

* Stephane Graham-Lengrand. Recent and Ongoing Developments of Model-Con= structing Satisfiability

* Stephane Graham-Lengrand and Sara Negri. Remembering Roy Dyckhoff

* Uli Sattler. Modularity and Automated Reasoning in Description Logics<= /p>


AFFILIATED WORKSHPS

* The 25th Workshop on Automated Reasoning (ARW 2019), organized by Alex= ander Bolotov and Florian Kammueller

* Journeys in Computational Logic: Tributes to Roy Dyckhoff, organized b= y Stephane Graham-Lengrand, Ekaterina Komendantskaya and Mehrnoosh Sadrzade= h


AFFILIATED TUTORIALS

* Formalising Concurrent Computation: CLF, Celf, and Applications by Son= ia Marin, Giselle Reis and Iliano Cervesato

* How to Build an Automated Theorem Prover---An Introductory Tutorial (i= nvited TABLEAUX tutorial) by Jens Otten.


For any questions, please contact the organizers at chair@tableaux2019.o= rg or chair@frocos2019.org. We hope to see many of you this September in Lo= ndon.


Best wishes,

Serenella Cerrito, Andreas Herzig, Andrei Popescu and Franco Raimondi

(program chairs and local organizers)


--_000_VI1PR01MB424027F08EEC30AD6C5791E4B7C70VI1PR01MB4240eurp_--