coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] FroCoS-12 and TABLEAUX-28, London, September 2-6: second call for participation (early registration closes on August 21)

From: Andrei Popescu <A.Popescu AT mdx.ac.uk>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>, "fom AT cs.nyu.edu" <fom AT cs.nyu.edu>, "matryoshka-devel AT lists.gforge.inria.fr" <matryoshka-devel AT lists.gforge.inria.fr>, "pvs AT csl.sri.com" <pvs AT csl.sri.com>, "types-announce AT lists.seas.upenn.edu" <types-announce AT LISTS.SEAS.UPENN.EDU>, "agda AT lists.chalmers.se" <agda AT lists.chalmers.se>, "appsem AT lists.tcs.ifi.lmu.de" <appsem AT lists.tcs.ifi.lmu.de>, "asl AT vassar.edu" <asl AT vassar.edu>, "caml-list AT inria.fr" <caml-list AT inria.fr>, "categories AT mta.ca" <categories AT mta.ca>, "eutypes AT cs.ru.nl" <eutypes AT cs.ru.nl>, "finite-model-theory AT lists.rwth-aachen.de" <finite-model-theory AT lists.rwth-aachen.de>, "GAMES AT lists.rwth-aachen.de" <GAMES AT lists.rwth-aachen.de>, "linear AT cs.stanford.edu" <linear AT cs.stanford.edu>, "prog-lang AT diku.dk" <prog-lang AT diku.dk>, "ProofTheory AT Lists.Bath.Ac.UK" <ProofTheory AT Lists.Bath.Ac.UK>, "rewriting AT ens-lyon.fr" <rewriting AT ens-lyon.fr>, "theorem-provers AT ai.mit.edu" <theorem-provers AT ai.mit.edu>
Subject: [Coq-Club] FroCoS-12 and TABLEAUX-28, London, September 2-6: second call for participation (early registration closes on August 21)
Date: Mon, 19 Aug 2019 13:30:02 +0000
Accept-language: en-GB, en-US
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
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=CtBepG6/q7L5oNxXH3cixCG7S0JpSrBW6/daZAewqY8=; b=OAa7dquO3OWVDicOrUIdduuerJEAYQ+tjzczLsRR8e1eC+CvygQmP95O1gjXslsoGdE7jX/6/1/oqgUQkMC6F6B+5IZrJ7Q3LsInRiNXGVgQ/CtY70Yi7XxOQZbcsPelttMP6fGxG/V56FeIds5J4PL1rWhI2ni8X8Jd60N8NVSBMUMoR+ZC+6O4tLiIbhIdgjAZjM6rtlRRCH7BFS0FSjJIjabfttir9yeU62IlAZrpmKunCSqABbK+UoV63ptc0tJtloDmOYeH7/NBFHv5SESGiD1pHbH/yD4FuGk9d9rjhlBYAaYulCMI7UiZj+JaXHkMiUtKhoAwwyhOhYLCvA==
Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=GBtbpjTBgx9J/8CyTopnYZPBIGGsLaaEVUBmOUglTIdyh2TtmE5Hx247gacPvFGc21+pBX450V1T0q4pmqAqYVwJTaBPL4GiUdtBjbtCd5RohxOUj3hahU/T0Sftn/gU5YyChc/7z6mKTuzGUbjC57O60liyEtbPfbYgma/50/oN7f2YMENr7En90V255sfl7exZd58kaWZwuHJug1ciXmstPMfFKCE713THF0lzBvaZwkAzO11c84jvTFHzhaz0HFGVQzeUITpvgU4uBvxLNmxXt/10JecE7Mws3OpSsfeYh59KyrQ8Edi2n99/l0c9HC6nMj9schz9rAxg3yQY6w==
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=A.Popescu AT mdx.ac.uk; spf=Pass smtp.mailfrom=A.Popescu AT mdx.ac.uk; spf=Pass smtp.helo=postmaster AT EUR03-DB5-obe.outbound.protection.outlook.com
Ironport-phdr: 9a23:0q0WFxbBsgcjX/v8gUVY9yD/LSx+4OfEezUN459isYplN5qZpsSzbR7h7PlgxGXEQZ/co6odzbaP6ea5Aj1Lv8zJmUtBWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV6OPn+FJLMgMSrzeCy/IDYbxlViDanbr5+MQu6oR/MusQYhYZuJac8xgXUqXZUZupawn9lK0iOlBjm/Mew+5Bj8yVUu/0/8sNLTLv3caclQ7FGFToqK2866tHluhnFVguP+2ATUn4KnRpSAgjK9w/1U5HsuSbnrOV92S2aPcrrTbAoXDmp8qlmRAP0hCoBKjU09nzchM5tg6JBuB+vpwJxzZPIYI+bN/R+f7/SctwBSGVbQspdSzZMDp+gY4cSCecKIOZWr5P6p1sLtRazGQ+sC/71yjBWh3/9wLc00+M5EQ7YxwwvA88Ou2nTodjpLqscS+e1zLHWwjXYc/xWxCzw6I3VfREuu/2DR65/fdDMyUksDg7IiEibp4LiPzOQzOsNsm6b4vJuVeK1jG4otwZxoiOxysswl4XEgpgZylfe9SV22Io1Oce3R1V/YdG6CpRQqi6bO5VqTs8/R2xkoiE6yqcJuZO9YSMEy4wnygbQZvCbaYSE/w7vWeSLLTp3nn5ofL2yiw6x/EWg0OHwSMm53VZQoiZbnNTBuGoB2wLX58SfRPty4ESs1SqK2g3W6uxLPEQ5mrfeJpMgxrM/i4ccvEHNHiL0hEn7g6qbeV8r9+Wm6enqZKjtqIWGOI9ukA7+N7wjmsyhDuQ8NQgDR2eV9uqg2rH/80D1WbtEg+A2n6XAt5DVPtoUqrS+Aw9IzoYs8BG/Dyqg0NsFh3UHNEhFeBWbj4f3J17OPPH4DfC5g1i2lzdr2uzGPrnmApXKLXjPiqvufbF460JEyQozy85Q545MB7wOPP7/QFL9uMDaAxMjPAG42eLqBdpl2oMbQ22PA6uZMK3IsV+P4+IiO/WBaJUPtjb6M/gq+eXugmMkmVIGeKmmwJQWZGqiEft6OUmZfHnsjs8bEWgWpgo+UPDqiFqaXDFPYHayRrsw6S0/CIK7FojOXZutgbyE3CejBJJafGFGClaWEXfpbYqIQfkMaDiKKM97jjMETaShS5Mm1Ry2qAD10b9nLu7N9i0ctJLjz8R16vbIlRAy8Dx0F96S33uMT2FyhGMIRiU50LpxoUxnmR+/1v0yiPtBUNdX+vlhUwEgNJeawfYwQ4T5XRuEddOUQn6nRM+nCHc/VIR1i5UAZENVEM7kiAHemSemHvVdw7KMAbQ/6eTazmW3KspgnTKOnqwok0M3RdBPNmTjiqNh+gz7A4/Sj17fmKitb6sRmi/L7maKi2SU9gkMVQdsS7TCRnAcbw7aoMr04mvGTqSyEvIoPAxbxsPEK61Qa9Svg08QAL+pIMrFS2mqnyGrHxfOzbSJJsK+Y3sG9C7GDA4fiQFV9nGDY0x2TDuwu2/FSTVoE1XyZUjh2e1/s2+gCFQ5xhrMclVs0bzz9xIIz7TIV+IL06lBsSEnrChyF1uV+/PtN+HGnCdIR+NhWf4bxhFq+V+P80Q3N5OsJohmh0UCaEJ8v0rq0hhtEcNbnIJi+HolwANaLaODzEgHfDOR2ZX9IKaRMWSkuFjlYrbOwVzb+NKX4bsUrugzsBPisgDvEk8/tXlqmZEB2mOE/ZjPJA4TSo7qFFo87F57qbCcZiwgoY/Zgzkke6Cvthfc0skyDfFjxxq9NZ8LObiAPBH7CNYTHY6jJPF83xDjZRsBOKVW9bUoF8KgbfqPnqCxdq40lzujiSFD4Zth+kOK7St1DODSidJNifqRwgaIUC39gUyJt9z+34tNL3lGFWOjxCfjHo9cfYV3YY9NAm74Z4X9y8hilobgQFZT7xi5GhUA3IXhLRePc03l0BZ43l9Ru2Hhny/ui3Q+nTAvr7aSmSnJz+nmMQYHN2lRVUFmjEzwOs6ukMwaGUGhZAgkkl2p6Ayyk6ZaoqVjIizWRktFe23qL2xlSLqYsruZf9UJ8ow0sWBeWe+8bFbcRrOr51NQ/ArGMlB2wDEgayrsoIrln1lzgWmdIXA1oHeTMZVf7DLy3/TYROVNxXwcWzV4zDDeDVixOZ+l8IPQ393Hs+azXniJXYYVajXiy42Hrif96GF3S1Xrm/G1l9T9OQMhlzTn3t9kUj/E6hvwf9+vn+6iK+VoO01hAlDU58t5B8dykcF40IkK3ndfgpyT8lILkGTud9lYj+a2JkIXQjkF/97Y5xL08GliNW6SgajwSnXb68AnWvrwKjcuwCU64fxKBaCO/ZRgnDBpuRySpB7RJ9F22Ao+n79momQXnPsIpAsrwQ2QBKtXGVhfO2rijV7Au8qzs79WeGepfpC90lE7mcGmCveMuFcYEDzlepolByJ1q91lN0zBymbb44CifdjMK98fq1fcxwvAgu9PJZd0juANmyd9Ikr0vDsgyvJ9gBBzi8KUpo+Cfkxr8Li0A1ZgMSX4fMgOsmXEy55ZhsuN1J2HG5lxXDwAGobrG6H7WAkOvOjqYl7dWAY3rW2WTOKGTF2vrXx+pneKKKiFcnSeJX0X19JnHUDPIUBPxgkfGig5zMdgSlKagff5eUI83Qg/o0bio0IVmOdkJ1/2WSHCp1XwM2pmeN2kNBNTqzp6yQLVPMiZsr0hMhxipsbkgCbQb2uRakJPEH0DXVGCCxb7JL6y6NLc8u+eQO2jM//JZrbIoutbBa6F

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 AT tableaux2019.org or chair AT 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)

[Coq-Club] FroCoS-12 and TABLEAUX-28, London, September 2-6: second call for participation (early registration closes on August 21), Andrei Popescu, 08/19/2019