caml-list - the Caml user's mailing list
 help / color / Atom feed
From: Andrei Popescu <A.Popescu@mdx.ac.uk>
To: "coq-club@inria.fr" <coq-club@inria.fr>,
	"fom@cs.nyu.edu" <fom@cs.nyu.edu>,
	"matryoshka-devel@lists.gforge.inria.fr"
	<matryoshka-devel@lists.gforge.inria.fr>,
	"pvs@csl.sri.com" <pvs@csl.sri.com>,
	"types-announce@lists.seas.upenn.edu"
	<types-announce@LISTS.SEAS.UPENN.EDU>,
	"agda@lists.chalmers.se" <agda@lists.chalmers.se>,
	"appsem@lists.tcs.ifi.lmu.de" <appsem@lists.tcs.ifi.lmu.de>,
	"asl@vassar.edu" <asl@vassar.edu>,
	"caml-list@inria.fr" <caml-list@inria.fr>,
	"categories@mta.ca" <categories@mta.ca>,
	"eutypes@cs.ru.nl" <eutypes@cs.ru.nl>,
	"finite-model-theory@lists.rwth-aachen.de"
	<finite-model-theory@lists.rwth-aachen.de>,
	"GAMES@lists.rwth-aachen.de" <GAMES@lists.rwth-aachen.de>,
	"linear@cs.stanford.edu" <linear@cs.stanford.edu>,
	"prog-lang@diku.dk" <prog-lang@diku.dk>,
	"ProofTheory@Lists.Bath.Ac.UK" <ProofTheory@Lists.Bath.Ac.UK>,
	"rewriting@ens-lyon.fr" <rewriting@ens-lyon.fr>,
	"theorem-provers@ai.mit.edu" <theorem-provers@ai.mit.edu>
Subject: [Caml-list] 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
Message-ID: <VI1PR01MB424039B8FF7FD95A4E615605B7A80@VI1PR01MB4240.eurprd01.prod.exchangelabs.com> (raw)

[-- Attachment #1: Type: text/plain, Size: 2199 bytes --]

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)


[-- Attachment #2: Type: text/html, Size: 3706 bytes --]

<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<div style="margin: 0px; font-family: &quot;Segoe UI&quot;, &quot;Segoe UI Web (West European)&quot;, &quot;Segoe UI&quot;, -apple-system, BlinkMacSystemFont, Roboto, &quot;Helvetica Neue&quot;, sans-serif; color: rgb(50, 49, 48); caret-color: rgb(50, 49, 48); background-color: rgb(255, 255, 255)">
</div>
<div><span style="background: var(--white);">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 </span>tutorials<span style="background: var(--white);"> will take place in London, at Middlesex University, on the week of September 2-6.</span><br>
</div>
<div><br>
</div>
<div>This year we have an exciting program of contributed and invited talks, and affiliated events. Please see<br>
</div>
<div><a href="https://tableaux2019.org/Program_FroCoS_TABLEAUX_2019.pdf" id="LPNoLP367293">https://tableaux2019.org/Program_FroCoS_TABLEAUX_2019.pdf</a>&nbsp;<br>
</div>
<div>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:<br>
</div>
<div><a href="https://frocos2019.org" id="LPNoLP203593">https://frocos2019.org</a>&nbsp; and &nbsp;<a href="https://tableaux2019.org" id="LPNoLP989932">https://tableaux2019.org</a>&nbsp;</div>
<div><span style="background: var(--white);">Information on registration and fees is also available from these websites. The deadline for early registration is August 21st, 2019.</span><br>
</div>
<div><br>
</div>
<div>INVITED TALKS<br>
</div>
<div>* Jeremy Avigad. Automated Reasoning for the Working Mathematician<br>
</div>
<div>* Maria Paola Bonacina. Conflict-Driven Reasoning in Unions of Theories<br>
</div>
<div>* Stephane Graham-Lengrand. Recent and Ongoing Developments of Model-Constructing Satisfiability<br>
</div>
<div>* Stephane Graham-Lengrand and Sara Negri. Remembering Roy Dyckhoff<br>
</div>
<div>* Uli Sattler. Modularity and Automated Reasoning in Description Logics<br>
</div>
<div><br>
</div>
<div>AFFILIATED WORKSHOPS<br>
</div>
<div>* The 25th Workshop on Automated Reasoning (ARW 2019), organized by Alexander Bolotov and Florian Kammueller<br>
</div>
<div>* Journeys in Computational Logic: Tributes to Roy Dyckhoff, organized by Stephane Graham-Lengrand, Ekaterina Komendantskaya and Mehrnoosh Sadrzadeh<br>
</div>
<div><br>
</div>
<div>AFFILIATED TUTORIALS<br>
</div>
<div>* Formalising Concurrent Computation: CLF, Celf, and Applications by Sonia Marin
<br>
</div>
<div>* How to Build an Automated Theorem Prover -- An Introductory Tutorial (invited TABLEAUX tutorial) by Jens Otten
<br>
</div>
<div><br>
</div>
<div>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.<br>
</div>
<div><br>
</div>
<div>Best wishes,<br>
</div>
<div>Serenella Cerrito, Andreas Herzig, Andrei Popescu and Franco Raimondi<br>
</div>
<div>(program chairs and local organizers)<br>
</div>
<span></span><br>
</div>
</body>
</html>

                 reply index

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publically to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=VI1PR01MB424039B8FF7FD95A4E615605B7A80@VI1PR01MB4240.eurprd01.prod.exchangelabs.com \
    --to=a.popescu@mdx.ac.uk \
    --cc=GAMES@lists.rwth-aachen.de \
    --cc=ProofTheory@Lists.Bath.Ac.UK \
    --cc=agda@lists.chalmers.se \
    --cc=appsem@lists.tcs.ifi.lmu.de \
    --cc=asl@vassar.edu \
    --cc=caml-list@inria.fr \
    --cc=categories@mta.ca \
    --cc=coq-club@inria.fr \
    --cc=eutypes@cs.ru.nl \
    --cc=finite-model-theory@lists.rwth-aachen.de \
    --cc=fom@cs.nyu.edu \
    --cc=linear@cs.stanford.edu \
    --cc=matryoshka-devel@lists.gforge.inria.fr \
    --cc=prog-lang@diku.dk \
    --cc=pvs@csl.sri.com \
    --cc=rewriting@ens-lyon.fr \
    --cc=theorem-provers@ai.mit.edu \
    --cc=types-announce@LISTS.SEAS.UPENN.EDU \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

caml-list - the Caml user's mailing list

Archives are clonable:
	git clone --mirror http://inbox.vuxu.org/caml-list
	git clone --mirror https://inbox.ocaml.org/caml-list

Example config snippet for mirrors

Newsgroup available over NNTP:
	nntp://inbox.vuxu.org/vuxu.archive.caml-list


AGPL code for this site: git clone https://public-inbox.org/public-inbox.git