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 32E667F616 for ; Mon, 6 Mar 2017 10:34:14 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=eacsl@kahle.ch; spf=Pass smtp.mailfrom=eacsl@kahle.ch; spf=None smtp.helo=postmaster@duck.birch.relay.mailchannels.net Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of eacsl@kahle.ch) identity=pra; client-ip=23.83.209.52; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="eacsl@kahle.ch"; x-sender="eacsl@kahle.ch"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of eacsl@kahle.ch designates 23.83.209.52 as permitted sender) identity=mailfrom; client-ip=23.83.209.52; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="eacsl@kahle.ch"; x-sender="eacsl@kahle.ch"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@duck.birch.relay.mailchannels.net) identity=helo; client-ip=23.83.209.52; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="eacsl@kahle.ch"; x-sender="postmaster@duck.birch.relay.mailchannels.net"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3ASaW4IRMvgM/Q/7jEFYIl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0I/z6rarrMEGX3/hxlliBBdydsKMZzbaO+Pi8EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQtFiT69bL9oIxi6sQrdutUZjIB/Nqs/1xzFr2dSde?= =?us-ascii?q?9L321oP1WTnxj95se04pFu9jlbtuwi+cBdT6j0Zrw0QrNEAjsoNWA1/9DrugLY?= =?us-ascii?q?TQST/HscU34ZnQRODgPY8Rz1RJbxsi/9tupgxCmXOND9QL4oVTi+6apgVRnlgz?= =?us-ascii?q?oFOTEk6mHaksx+gr9FrhyiqRJwzYHbb52OOfVkYq/QZ8kXSXZPU8tTUSFKH4Oy?= =?us-ascii?q?b5EID+oEJetWoJT9p0EJrRumGwajHuXvwSJUi3/txq061PguEQDc0ww8HtIOt3?= =?us-ascii?q?LUp8jyNKccTOu40q7IzTDbb/NLxTfy9pLIeQ08r/6QXLJ/b8zRxlUxGAjYiFuQ?= =?us-ascii?q?roPlPzKJ2e8QtGWU8fBvWv60i24jsAxxoSKgxscoiobXnI4a1lDE+Dx/zY0oK9?= =?us-ascii?q?O4T0t7bsSlEJtWryyaNJd2QsM4T2Fzpik20qAJtoS0fCgR1JQn2h7fa/idf4eV?= =?us-ascii?q?/B3vTPieLi1jhHNlZL2/hwy98Um6yuHmUcm0yllKoyxYmdfPrnAAzwLf58adRv?= =?us-ascii?q?Z+8EqtwyiD2xzX5+1eIU04i7LXJ4M9zrM0jJYevkDOEjXrlEnrkqOabEsp9+uu?= =?us-ascii?q?5u/6eLvpvIWcOJVxigzmMqQhhMi/AeMgPwcTQmiU5ee82Kf48k34WrVFkv02nr?= =?us-ascii?q?PDsJ/EIcQUvK64DxVQ0ok56ha/Cyup0NQCknkBKlJKZhaHj5PzN1HIPv/4Ee+z?= =?us-ascii?q?g1WqkDh12/DLJqPtD5vXInXAnrrtZ6hx51JYxQYpzd1T+YpYCrQbL/LyXk/xus?= =?us-ascii?q?bYDhg8MwGs3enoEsly1pgaWW+UAa+WKqPSsVuW6e41P+aMZJcZuCzhJPg9+/7u?= =?us-ascii?q?kXg5lEcBcqaz2JsXbGm0HvBnI0WCfXrhmcwBEGcPvgomVuPmklyCUThJZ3azRa?= =?us-ascii?q?0w/D87CJj1RbvEE4ukhbjE2CagArVXYHpHAxaCCyTGbYKBDtoRciWKL8Zn2hUf?= =?us-ascii?q?Tr+qSoY91Bao/Aj0g5FgK/LJ5iAC/ano1dVz7OCbsRY99Dc8W8mU2HqJZ2J9nm?= =?us-ascii?q?cFATQ2ivMs6Xdhw0uOhPAry8dTEsZesqtE?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DHDQCeLL1YhjTRUxdeHQEFAQsBGAEFA?= =?us-ascii?q?QsBgkOBRAMnYINfiwCPHhGBA40eikUCKIUugyoEA0MUAQEBAQEBAQEBAQESAQE?= =?us-ascii?q?BCgkLCCgvgjMggmYGHQEBJgwGUgoCbAgBAYgJA4FfDQQBCa4dAkJogiYrgl0BA?= =?us-ascii?q?QWHawsBAQEBARoIMoVXgkoIhB6BW4EPCgQDAYJoDC6CX4kdkxSGdoMmiBeBe1O?= =?us-ascii?q?CWYUnI4Yukzs2eSMINzSEWiocBIFvdQGHVQ8XghcBAQE?= X-IPAS-Result: =?us-ascii?q?A0DHDQCeLL1YhjTRUxdeHQEFAQsBGAEFAQsBgkOBRAMnYIN?= =?us-ascii?q?fiwCPHhGBA40eikUCKIUugyoEA0MUAQEBAQEBAQEBAQESAQEBCgkLCCgvgjMgg?= =?us-ascii?q?mYGHQEBJgwGUgoCbAgBAYgJA4FfDQQBCa4dAkJogiYrgl0BAQWHawsBAQEBARo?= =?us-ascii?q?IMoVXgkoIhB6BW4EPCgQDAYJoDC6CX4kdkxSGdoMmiBeBe1OCWYUnI4Yukzs2e?= =?us-ascii?q?SMINzSEWiocBIFvdQGHVQ8XghcBAQE?= X-IronPort-AV: E=Sophos;i="5.35,252,1484002800"; d="scan'208,217";a="215694185" Received: from duck.birch.relay.mailchannels.net ([23.83.209.52]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 06 Mar 2017 10:34:11 +0100 X-Sender-Id: altavisgmbh|x-authsender|eacsl@kahle.ch Received: from relay.mailchannels.net (localhost [127.0.0.1]) by relay.mailchannels.net (Postfix) with ESMTP id 17B1E362B41 for ; Mon, 6 Mar 2017 09:34:04 +0000 (UTC) Received: from web3041.oemsites.net (unknown [100.96.134.95]) by relay.mailchannels.net (Postfix) with ESMTPA id DED5D3603BA for ; Mon, 6 Mar 2017 09:34:02 +0000 (UTC) X-Sender-Id: altavisgmbh|x-authsender|eacsl@kahle.ch Received: from web3041.oemsites.net (37-59-242-53.oemsites.net [172.20.61.168]) (using TLSv1.2 with cipher DHE-RSA-AES256-GCM-SHA384) by 0.0.0.0:2500 (trex/5.7.32); Mon, 06 Mar 2017 09:34:04 +0000 X-MC-Relay: Neutral X-MailChannels-SenderId: altavisgmbh|x-authsender|eacsl@kahle.ch X-MailChannels-Auth-Id: altavisgmbh X-Well-Made-Minister: 19d0ba630e17d550_1488792843637_3590328719 X-MC-Loop-Signature: 1488792843637:268880601 X-MC-Ingress-Time: 1488792843637 Received: from [192.168.1.5] (a109-49-112-38.cpe.netcabo.pt [109.49.112.38]) (Authenticated sender: eacsl@kahle.ch) by web3041.oemsites.net (Postfix) with ESMTPSA id B6C55205242D for ; Mon, 6 Mar 2017 10:34:00 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=kahle.ch; s=default; t=1488792841; bh=AV0ti46hqFiShUkY98qBOBTPy6i54rDGznUWz85b0hg=; l=26316; h=From:Subject:To; b=BmcpC02GzvvdPo+reIQ5KdiVr5IG2ICcb1xbD3GZhcCct3P6IVbXfj2kyami1l/d3 yU8Kfc3nKrdyCwaJP/sU8ING0/z57wQZUpSrqK3QbKGbEamwufXh7hhhAjcDxquPr5 gEkLt71Im8hBDJr/Hl+5uJ2PAvS0LCeCYHawHn0o= From: European Association of Computer Science Logic To: caml-list@inria.fr Message-ID: <09e7f74e-3020-4922-4c45-dc3397e57ff3@kahle.ch> Date: Mon, 6 Mar 2017 09:34:00 +0000 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.7.0 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="------------A247E7F8A0D90B0EFC9DE10D" X-PPP-Message-ID: <20170306093400.9618.83018@web3041.oemsites.net> X-PPP-Vhost: kahle.ch X-Validation-by: eacsl@kahle.ch Subject: [Caml-list] CSL2017: Final Call for Papers This is a multi-part message in MIME format. --------------A247E7F8A0D90B0EFC9DE10D Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: quoted-printable FINAL CALL FOR PAPERS 26th EACSL Annual Conference on Computer Science Logic CSL2017 August 20 -- 24, 2017, Stockholm, Sweden https://www.csl17.conf.kth.se AIM AND SCOPE Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science and is intended for computer scientists whose research involves logic, as well as for logicians working on issues essential for computer science. CSL2017 is the 26th EACSL annual conference. It will be co-organised by Stockholm University and KTH Royal Institute of Technology, and hosted by Stockholm University. CSL2017 will be co-located with, and immediately preceded by, the Logic Colloquium 2017 (LC2017). There will be a joint session of CSL2017 and LC2017 in the morning of August 20, as well as CSL-affiliated workshops during August 25-26. IMPORTANT DATES: --------------------------------------------------------------------------- Abstract submission for contributed papers: March 24, 2017 Paper submission: March 31, 2017 Notification: May 31, 2017 Abstract submission for short presentations: June 4, 2017 Notification on short presentations: June 14, 2017 --------------------------------------------------------------------------- TOPICS OF INTEREST for CSL2017 include (but are not limited to): --------------------------------------------------------------------------- =E2=80=A2 automata and games, game semantics =E2=80=A2 automated deduction and interactive theorem proving =E2=80=A2 bounded arithmetic and propositional proof complexity =E2=80=A2 categorical logic and topological semantics =E2=80=A2 computational proof theory =E2=80=A2 constructive mathematics and type theory =E2=80=A2 decision procedures =E2=80=A2 domain theory =E2=80=A2 equational logic and rewriting =E2=80=A2 finite model theory =E2=80=A2 higher-order logic =E2=80=A2 lambda calculus and combinatory logic =E2=80=A2 linear logic and other substructural logics =E2=80=A2 logic programming and constraints =E2=80=A2 logical aspects of computational complexity =E2=80=A2 logical aspects of quantum computing =E2=80=A2 logic in database theory =E2=80=A2 logical foundations of programming paradigms =E2=80=A2 logical foundations of cryptography and information hiding =E2=80=A2 logics for multi-agent systems =E2=80=A2 modal and temporal logic =E2=80=A2 model checking and logic-based verification =E2=80=A2 nonmonotonic reasoning =E2=80=A2 SAT solving and automated induction =E2=80=A2 satisfiability modulo theories =E2=80=A2 specification, extraction and transformation of programs =E2=80=A2 verification and program analysis --------------------------------------------------------------------------- INVITED SPEAKERS ------------------------------ CSL invited highlight speakers for the LC-CSL joint session on August 20: Phokion Kolaitis, University of California Santa Cruz and IBM Research=20 -Almaden Wolfgang Thomas, RWTH Aachen CSL plenary speakers: Laura Kov=C3=A1cs, Vienna University of Technology Stephan Kreutzer, Technische Universit=C3=A4t Berlin Meena Mahajan, Institute of Mathematical Sciences, Chennai Margus Veanes, Microsoft Research SPECIAL AND AFFILIATED EVENTS -------------------------------------------------- In addition to the plenary and contributed talks CSL2017, the conference=20 will also include the following events: =E2=80=A2 Joint session of CSL2017 and LC2017 in the morning of August 20,= =20 consisting of four plenary highlight talks, offered by speakers from=20 both conferences. =E2=80=A2 Presentation of the Alonzo Church award for Outstanding Contribut= ions=20 to Logic and Computation, =E2=80=A2 Presentation of the EACSL Ackermann award for Outstanding Dissert= ation=20 on Logic in Computer Science, =E2=80=A2 CSL-affiliated workshops, to be held as CSL co-located events: =E2=80=94 Workshop on Logic and Algorithms in Computational Linguistics=20 LACompLing=E2=80=9917 (August 18-19) =E2=80=94 Workshop on Logical Aspects of Multi-Agent Systems LAMAS2017 (Aug= ust 25) =E2=80=94 Workshop on Logic and Automata Theory (in memory of Zoltan Ezik)= =20 (August 25) SUBMISSIONS --------------------- The CSL2017 conference proceedings will be published in Leibniz=20 International Proceedings in Informatics (LIPIcs). Authors are invited to submit contributed papers of no more than 15=20 pages in LIPIcs style (including references), presenting not previously published work, fitting the scope of the conference. The LIPIcs style=20 files and instructions for authors can be found here:=20 https://www.dagstuhl.de/en/publications/lipics/instructions-for-authors The submission of contributed papers will be in two stages: * abstracts, due by March 24, 2017 (AoE); * full papers, due by March 31, 2017 (AoE). The submissions must be done via the EasyChair page for the conference: https://easychair.org/conferences/?conf=3Dcsl2017. Submitted papers must be in English and must provide sufficient detail=20 to allow the Programme Committee to assess the merits of the paper. Full=20 proofs may appear in a clearly marked technical appendix which will be=20 read at the reviewers=E2=80=99 discretion. Authors are strongly encouraged = to=20 include a well written introduction which is directed at all members of=20 the PC. Papers may not be submitted concurrently to another conference with=20 refereed proceedings. The PC chairs should be informed of closely=20 related work submitted to a conference or a journal. Papers authored or=20 co-authored by members of the PC are not allowed. In addition, there will be an opportunity for short oral presentations=20 at the conference. Abstracts for such oral presentations must be=20 submitted through the Easychair submission webpage, under the category=20 ``short presentations=E2=80=99', by June 4, 2017. They will not be included= in=20 the proceedings. PROGRAMME COMMITTEE ------------------- =E2=80=A2 Parosh Aziz Abdulla (University of Uppsala), =E2=80=A2 Lars Birkedal (University of Aarhus), =E2=80=A2 Nikolaj Bjorner (Microsoft Research), =E2=80=A2 Maria Paola Bonacina (Universit=C3=A0 degli Studi di Verona), =E2=80=A2 Patricia Bouyer-Decitre (LSV, ENS Cachan), =E2=80=A2 Agata Ciabattoni (University of Viena), =E2=80=A2 Thierry Coquand (University of Gothenburg), =E2=80=A2 Mads Dam (KTH, Stockholm), PC co-chair =E2=80=A2 Ugo Dal Lago (University of Bologna), =E2=80=A2 Anuj Dawar (Cambridge University), =E2=80=A2 Valentin Goranko (Stockholm University), PC co-chair =E2=80=A2 Maribel Fernandez (King's College London), =E2=80=A2 Martin Grohe (RWTH Aachen), =E2=80=A2 Lauri Hella (University of Tampere), =E2=80=A2 Joost-Pieter Katoen (RWTH Aachen), =E2=80=A2 Orna Kupferman (University of Jerusalem), =E2=80=A2 Leonid Libkin (University of Edinburgh), =E2=80=A2 Angelo Montanari (University of Udine), =E2=80=A2 Catuscia Palamidessi (Paris, INRIA), =E2=80=A2 Frank Pfenning (Carnegie Mellon University, Pittsburgh) =E2=80=A2 Ram Ramanujam (Institute of Mathematical Sciences, Chennai), =E2=80=A2 Jean-Francois Raskin (University of Bruxelles), =E2=80=A2 Thomas Schwentick (TU Dortmund University), =E2=80=A2 Viorica Sofronie-Stokkermans (University of Koblenz-Landau), =E2=80=A2 Thomas Streicher (University of Darmstadt), =E2=80=A2 Jean-Marc Talbot (University of Aix-Marseille), =E2=80=A2 Luca Vigan=C3=B2 (King's College London), =E2=80=A2 Ron van der Meyden (UNSW Australia), =E2=80=A2 Lijun Zhang (Chinese Academy of Sciences, Beijing). ORGANISING COMMITTEE -------------------- =E2=80=A2 Mads Dam (OC co-chair), Department of Theoretical Computer Scienc= e, KTH =E2=80=A2 Valentin Goranko (OC co-chair), Department of Philosophy, Stockho= lm=20 University =E2=80=A2 Dilian Gurov (Workshops chair), Department of Theoretical Compute= r=20 Science, KTH =E2=80=A2 Roussanka Loukanova, Department of Mathematics, Stockholm Univers= ity =E2=80=A2 Peter LeFanu Lumsdaine, Department of Mathematics, Stockholm Univ= ersity =E2=80=A2 Anders Lundstedt, Department of Philosophy, Stockholm University =E2=80=A2 Erik Palmgren (OC co-chair), Department of Mathematics, Stockholm= =20 University =E2=80=A2 Henning Strandin, Department of Philosophy, Stockholm University CONTACTS AND ENQUIRIES: -------------------- With enquiries on organising matters, send email to:=20 csl2017philosophy.su.se With enquiries on scientific and programme issues, send email to:=20 csl2017easychair.org --------------A247E7F8A0D90B0EFC9DE10D Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: quoted-printable

FINAL CALL FOR PAPERS

26th EACSL Annual Conference on Computer Science Logic CSL2017
August 20 -- 24, 2017, Stockholm, Sweden


AIM AND SCOPE=C2=A0
Computer Science Logic (CSL) is the annual conference of the European
Association for Computer Science Logic (EACSL). It is an interdisciplinary
conference, spanning across both basic and application oriented research
in mathematical logic and computer science and is intended for computer
scientists whose research involves logic, as well as for logicians working
on issues essential for computer science.

CSL2017 is the 26th EACSL annual conference. It will be co-organised by
Stockholm University and KTH Royal Institute of Technology, and hosted by
Stockholm University. CSL2017 will be co-located with, and immediately
preceded by, the Logic Colloquium 2017 (LC2017). There will be a joint
session of CSL2017 and LC2017 in the morning of August 20, as well as
CSL-affiliated workshops during August 25-26.


IMPORTANT DATES:=C2=A0
-------------------------= --------------------------------------------------
Abstract submission for contributed papers: March 24, 2017
Paper submission: March 31, 2017
Notification: May 31, 2017
Abstract submission for short presentations: June 4, 2017
Notification on short presentations: June 14, 2017
-------------------------= --------------------------------------------------



TOPICS OF INTEREST for CSL2017 include (but are not limited to):
-------------------------= --------------------------------------------------
=E2=80=A2 automata and ga= mes, game semantics
=E2=80=A2 automated deduc= tion and interactive theorem proving
=E2=80=A2 bounded arithme= tic and propositional proof complexity
=E2=80=A2 categorical log= ic and topological semantics
=E2=80=A2 computational p= roof theory
=E2=80=A2 constructive mathematics and type theory
=E2=80=A2 decision proced= ures
=E2=80=A2 domain theory
=E2=80=A2 equational logi= c and rewriting
=E2=80=A2 finite model th= eory
=E2=80=A2 higher-order lo= gic
=E2=80=A2 lambda calculus= and combinatory logic
=E2=80=A2 linear logic an= d other substructural logics
=E2=80=A2 logic programmi= ng and constraints
=E2=80=A2 logical aspects= of computational complexity
=E2=80=A2 logical aspects= of quantum computing
=E2=80=A2 logic in databa= se theory
=E2=80=A2 logical foundat= ions of programming paradigms
=E2=80=A2 logical foundat= ions of cryptography and information hiding
=E2=80=A2 logics for mult= i-agent systems
=E2=80=A2 modal and tempo= ral logic
=E2=80=A2 model checking = and logic-based verification
=E2=80=A2 nonmonotonic re= asoning
=E2=80=A2 SAT solving and automated induction
=E2=80=A2 satisfiability = modulo theories
=E2=80=A2 specification, extraction and transformation of programs
=E2=80=A2 verification and program analysis
-------------------------= --------------------------------------------------


INVITED SPEAKERS
-------------------------= -----
CSL invited highlight speakers for the LC-CSL joint session on August 20:
Phokion Kolaitis, University of California Santa Cruz and IBM Research -Almaden
Wolfgang Thomas, RWTH Aachen

CSL plenary speakers:
Laura Kov=C3=A1cs, Vienna University of Technology
Stephan Kreutzer, Technische Universit=C3=A4t Berlin
Meena Mahajan, Institute of Mathematical Sciences, Chennai
Margus Veanes, Microsoft Research


SPECIAL AND AFFILIATED EVENTS
-------------------------= -------------------------
In addition to the plenary and contributed talks CSL2017, the conference will also include the following events:
=E2=80=A2 Joint session of CSL2017 and LC2017 in the morning of August 20, consisting of four plenary highlight talks, offered by speakers from both conferences.
=E2=80=A2 Presentation of= the Alonzo Church award for Outstanding Contributions to Logic and Computation,
=E2=80=A2 Presentation of= the EACSL Ackermann award for Outstanding Dissertation on Logic in Computer Science,
=E2=80=A2 CSL-affiliated workshops, to be held as CSL co-located events:
=E2=80=94 Workshop on Logic and Algorithms in Computational Linguistics LACompLing=E2=80=9917 (August 18-19)
=E2=80=94 Workshop on Logical Aspects of Multi-Agent Systems LAMAS2017 (August=C2=A025)
=E2=80=94 Workshop on Logic and Automata Theory (in memory of Zoltan Ezik) (August 25)


SUBMISSIONS
---------------------
The CSL2017 conference proceedings will be published in Leibniz International Proceedings in Informatics (LIPIcs).

Authors are invited to submit contributed papers of no more than 15 pages in LIPIcs style (including references), presenting not previously
published work, fitting the scope of the conference. The LIPIcs style files and instructions for authors can be found here: https://www.dagstuhl.de/en/publications/lipics/instructions-for-autho= rs

The submission of contributed papers will be in two stages:
* abstracts, due by March 24, 2017 (AoE);
* full papers, due by March 31, 2017 (AoE).

The submissions must be done via the EasyChair page for the conference:

Submitted papers must be in English and must provide sufficient detail to allow the Programme Committee to assess the merits of the paper. Full proofs may appear in a clearly marked technical appendix which will be read at the reviewers=E2=80=99 discretion. Authors are strongly encou= raged to include a well written introduction which is directed at all members of the PC.

Papers may not be submitted concurrently to another conference with refereed proceedings. The PC chairs should be informed of closely related work submitted to a conference or a journal. Papers authored or co-authored by members of the PC are not allowed.

In addition, there will be an opportunity for short oral presentations at the conference. Abstracts for such oral presentations must be submitted through the Easychair submission webpage, under the category ``short presentations=E2=80=99', by June 4, 2017. They will not be included i= n the proceedings.


PROGRAMME COMMITTEE
-------------------
=E2=80=A2 Parosh Aziz Abd= ulla (University of Uppsala),
=E2=80=A2 Lars Birkedal (University of Aarhus),
=E2=80=A2 Nikolaj Bjorner (Microsoft Research),
=E2=80=A2 Maria Paola Bon= acina (Universit=C3=A0 degli Studi di Verona),
=E2=80=A2 Patricia Bouyer-Decitre (LSV, ENS Cachan),
=E2=80=A2 Agata Ciabattoni (University of Viena),
=E2=80=A2 Thierry Coquand (University of Gothenburg),
=E2=80=A2 Mads Dam (KTH, Stockholm), PC co-chair
=E2=80=A2 Ugo Dal Lago (University of Bologna),
=E2=80=A2 Anuj Dawar (Cam= bridge University),
=E2=80=A2 Valentin Goranko (Stockholm University), PC co-chair
=E2=80=A2 Maribel Fernand= ez (King's College London),
=E2=80=A2 Martin Grohe (R= WTH Aachen),
=E2=80=A2 Lauri Hella (University of Tampere),
=E2=80=A2 Joost-Pieter Ka= toen (RWTH Aachen),
=E2=80=A2 Orna Kupferman (University of Jerusalem),
=E2=80=A2 Leonid Libkin (University of Edinburgh),
=E2=80=A2 Angelo Montanari (University of Udine),
=E2=80=A2 Catuscia Palami= dessi (Paris, INRIA),
=E2=80=A2 Frank Pfenning (Carnegie Mellon University, Pittsburgh)
=E2=80=A2 Ram Ramanujam (Institute of Mathematical Sciences, Chennai),
=E2=80=A2 Jean-Francois R= askin (University of Bruxelles),
=E2=80=A2 Thomas Schwenti= ck (TU Dortmund University),
=E2=80=A2 Viorica Sofronie-Stokkermans (University of Koblenz-Landau),
=E2=80=A2 Thomas Streicher (University of Darmstadt),
=E2=80=A2 Jean-Marc Talbot (University of Aix-Marseille),
=E2=80=A2 Luca Vigan=C3= =B2 (King's College London),
=E2=80=A2 Ron van der Mey= den (UNSW Australia),
=E2=80=A2 Lijun Zhang (Ch= inese Academy of Sciences, Beijing).


ORGANISING COMMITTEE
--------------------
=E2=80=A2 Mads Dam (OC co-chair), Department of Theoretical Computer Science, KTH
=E2=80=A2 Valentin Gorank= o (OC co-chair), Department of Philosophy, Stockholm University
=E2=80=A2 Dilian Gurov (Workshops chair), Department of Theoretical Computer Science, KTH
=E2=80=A2 Roussanka Louka= nova, Department of Mathematics, Stockholm University
=E2=80=A2 Peter LeFanu Lumsdaine, Department of Mathematics, Stockholm University
=E2=80=A2 Anders Lundsted= t, Department of Philosophy, Stockholm University
=E2=80=A2 Erik Palmgren (= OC co-chair), Department of Mathematics, Stockholm University
=E2=80=A2 Henning Strandi= n, Department of Philosophy, Stockholm University


CONTACTS AND ENQUIRIES:
--------------------
With enquiries on organising matters, send email to: csl2017<at>philosophy.su.se
With enquiries on scientific and programme issues, send email to: csl2017<at>easychair.org

--------------A247E7F8A0D90B0EFC9DE10D--