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 9CC795D5 for ; Mon, 22 Jul 2019 10:52:06 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.64,294,1559512800"; d="scan'208,217";a="392834011" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 22 Jul 2019 12:52:05 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 4D6D08270D; Mon, 22 Jul 2019 12:52:05 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 9572B826E1 for ; Mon, 22 Jul 2019 12:51:52 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=komendantskaya@gmail.com; spf=Pass smtp.mailfrom=komendantskaya@gmail.com; spf=None smtp.helo=postmaster@mail-io1-f67.google.com IronPort-PHdr: =?us-ascii?q?9a23=3A4OhMJBDALWcj49UmKb0YUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSPX9pcbcNUDSrc9gkEXOFd2Cra4d0ayJ7+u7ASQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9HiTagf79+Nhe7oAreusQYnYdpN7o8xAbOrnZUYe?= =?us-ascii?q?pd2HlmJUiUnxby58ew+IBs/iFNsP8/9MBOTLv3cb0gQbNXEDopPWY15Nb2tRbY?= =?us-ascii?q?VguA+mEcUmQNnRVWBQXO8Qz3UY3wsiv+sep9xTWaMMjrRr06RTiu86FmQwLzhS?= =?us-ascii?q?wZKzA27n3Yis1ojKJavh2hoQB/w5XJa42RLfZyY7/Rcc8fSWdHQ81fVTFOApmk?= =?us-ascii?q?YoQAD+QPM+VWoZTjqVQSsBazHhOjCP/1xzJSmnP6wa833uI8Gg/GxgwgGNcOvW?= =?us-ascii?q?zbotX2LqgSTf66zLPJzTXFdfxdxDLz6I/Nch8/p/GDQKh/cczNyUk0FAPKlFWR?= =?us-ascii?q?ppb4ND6S1eQNtG2b4PRmVe2ykWEnrR1xoiOsxsg2iojGnJkYyl/B9SpjwYY1Ic?= =?us-ascii?q?e0R1J8Yd6hCZZdsTyROYVxQsMnWW5ouSA6x6UduZ6hfSgG0ogoxxnaa/CfdoiI?= =?us-ascii?q?+QjsW/uLITZ5nn1qZaywhxao/Ue8ze38U9G430xWoSZfiNXMq3MN2wTT6smJUP?= =?us-ascii?q?dy5Fuu1SyS1wDQ8u1EPVo7mrHfK5E/2LEwi5USvVrfEiPrnEj6lqiWdl8r+uWu?= =?us-ascii?q?9u/pYa3mq4eCO4NojgzyKKcjl8ylDeglMwUDXnKX9OW+2bDl4Eb3Wq9Fjucsna?= =?us-ascii?q?ncqJ3aJdoUpqq+AwJN14Ys8Re/DzO/3NQZmnkLMUtJeByGgoXrIV3OL/f4DfCw?= =?us-ascii?q?g1Sojjhn3ezJPrrkApnVL3jDlqnufapl5kJC1AY+ycpT6pFUB70bPf7+W078uM?= =?us-ascii?q?bZAxI7KwC0xvzoCNR51oMQQ2KPBaqZPbvRsV+P4+IgPe+Ma5IPtzb7N/gl/P3u?= =?us-ascii?q?gmU5mFAHZqSp0p4XZ2q5HvRiOUmWfX3sgtIZHWcQogU+VPDqiEGFUTNLe3m9Ra?= =?us-ascii?q?c85jUiBIKiDIfDXZytjaea3Ca7G51WfnpJBkqNEXfubYWEWu0DZDicIs97wXQ4?= =?us-ascii?q?Uu2MSIY92Auvsgay6L1iI+zY8ysErpHqxdE9s+CVlhY3+Dp4BsKByGKEXmhcnn?= =?us-ascii?q?xOTjRwwaMp8mJnzVLW/Ktxn/FCFNpar9BOVwo8OZfa0/d5AsH7ElbCedKETlqv?= =?us-ascii?q?RMm9AjggR/o+xtYPZwB2HND03UOL5DajH7JAz+/DP5cz6K+JmiGpf58smUaD77?= =?us-ascii?q?EoihwdeuUKMGSngqBl8A2KXtzGlkyYk+ChcqFOhXeRplfG9nKHuQRjaCA1Sb/M?= =?us-ascii?q?BClNaU7frNC/7UTHHef3VOYXdzBZwMvHEZNkL93kiVIcGaXmMdXaJmO2wiK+W0?= =?us-ascii?q?nOybSLY47nPW4a2XeFBQ=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BmBADRlDVdf0OmVdFlDgiDGFgFTUUOQ?= =?us-ascii?q?zMqhB2BHUKCHI4ZlQqHfgkBAwEMBRoQAQGDCYE3gl8bBwEENBMBAwEBBAEBAgE?= =?us-ascii?q?DAwETAQEJCwsIJ4UnDII6KQGDCgYdARsMEQEDEgMNAzQCJAERAQUBIoJqSwGBa?= =?us-ascii?q?QEDHQ+ORZAOPIshgRUFAReCegWEOwoZJw1igTwCBxKBIotfF4F/hGGCSIFZUIJ?= =?us-ascii?q?eglgEqmMJPoFdA4IchDmNNBuCLYcljjiJNokqgT1ggl2Be4tJDyGBRoF5cFAxg?= =?us-ascii?q?jsJhiqFFIJmgh48QTABj2YBAQ?= X-IPAS-Result: =?us-ascii?q?A0BmBADRlDVdf0OmVdFlDgiDGFgFTUUOQzMqhB2BHUKCHI4?= =?us-ascii?q?ZlQqHfgkBAwEMBRoQAQGDCYE3gl8bBwEENBMBAwEBBAEBAgEDAwETAQEJCwsIJ?= =?us-ascii?q?4UnDII6KQGDCgYdARsMEQEDEgMNAzQCJAERAQUBIoJqSwGBaQEDHQ+ORZAOPIs?= =?us-ascii?q?hgRUFAReCegWEOwoZJw1igTwCBxKBIotfF4F/hGGCSIFZUIJeglgEqmMJPoFdA?= =?us-ascii?q?4IchDmNNBuCLYcljjiJNokqgT1ggl2Be4tJDyGBRoF5cFAxgjsJhiqFFIJmgh4?= =?us-ascii?q?8QTABj2YBAQ?= X-IronPort-AV: E=Sophos;i="5.64,294,1559512800"; d="scan'208,217";a="314340946" X-MGA-submission: =?us-ascii?q?MDFV8vm2Xc4RG1Jki4qoDuVQXucNCPJLG0Tzyi?= =?us-ascii?q?nQ6B3+yer4pVqfyDQ7BBTcVZAk17TmRQkVedZtSMaw3tfqAMZiaDXwwe?= =?us-ascii?q?+0gcODwFZOa0jcK8AXN6Y0i2eF6tx09i+vBrxovb4uzLnl7l/T1br9Xr?= =?us-ascii?q?zL/kt1qtiF/8Hb6DJe+pmCTQ=3D=3D?= Received: from mail-io1-f67.google.com ([209.85.166.67]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 22 Jul 2019 12:51:23 +0200 Received: by mail-io1-f67.google.com with SMTP id m24so72907098ioo.2 for ; Mon, 22 Jul 2019 03:51:23 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to:cc; bh=I7YTIS0btks8XRMWxmeqaJ4f6+oltfnmYSs1yprW1pI=; b=sjJPfxHusk777+f3tnxfSkmaCapTJUDdMXlRnDWniDQNj5Z+kKqMjVmLBds5ubZLss Mrs4EKFFqMetze05tYoCnHtDnPU8m49+Lmt3JfsZBiEaLlvueTzYFD5MH9d+dWVWJHA9 syBFmNi1S2aWjepwryY8gP+Bdrl+wGkSFBQ48XdO/fc3qceoKD+jrnaKKvSd5/E2JKXp X2h5BacNgCS7WbTefnJ2sl9cLQsseNy0yM3bIDQ1hHLnjngHMKDN2R38mKrSuMxxKbt9 ZHwPCgvg1mOZ6DOnhvpibj49ZKPWJX93m3IMhn+Lq8c1NT4NqzRu6aJv7bgLUTKReB2v gOQw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to:cc; bh=I7YTIS0btks8XRMWxmeqaJ4f6+oltfnmYSs1yprW1pI=; b=tuZsFVOse+pmQJ2b5aFEj8BebYurk4Z/HnEQwlKnmPrewOvcOkevYj81L9JQtcnKTP bzLgm0/lMNhm9Pix4A/O3BSvz3gZALCWMhQ2q4px/crNJOt+/pK1+wcszK98HdfEfZ+/ Q7xEdx3Myv32YefMNEG2zFzk9kotX+Y9rt2nQI98z5uY07iFyrq79/m7vANtPbn5+vFC 6CPgrQW77T/iD7BaaOQcj9FpqV31RaBP3c4kFnwIiGeZ26VJYp3t41rZc3lAXVZ6Hctw RyuFqgGDDmCOOHdYVnFu/U2cpOMpDZdMTMa7zWnc494zWpc6ieIt6h4BHYdLGzXNMl4c qKBA== X-Gm-Message-State: APjAAAXTf69xFWolEjRlT1ys8uyHNRCQPd2Jz+pz+KD6Y63TqyPK2yJH VlbnDozm2dErA0kuIFzWvp9fj4OGlYiwPRS5a58= X-Google-Smtp-Source: APXvYqw+D+wdMz0gzBHe7zOjVQLTwRR7nDWmv9BaAjgdIG4VgyYxxVq7vpFf1KmhmI0emxHPuqPf/73Yp1m0pPrnmJ4= X-Received: by 2002:a6b:f816:: with SMTP id o22mr38774512ioh.166.1563792681879; Mon, 22 Jul 2019 03:51:21 -0700 (PDT) MIME-Version: 1.0 From: Ekaterina Komendantskaya Date: Mon, 22 Jul 2019 11:50:56 +0100 Message-ID: To: Ekaterina Komendantskaya Cc: =?UTF-8?Q?St=C3=A9phane_Graham=2DLengrand?= , Mehrnoosh Sadrzadeh , a.popescu@mdx.ac.uk Content-Type: multipart/alternative; boundary="0000000000004e4eca058e42dbee" Subject: [Caml-list] Journeys in Computational Logic: Tributes to Roy Dyckhoff : CFP Reply-To: Ekaterina Komendantskaya X-Loop: caml-list@inria.fr X-Sequence: 17695 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: --0000000000004e4eca058e42dbee Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable 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=E2=80=99s work, by speakers wh= o 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=C3=A9phane Graham-Lengrand, also dedicated to Roy=E2=80=99s work and con= tribution 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/ --0000000000004e4eca058e42dbee Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable

CA= LL FOR PARTICIPATION

Journeys in Computational Logic: Tributes to Roy Dyckhoff=C2=A0=

at TABLE= AUX 2019, the 28th International Conference on Automated Reasoning with Anal= ytic Tableaux and Related Methods, Middlesex University, London

<= br>

http= s://tableaux2019.org/


Main conference: 3 September to 5 September 2019

Journeys in Computational Logic: 3 September 201= 9


Roy Dyckhoff (1948 - = 2018) =C2=A0worked in logic = and proof theory, having begun his career as a topologist and category theo= rist (for which one of his thesis advisors was Dana Scott). Much of his wor= k concerned various aspects of intuitionistic logic, but he also contribute= d to work in programming languages, type theory, natural language processin= g, and model checking.=C2=A0


The event will commemorate and celebrate Roy=E2=80=99s work, by speakers who have crossed paths w= ith Roy, and/or whose work or scientific views have been influenced by him.=


The workshop will foll= ow the Tableaux invited talks by Sara Negri and St=C3=A9phane Graham-Lengra= nd, also dedicated to Roy=E2=80=99s work and contribution to the field.=C2= =A0


The list of contrib= utors is as follows:


Ma= rta Bilkova

Alessio Gugliel= mi

Jacob Howe

Jael Kriener

James McKinna

Mehrnoosh Sadrzadeh

Peter Schroeder-Heister

Ch= ristian Urban



SOCIA= L EVENT


The workshop wi= ll be followed by the Tableaux welcome reception.


ORGANISERS

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


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

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

Mehrnoosh Sadrzadeh: https://msadrzadeh.com/


<= div>
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0


--0000000000004e4eca058e42dbee--