From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 97FB67FEE8; Wed, 2 Aug 2017 14:10:41 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=sandra@dcc.fc.up.pt; spf=Pass smtp.mailfrom=sandra@dcc.fc.up.pt; spf=Pass smtp.helo=postmaster@smtp.dcc.fc.up.pt Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of sandra@dcc.fc.up.pt) identity=pra; client-ip=193.136.39.16; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="sandra@dcc.fc.up.pt"; x-sender="sandra@dcc.fc.up.pt"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of sandra@dcc.fc.up.pt designates 193.136.39.16 as permitted sender) identity=mailfrom; client-ip=193.136.39.16; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="sandra@dcc.fc.up.pt"; x-sender="sandra@dcc.fc.up.pt"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@smtp.dcc.fc.up.pt designates 193.136.39.16 as permitted sender) identity=helo; client-ip=193.136.39.16; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="sandra@dcc.fc.up.pt"; x-sender="postmaster@smtp.dcc.fc.up.pt"; x-conformance=sidf_compatible; x-record-type="v=spf1" IronPort-PHdr: =?us-ascii?q?9a23=3A3gszYRTd8N+54Rq5a8k2ZB4X0tpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa67ZxCFt8tkgFKBZ4jH8fUM07OQ6PGwHzRYqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjSwbLdxIRmssQndqtQdjJd/JKo21hbHuGZDdf?= =?us-ascii?q?5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXM?= =?us-ascii?q?TRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KptVRTmij?= =?us-ascii?q?oINyQh/W/XlsN/g79VrhGvqRJhxIDZe5uaOOZ7fq7HfdMWWWhMU8BMXCJBGIO8?= =?us-ascii?q?aI4PAvIcM+lCqYnyukEOogGjDgSwAOPv1CFHhmTr1qA9yOQuCwfG0xE6H90Uq3?= =?us-ascii?q?nbscn6O7sIXeC70KbE1yjDb+tM1Tfl9IjFaxYsquyCU7J3dMre00gvFwXdg1WX?= =?us-ascii?q?po3pJSma2fgXv2iG7OptU/+khW0/qwxpvzSiwskhhpPUio8by13I7yt0zYIvKd?= =?us-ascii?q?GlSUN3edqpHZRKuy2HOYZ7TNkuT39otSon0LEKpIO3cS4Xw5o93RHfceaIc42Q?= =?us-ascii?q?7xLjSumRJTB4iWp+eLK6mxay6VKsxfDgWcaoylpKoDZKnsPRtnAVzRDT8tSHRu?= =?us-ascii?q?N8/kenxzmPyxje5vxALE06j6bXNpAsz78qmpcdtUnPBDL6lUTugK+TbEok++yo?= =?us-ascii?q?6+r9YrXho5+RL5R0hRv4MqszgMywG/81PRUSUGeH4+i82qHs8VfkQLVSlPE2ir?= =?us-ascii?q?XZvIjAJcsHvq65HxNV0oE75hmjFTim1dAYkWADLFJEYxKHk5PkO0rOIfD9Ffew?= =?us-ascii?q?mU6gkDZtx/DcP73uGI/BLnbZkL35Z7Zy91ZcyBYvzdBY/59bFrYBIOvqVkDtsN?= =?us-ascii?q?zYEwQ2Phevw+fnDdV9zpkRVXiOAq+fKqPSsEWH6vghI+mWN8cpv2P2L70k/Pfk?= =?us-ascii?q?gHs9lBoAZqSzxrMTaWukBbJtKkDfaHGqn9RFWXsbpgclCeXsjlqfVzVeT3KzRL?= =?us-ascii?q?4noCo2AZngEJ/OQIbrjbCcmG+hE4JMZ3xHDF+kHHHzMoGVXPFKZjjWavd7lTsK?= =?us-ascii?q?abisTJUw/TWvrxPhjZBuMuqS0yZeiLGnnNFt//bekDk29CdoFIKB2HrLTm912G?= =?us-ascii?q?cNWnk60eQ3qktkj1yHzKJQgvpCFNUV6ekNGgwzMJqZy+1hF/jzXBjAd5GHUhLu?= =?us-ascii?q?Xti8BC02SdYq69sPeFpmXdG4j1bNxW7iCLYZmpSKGIFy/qGYl3P4O8tyzGzH2b?= =?us-ascii?q?IJikUvBMBGcSWoh6h+6wWWAonFnkHci6ancr4N9CrM73uYi3CRoEEdWQd7UajD?= =?us-ascii?q?G3wSIgPSo9/io0LEU7K0BK87GgpHx4iPJu1DYZv0jhEOQPblNd3ES2mq3XysDB?= =?us-ascii?q?CGwamAKofmZiFV8wz4JXMslwEI4W3ALxciBmKoqmneATooGV+rK1v29uY7rHq9?= =?us-ascii?q?QWc4zgKXKUFik/Kp+hMSn/GZDusJ2awJojwJojQyGVehmd/aFp7Iuwpse79NJN?= =?us-ascii?q?c671ZM/Uni8SdYA9qNA50mzlcRfw1fu0L1yw4xAYVJlc0ntmhs1wc2YauD1Htf?= =?us-ascii?q?fiiD1Iq2N7HKbiH29Qvqb6/dwXna0c2K4eET9bEypk/nvQfvGkdmu2l2y9RO+3?= =?us-ascii?q?+d/YnRSgESWJb0X1wssQN34/neZSY87KvR3GFsd7Sys3rI3NQvQucomTi6eNIK?= =?us-ascii?q?C6qCGBX7W+QeGcW1YLgxkl6ldBssMOtZsqA/ed6+MeOajv34dN18lS6r2DwUqL?= =?us-ascii?q?t21ViBonJx?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BoDgCMwIFZfxAniMFdDg8BBQELARgBB?= =?us-ascii?q?QELAYQTA2onn1yYRCyETIUEQxQBAQEBAQEBAQEBARIBAQsWXYIzIoJnBjEUbgJ?= =?us-ascii?q?gikUMrUqCJoQUAYdDAQEBJIMog06BYysLgkGBbIMUgnkMMTCCMQWXaogSlRuBH?= =?us-ascii?q?oNLgguDRBGHDJEohFM2gSsyIQgxWwGCcYIfgTgEPHUBAYlrAQEB?= X-IPAS-Result: =?us-ascii?q?A0BoDgCMwIFZfxAniMFdDg8BBQELARgBBQELAYQTA2onn1y?= =?us-ascii?q?YRCyETIUEQxQBAQEBAQEBAQEBARIBAQsWXYIzIoJnBjEUbgJgikUMrUqCJoQUA?= =?us-ascii?q?YdDAQEBJIMog06BYysLgkGBbIMUgnkMMTCCMQWXaogSlRuBHoNLgguDRBGHDJE?= =?us-ascii?q?ohFM2gSsyIQgxWwGCcYIfgTgEPHUBAYlrAQEB?= X-IronPort-AV: E=Sophos;i="5.41,311,1498514400"; d="scan'208,217";a="233498659" Received: from smtp.dcc.fc.up.pt ([193.136.39.16]) by mail3-smtp-sop.national.inria.fr with ESMTP; 02 Aug 2017 14:10:29 +0200 Received: from [192.168.1.68] (a94-133-251-11.cpe.netcabo.pt [94.133.251.11]) by smtp.dcc.fc.up.pt (Postfix) with ESMTPSA id 1AB5AC00AF; Wed, 2 Aug 2017 13:10:27 +0100 (WEST) From: Sandra Alves Content-Type: multipart/alternative; boundary="Apple-Mail=_684B8D95-5028-4A97-8804-80FB3EE05D49" Mime-Version: 1.0 (Mac OS X Mail 10.3 \(3273\)) Message-Id: <4C61048C-04B6-406E-9443-DBBE84DDF3C8@dcc.fc.up.pt> Date: Wed, 2 Aug 2017 13:10:25 +0100 To: cl-isabelle-users@lists.cam.ac.uk, types-announce@lists.seas.upenn.edu, rewriting@ens-lyon.fr, ProofTheory@Lists.Bath.Ac.UK, appsem@lists.tcs.ifi.lmu.de, coq-club@inria.fr, caml-list@inria.fr, termtools@lists.lri.fr, cade@itu.dk, categories@mta.ca, finite-model-theory@lists.rwth-aachen.de, lfcs-interest@inf.ed.ac.uk, linear@cs.stanford.edu, GAMES@lists.rwth-aachen.de, prog-lang@diku.dk, theorem-provers@ai.mit.edu, theory-logic@CS.CMU.EDU, agda@lists.chalmers.se, asl@vassar.edu, las-lics@lists.tu-berlin.de, types@lists.chalmers.se, logic@math.uni-bonn.de X-Mailer: Apple Mail (2.3273) X-Validation-by: sandra@dcc.fc.up.pt Subject: [Caml-list] FSCD 2017 - Call for participation (early registration ends soon) --Apple-Mail=_684B8D95-5028-4A97-8804-80FB3EE05D49 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 (Apologies for multiple copies of this announcement. Please circulate.) =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D CALL FOR PARTICIPATION 2nd International Conference on Formal Structures for Computation and Deduction FSCD 2017 3=E2=80=939, September 2017 (colocated with ICFP) Oxford, UK http://www.cs.ox.ac.uk/conferences/fscd2017/ FSCD is a conference covering all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logics, proof theory and new emerging models of computation such as quantum computing and homotopy type theory. REGISTRATION The registration page is already open and linked from: http://www.cs.ox.ac.uk/conferences/fscd2017/registration.html The early registration deadline is *** 6 August *** Students should apply for scholarships by *** 21 July *** (for more details please visit the conference webpage). INVITED SPEAKERS * Marco Gaboardi (Univ. Buffalo, SUNY) * Georg Moser (Univ. Innsbruck) * Alexandra Silva (University College London) * Christine Tasson (PPS and Univ. Paris Diderot) SATELLITE EVENTS - Trends in Linear Logic and Applications (September 3) - 31st International Workshop on Unification (September 3) - Trends in Mechanised Security Proofs, COST Action CA15123 EUTypes Worksho= p (September 3) - *Third Workshop on Higher-Dimensional Rewriting and Applications (Septemb= er 8-9) - Third Workshop on Homotopy Type Theory and Univalent Foundations (Septemb= er 8-9) - *First Workshop on String Diagrams in Computation, Logic, and Physics (Se= ptember 8-9) - Fourth Meeting on Structures and Deduction (September 8 and 9) - Sixth International Workshop on Confluence (September 8) - International Workshop on Logical Frameworks and Meta-Languages - Theory = and Practice (September 8) - Fourth International Workshop on Rewriting Techniques for Program Transfo= rmation and Evaluation (September 8) - IFIP Working Group 1.6: Rewriting (September 9) * These workshops will be co-located. PROGRAM CHAIR Dale Miller (Inria Saclay) PROGRAM COMMITTEE Andreas Abel (Gothenburg Univ.) Elvira Albert (Complutense Madrid) Mar=C3=ADa Alpuente (TU Valencia) Takahito Aoto (Niigata Univ. ) Zena Ariola (Univ. Oregon) Federico Aschieri (TU Wien) Stefano Berardi (Univ. Turin) Lars Birkedal (Aarhus Univ.) Filippo Bonchi (CNRS & ENS Lyon) Pierre Clairambault (CNRS & ENS Lyon) Ugo Dal Lago (Univ. Bologna) Herman Geuvers (Radboud Univ.) Silvia Ghilezan (Univ. Novi Sad) J=C3=BCrgen Giesl (RWTH Aachen) Hugo Herbelin (Inria Paris) Jan Hoffmann (Carnegie Mellon) Deepak Kapur (Univ. New Mexico) Paul Blain Levy (Univ. Birmingham) Paulo Oliva (QMUL, London) Vincent van Oostrom (Univ. Innsbruck) Daniela Petrisan (LIAFA, Paris) Femke van Raamsdonk (VU Univ. Amsterdam) Grigore Rosu (Univ. Illinois) Albert Rubio (UPC-BarcelonaTech) Paula Severi (Univ. Leicester) Bas Spitters (Aarhus Univ. ) Aaron Stump (Univ. Iowa) Kazushige Terui (Kyoto Univ.) Ren=C3=A9 Thiemann (Univ. Innsbruck) Sophie Tison (Lille Univ. ) CONFERENCE CHAIR Sam Staton (University of Oxford) WORKSHOPS CHAIR Jamie Vicary (University of Oxford)=20 Looking forward to seeing you in Oxford! =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= --Apple-Mail=_684B8D95-5028-4A97-8804-80FB3EE05D49 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8
(A= pologies for multiple copies of this announcement. Please circulate.)
=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

      &nbs= p;                     CA= LL FOR PARTICIPATION
         = ;               2nd International Confer= ence on
            &nbs= p;   Formal Structures for Computation and Deduction
                   =                     &nbs= p;FSCD 2017
             &nb= sp;    3=E2=80=939, September 2017 (colocated with ICFP)
                 =               Oxford, UK
<= span class=3D"Apple-tab-span" style=3D"white-space: pre;"> http://www.cs.= ox.ac.uk/conferences/fscd2017/

FSCD is a conference covering all aspects of formal struc= tures for
computation and deduction from theoretical f= oundations to applications.
Building on two communitie= s, RTA (Rewriting Techniques and Applications)
and TLC= A (Typed Lambda Calculi and Applications), FSCD embraces their core
topics and broadens their scope to closely related areas in l= ogics, proof
theory and new emerging models of computa= tion such as quantum computing
and homotopy type theor= y.

REGISTRATION
The registration page is already open and linked from:<= /div>
http://www.cs.ox.ac.uk/conferences/fscd2017/= registration.html

The early registration deadline is&nbs= p;*** 6 August ***
Students should apply fo= r scholarships by *** 21 July ***
(for more details please visit the conference webpage).


INVITED SPEAKERS
* Marco Gaboardi   (Univ. = Buffalo, SUNY)
* Georg Moser       &nbs= p;(Univ. Innsbruck)
* Alexandra Silva    (Un= iversity College London)
* Christine Tasson  (PPS= and Univ. Paris Diderot)


SATELLITE EVENTS
- Trends in Linear Logic and Applications (September 3)
- 31st International Workshop on Unification (September 3)
=
- Trends in Mechanised Security Proofs, COST Action CA15123= EUTypes Workshop (September 3)
- *Third Workshop on H= igher-Dimensional Rewriting and Applications (September 8-9)
- Third Workshop on Homotopy Type Theory and Univalent Foundations (= September 8-9)
- *First Workshop on String Diagrams in= Computation, Logic, and Physics (September 8-9)
- Fou= rth Meeting on Structures and Deduction (September 8 and 9)
- Sixth International Workshop on Confluence (September 8)
- International Workshop on Logical Frameworks and Meta-Language= s - Theory and Practice (September 8)
- Fourth Interna= tional Workshop on Rewriting Techniques for Program Transformation and Eval= uation (September 8)
- IFIP Working Group 1.6: Rewriti= ng (September 9)

= * These workshops will be co-located.

<= /div>
PROGRAM CHAIR
Dale Miller (Inria = Saclay)

PROGRAM C= OMMITTEE
Andreas Abel (Gothenburg Univ.)
Elvira Albert (Complutense Madrid)
Mar=C3=ADa = Alpuente (TU Valencia)
Takahito Aoto (Niigata Univ. )<= /div>
Zena Ariola (Univ. Oregon)
Federi= co Aschieri (TU Wien)
Stefano Berardi (Univ. Turin)
Lars Birkedal (Aarhus Univ.)
Filipp= o Bonchi (CNRS & ENS Lyon)
Pierre Clairambault (CN= RS & ENS Lyon)
Ugo Dal Lago (Univ. Bologna)
<= div class=3D"">Herman Geuvers (Radboud Univ.)
Silvia G= hilezan (Univ. Novi Sad)
J=C3=BCrgen Giesl (RWTH Aache= n)
Hugo Herbelin (Inria Paris)
Ja= n Hoffmann (Carnegie Mellon)
Deepak Kapur (Univ. New M= exico)
Paul Blain Levy (Univ. Birmingham)
Paulo Oliva (QMUL, London)
Vincent van Oostro= m (Univ. Innsbruck)
Daniela Petrisan (LIAFA, Paris)
Femke van Raamsdonk (VU Univ. Amsterdam)
Grigore Rosu (Univ. Illinois)
Albert Rubio (UPC-= BarcelonaTech)
Paula Severi (Univ. Leicester)
Bas Spitters (Aarhus Univ. )
Aaron Stump = (Univ. Iowa)
Kazushige Terui (Kyoto Univ.)
Ren=C3=A9 Thiemann (Univ. Innsbruck)
Sophie = Tison (Lille Univ. )

CONFERENCE CHAIR
Sam Staton (University of Oxfor= d)

WORKSHOPS CHAI= R
Jamie Vicary (University of Oxford) 

Looking forward to seeing y= ou in Oxford!
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D
= --Apple-Mail=_684B8D95-5028-4A97-8804-80FB3EE05D49--