From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9252 Path: news.gmane.org!.POSTED!not-for-mail From: Sandra Alves Newsgroups: gmane.comp.lang.caml.inria,gmane.science.mathematics.logic.isabelle.user,gmane.comp.science.types.announce,gmane.science.mathematics.prooftheory,gmane.science.mathematics.logic.coq.club,gmane.science.mathematics.categories,gmane.comp.lang.agda Subject: FSCD 2017 - Call for participation Date: Tue, 11 Jul 2017 18:28:49 +0100 Message-ID: Reply-To: Sandra Alves NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 (Mac OS X Mail 10.3 \(3273\)) Content-Type: multipart/alternative; boundary="Apple-Mail=_A25A89C3-8137-483A-A4DE-3AE528F52012" X-Trace: blaine.gmane.org 1499794209 26544 195.159.176.226 (11 Jul 2017 17:30:09 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Tue, 11 Jul 2017 17:30:09 +0000 (UTC) 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 Original-X-From: caml-list-owner@inria.fr Tue Jul 11 19:30:03 2017 Return-path: Envelope-to: gclci-caml-list@gmane.org Original-Received: from mxfilter-048034.atla03.us.yomura.com ([107.189.48.34]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1dUyyy-0006Bp-RL for gclci-caml-list@gmane.org; Tue, 11 Jul 2017 19:29:57 +0200 X-Yomura-MXScrub: 1.0 Original-Received: from mail2-relais-roc.national.inria.fr (unknown [192.134.164.83]) by mxfilter-048034.atla03.us.yomura.com (Halon) with ESMTPS id 8eb46a61-665e-11e7-8ed1-b499baa2b07a; Tue, 11 Jul 2017 17:29:58 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.40,347,1496095200"; d="scan'208,217";a="282999644" Original-Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 11 Jul 2017 19:29:53 +0200 Original-Received: by sympa.inria.fr (Postfix, from userid 20132) id D9425801CC; Tue, 11 Jul 2017 19:29:53 +0200 (CEST) Original-Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id A8BC5801C0; Tue, 11 Jul 2017 19:29:12 +0200 (CEST) Authentication-Results: mail2-smtp-roc.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 IronPort-PHdr: =?us-ascii?q?9a23=3AMPFMpBa7m57XaFUtutQPFqL/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZps++Zh7h7PlgxGXEQZ/co6odzbGH7Oa4ASQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9GiTe5Y75+Ngm6oRnMvcQKnIVuLbo8xAHUqXVSYe?= =?us-ascii?q?RWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2QrxeFzQmLns65Nb3uhnZ?= =?us-ascii?q?TAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+v6bpgRh31hy?= =?us-ascii?q?cdLzM38H3YhcNtgqxYrhyvuRtxzpXOb42JMfpzZKPdcc8YSGdHQ81fVzZBAoS5?= =?us-ascii?q?b4YXEuQOJ+BYoJTnp1QUsBCzGQ2sBP3xxT9Tm3T72rY63P4nEQ7bxgwvBckDv2?= =?us-ascii?q?nIo9rpLqsSX/y6wLPVzTXbdf9WwSv95ZHOfxs8r/+MWrdwftDQyUkpDw7FiVqR?= =?us-ascii?q?pZb/MDyJzOgNrmub4ux9Xuysk24qsxx9rzyhy8s2l4XEiIMYxkrK+Ch92oo5ON?= =?us-ascii?q?y1RFZ4bNOqCpdcqi+XO5VsTs4tQ2xkojg2x7IYtZO9YSME0o4oxwTFZPyCa4WI?= =?us-ascii?q?4gzsVOKWITpgn3Jlfa X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AAAQAvCmVZlxAniMFdDhAGDBgBBQELA?= =?us-ascii?q?YQTA4ERuAwshHuED0IVAQEBAQEBAQEBAQESAQEBAQEIFgZXgjMigmcGMRRuAmC?= =?us-ascii?q?KRQysDYImhBEBhxoBAQEkgyiDTYFhK4JJgWyDDoJ2DDEwgjEFlzuHaZR7gR2DR?= =?us-ascii?q?oIFgz4Rhn+Qd4RQNYEsMSEIMFsBgm6CHgSBNAQ8dQEBiCwBAQE?= X-IPAS-Result: =?us-ascii?q?A0AAAQAvCmVZlxAniMFdDhAGDBgBBQELAYQTA4ERuAwshHu?= =?us-ascii?q?ED0IVAQEBAQEBAQEBAQESAQEBAQEIFgZXgjMigmcGMRRuAmCKRQysDYImhBEBh?= =?us-ascii?q?xoBAQEkgyiDTYFhK4JJgWyDDoJ2DDEwgjEFlzuHaZR7gR2DRoIFgz4Rhn+Qd4R?= =?us-ascii?q?QNYEsMSEIMFsBgm6CHgSBNAQ8dQEBiCwBAQE?= X-IronPort-AV: E=Sophos;i="5.40,347,1496095200"; d="scan'208,217";a="282999537" Original-Received: from smtp.dcc.fc.up.pt ([193.136.39.16]) by mail2-smtp-roc.national.inria.fr with ESMTP; 11 Jul 2017 19:29:02 +0200 Original-Received: from [192.168.1.67] (a83-132-45-242.cpe.netcabo.pt [83.132.45.242]) by smtp.dcc.fc.up.pt (Postfix) with ESMTPSA id DB180BFF69; Tue, 11 Jul 2017 18:28:59 +0100 (WEST) X-Mailer: Apple Mail (2.3273) X-Validation-by: sandra@dcc.fc.up.pt X-Loop: caml-list@inria.fr X-Sequence: 16010 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Original-Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: X-Gmane-Expiry: 2017-07-25 Xref: news.gmane.org gmane.comp.lang.caml.inria:66887 gmane.science.mathematics.logic.isabelle.user:14657 gmane.comp.science.types.announce:6987 gmane.science.mathematics.prooftheory:1556 gmane.science.mathematics.logic.coq.club:19513 gmane.science.mathematics.categories:9252 gmane.comp.lang.agda:9486 Archived-At: --Apple-Mail=_A25A89C3-8137-483A-A4DE-3AE528F52012 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 *** 7 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 Mose (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 --=20 Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs= --Apple-Mail=_A25A89C3-8137-483A-A4DE-3AE528F52012 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
http://www.cs.ox.ac.uk/con= ferences/fscd2017/

FSCD is a conference covering all aspects of formal structures for
computation and deduction from theoretical foundations t= o applications.
Building on two communities, RTA (Rewr= iting Techniques and Applications)
and TLCA (Typed Lam= bda 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:

The ear= ly registration deadline is *** 7 August ***.
Students should apply for scholarships by *** 21 Ju= ly ***
(for more details please visit the conferen= ce webpage).


INVITED SPEAKERS
* Ma= rco Gaboardi   (Univ. Buffalo, SUNY)
* Georg Mose=         (Univ. Innsbruck)
* Alexa= ndra Silva    (University College London)
* = Christine Tasson  (PPS and Univ. Paris Diderot)
<= br class=3D"">

SA= TELLITE EVENTS
- Trends in Linear Logic and Applicatio= ns (September 3)
- 31st International Workshop on Unif= ication (September 3)
- Trends in Mechanised Security = Proofs, COST Action CA15123 EUTypes Workshop (September 3)
- *Third Workshop on Higher-Dimensional Rewriting and Applications (S= eptember 8-9)
- Third Workshop on Homotopy Type Theory= and Univalent Foundations (September 8-9)
- *First Wo= rkshop on String Diagrams in Computation, Logic, and Physics (September 8-9= )
- Fourth Meeting on Structures and Deduction (Septem= ber 8 and 9)
- Sixth International Workshop on Conflue= nce (September 8)
- International Workshop on Logical = Frameworks and Meta-Languages - Theory and Practice (September 8)
- Fourth International Workshop on Rewriting Techniques for Pro= gram Transformation and Evaluation (September 8)
- IFI= P Working Group 1.6: Rewriting (September 9)

* These workshops will be co-located.

PROGRAM CHAIR
Dale Miller (Inria Saclay)

PROGRAM COMMITTEE
Andreas Abel (Got= henburg Univ.)
Elvira Albert (Complutense Madrid)
Mar=C3=ADa Alpuente (TU Valencia)
Tak= ahito Aoto (Niigata Univ. )
Zena Ariola (Univ. Oregon)=
Federico Aschieri (TU Wien)
Stef= ano Berardi (Univ. Turin)
Lars Birkedal (Aarhus Univ.)=
Filippo Bonchi (CNRS & ENS Lyon)
Pierre Clairambault (CNRS & ENS Lyon)
Ugo Da= l Lago (Univ. Bologna)
Herman Geuvers (Radboud Univ.)<= /div>
Silvia Ghilezan (Univ. Novi Sad)
= J=C3=BCrgen Giesl (RWTH Aachen)
Hugo Herbelin (Inria P= aris)
Jan Hoffmann (Carnegie Mellon)
Deepak Kapur (Univ. New Mexico)
Paul Blain Levy = (Univ. Birmingham)
Paulo Oliva (QMUL, London)
Vincent van Oostrom (Univ. Innsbruck)
Dan= iela Petrisan (LIAFA, Paris)
Femke van Raamsdonk (VU U= niv. Amsterdam)
Grigore Rosu (Univ. Illinois)
Albert Rubio (UPC-BarcelonaTech)
Paula Se= veri (Univ. Leicester)
Bas Spitters (Aarhus Univ. )
Aaron Stump (Univ. Iowa)
Kazushige = Terui (Kyoto Univ.)
Ren=C3=A9 Thiemann (Univ. Innsbruc= k)
Sophie Tison (Lille Univ. )
CONFERENCE CHAIR
Sa= m Staton (University of Oxford)

<= div class=3D"">WORKSHOPS CHAIR
Jamie Vicary (Universit= y of Oxford) 

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=_A25A89C3-8137-483A-A4DE-3AE528F52012--