caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Ekaterina Komendantskaya <komendantskaya@gmail.com>
To: Ekaterina Komendantskaya <e.komendantskaya@hw.ac.uk>
Cc: "Stéphane Graham-Lengrand" <stephane.graham-lengrand@csl.sri.com>,
	"Mehrnoosh Sadrzadeh" <mehrnoosh.sadrzadeh@qmul.ac.uk>,
	a.popescu@mdx.ac.uk
Subject: [Caml-list] Journeys in Computational Logic: Tributes to Roy Dyckhoff : CFP
Date: Mon, 22 Jul 2019 11:50:56 +0100	[thread overview]
Message-ID: <CAEQEJx+COA0FuOg-rsxo-EBapXzGRGH_tp7bFAghBtokFoeqLw@mail.gmail.com> (raw)

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

CALL FOR PARTICIPATION

Journeys in Computational Logic: Tributes to Roy Dyckhoff

at TABLEAUX 2019, the 28th International Conference on Automated Reasoning
with Analytic Tableaux and Related Methods, Middlesex University, London

https://tableaux2019.org/

Main conference: 3 September to 5 September 2019

Journeys in Computational Logic: 3 September 2019

Roy Dyckhoff (1948 - 2018)  worked in logic and proof theory, having begun
his career as a topologist and category theorist (for which one of his
thesis advisors was Dana Scott). Much of his work concerned various aspects
of intuitionistic logic, but he also contributed to work in programming
languages, type theory, natural language processing, and model checking.

The event will commemorate and celebrate Roy’s work, by speakers who have
crossed paths with Roy, and/or whose work or scientific views have been
influenced by him.

The workshop will follow the Tableaux invited talks by Sara Negri and
Stéphane Graham-Lengrand, also dedicated to Roy’s work and contribution to
the field.

The list of contributors is as follows:

Marta Bilkova

Alessio Guglielmi

Jacob Howe

Jael Kriener

James McKinna

Mehrnoosh Sadrzadeh

Peter Schroeder-Heister

Christian Urban


SOCIAL EVENT

The workshop will be followed by the Tableaux welcome reception.

ORGANISERS

If you have any questions, or wish to contribute a talk, please contact the
organisers:

Ekaterina Komendantskaya: http://www.macs.hw.ac.uk/~ek19/

Stephane Graham-Lengrand: http://www.csl.sri.com/users/sgl/

Mehrnoosh Sadrzadeh: https://msadrzadeh.com/

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

                 reply	other threads:[~2019-07-22 10:52 UTC|newest]

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

Reply instructions:

You may reply publicly 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=CAEQEJx+COA0FuOg-rsxo-EBapXzGRGH_tp7bFAghBtokFoeqLw@mail.gmail.com \
    --to=komendantskaya@gmail.com \
    --cc=a.popescu@mdx.ac.uk \
    --cc=e.komendantskaya@hw.ac.uk \
    --cc=mehrnoosh.sadrzadeh@qmul.ac.uk \
    --cc=stephane.graham-lengrand@csl.sri.com \
    /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
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).