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 ESMTPS id 2CC922E03 for ; Wed, 29 Jun 2022 14:56:02 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=from:content-transfer-encoding:mime-version:message-id: date:to:subject:reply-to:sender:list-id:list-help: list-subscribe:list-unsubscribe:list-post:list-owner: list-archive; bh=j9h64CQNHeVcduZYFpXrDmCjlAE4Zlhtc694Ot5x6JU=; b=gsPd0M930BItfQDJmDySIo3qhb6cFP1z88+U2l4bU8PsnaZGvnKg+hW6 ooA7hyoCW7MmuWrJY6p8htdelbyzoOVKlTf8Yq5Dv5lZdPt+XhDlv10U7 szI5DYDLKxYWUIXCSLlrQrjhF5lcx9BEi77GpS15IZpgzWSPpUK4aA0q1 0=; Authentication-Results: mail2-relais-roc.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@sympa.inria.fr Received-SPF: SoftFail (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr is inclined to not designate 128.93.162.160 as permitted sender) identity=mailfrom; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="caml-list-owner@inria.fr"; x-conformance=spf_only; x-record-type="v=spf1"; x-record-text="v=spf1 ip4:192.134.164.0/24 mx ~all" Received-SPF: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@sympa.inria.fr) identity=helo; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@sympa.inria.fr"; x-conformance=spf_only X-IronPort-AV: E=Sophos;i="5.92,231,1650924000"; d="scan'208";a="43463821" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 29 Jun 2022 16:56:01 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id E9510E436E; Wed, 29 Jun 2022 16:56:00 +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 892D8E2680 for ; Wed, 29 Jun 2022 16:55:59 +0200 (CEST) IronPort-SDR: +eNt4PzijF2K185VKnSD2JtX3bn4sQqslq7KDkyt/D/JwysOpNdjU7dOKpRPiXYn5joWQLfN4j TBUswhJM1PcRUvM29E+3e3lJO2zczhRnuoGO3u6ocoHh8/zAGEiuAE/Yipbppm4mJwIfeg0FKc iTbT9+Rnf5Sr6yB9kh9hocwwPZ2D/V1dKu7+6a7zfR5FnkQjqtjfFZ53kUGpTgPq8sRrsicMCs YAh1bIlP/ozOoHfUD78X7pqfv34nnXPDWtvcXPmPNyQGKvAhbE79Tr46jPdaGg6aqOb9RDXux+ jrRSIW+EZDHDkLtZ2/4G9FcF X-IPAS-Result: =?us-ascii?q?A0BlAQCgZ7ximAZgAMFaHgEBCxIMQINLKIEBVi4EC4USi?= =?us-ascii?q?QCFZ4IllmKIEAEBCQEDAQ03CQIEAQGKTwIdBwEENBMBAgQBAQEBAwIDAQEBA?= =?us-ascii?q?QEBAwEBBQEBAQIBAQIEBAETAQEBAQEBAQEJFAcGDAUQAwtGZGKBT4F6BgQwD?= =?us-ascii?q?YI1IoQPBkUqDg4CJgKDF1gBgxgCBQuQAYx9jxeBMYEBg2VBSIMWCYFsBoERL?= =?us-ascii?q?I53JxyCDYEVJwwDDYYHBBiFHDeCLgSZdjkDCQQHBS4vEoEFG24BCAYGBwgCB?= =?us-ascii?q?TAGAgwYFAQCExJTChICEgwKGw4ORhcMDwMSAxEBBwIJEggVKwgDAgMIAwIDK?= =?us-ascii?q?wIDFgkHCgMdCAocEhAUAgQRHgsIAxkeLAkCBA4DQAgLCgMRBAMTGAkWCBAEB?= =?us-ascii?q?gMILw0nCwMUDQEGAwYCBQUBAyADFAMFJAcDIQ8mDQ0EIh0DAwUlAwICGwcCA?= =?us-ascii?q?gMCBhUGAgI/Ly4NCAQIBDckDwUCBy8FBC8CHgQFBhEIAhYCBgQFAgQEFgIQC?= =?us-ascii?q?AIIJxcHEzMZAQVZEAkhHCkQBQYWAwsWbgUHJhgPKDQ2PCwfGwqBFwMsDgICG?= =?us-ascii?q?RYDBAQDAgYaAwMXCwIQAg0CGgY3AxYGDygdm1ougUETfQ09C1g6khmaZZQNg?= =?us-ascii?q?1iCSYFShwaUdgQtg3WGSiKMATiQbV2HJI9OjTGUVwITVgGETjWBCjlrgRMzG?= =?us-ascii?q?ggpBzsqAYI+PRABAgECAQwBAgIBAgECAQIBCAEBAgFTjWKEDIRhLoUdQG8CB?= =?us-ascii?q?gEKAQEDCYVGiF5dAQE?= IronPort-PHdr: A9a23:fJVGXx/XzqMz5P9uWaO3ngc9DxPPW53KNwIYoqAql6hJOvz6uci4Z wqGuaQm3AeBdL6YwsoMs/DRvaHkVD5Iyre6m1dGTqZxUQQYg94dhQ0qDZ3NI0T6KPn3c35yR 5waBxdq8H6hLEdaBtv1aUHMrX2u9z4SHQj0ORZoKujvFYPekcq62/qv95DcZwhEizmwba9vJ xiqsAvdsdUbj5F/Iagr0BvJpXVIe+VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4U KdXDC86PGAv5c3krgfMQA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb7S60/Vza/4 KdxUBLmiDsIOTE2/2/KicJ+grxVrhW6qhxj2o7UZZ2ZNPpicq7fe94RWGpPXtxWVyxEGo6xc pEAD/AdPelGrIn2ul4ArR+/BQmqGejizTxIhnv33a08yOkhFADG3Ak9H9MAqnjbssj6NLoIX eCtyKnF1DPOZO5Z1jnh8obHaAwhoe2SUrJqd8rc0VUjGgHLg1iQtIDoPjKY2/gOvmaV8uduW +yihmE7pgx+oDWi2Mkhh4vGiI8Rzl3I6Dl1zYY1KNGkRkB1bsKpHZVWuiqHOYV2RcYiTHtpu CY80rAGvJ+7fC0XyJUp3RLQdeGIc5WS7hL7UOadOSl3i2h5d7Kkgxa+60+gyvfzVsWszllFt DFFk9nQuXANzRPT69KHRuF6/ke71jaDzx3c5ftLIUAviarbNp4hwroqmpUOr0vOGDL9lkbuj KKOa0kp/ual5/77brn8opKRNpV4hwDmPqgzm8GyD/40PhUUU2WY+umwzqPv8EvkS7tQlPI2i LPWsJXCKMQbuKG5BwhV354m6xmlDjem1M4UnXwGLFJAZRKGgZLlNE/TL/DlF/u/m1CsnC9qx /DAILLhHo3AImXHnbrvZ7px91RQxQ4ywNxF5p9YErQBL+jyWk/1utzYFBg5MwmszubkDNV91 4UeVHmKAq+YNaPSrFGJ6vgxLOaReY8Zoi79K/w96/7olnA2gUUdcrWx3ZsLdHC4GexrL1iBb Xr2ntgBCXsKvhY5TOHylFKNSztTZ3KrU6I45zE7E56mAJzYRoGthbyBxD20EodXZmBAEFCME G3ne5+KW/cWO2quJZpqmzkAELygUJMJ1Be0tQa8xaA0APDT/3gyvIj/2ds9xOnSk1lm9jh1C eyY0mSQUCd5kn5OXztgj/M3mlB01lrWifswuPdfD9EGv5uhMy8/PJ/YlKlhDszqHxnGZpGPQ UqnRdOvBXcwSMgwypkAeRU1AM2s2zbE2SfiGLoJj/qTHpVh8abd2VD0JsNg1DDL2LRnl111C tBXOziej7VkvxPWG5aPlkyYk6iwcqFJ3yrM8k+GzG+TowdVXBM2SaGWFWsHaB7wqtL0rljHU 6foCbkjNV5ZztWeL6JRdtDzpVBPRfOlPdXbfn33lmutQw6Mrl+VRKztfWhVnCDUCUxf1hsW4 W7DLg8mQCGov2PZCjVqU1PpeULlt+dk+ju9SQcvwgeGYlcEtfL98wMJhfGaV/IY364V8CYnp TJuGV+h3tXQQ9Oergtlda9YbJsz+lBCnW7esgV8ONSnIcUAzhYddwVxl0bv0ghoTIhMjI4yq DJizQZ/L76ZzEIUbymRjtj7PrzaLHW3/Qj6Mv+NnAmYgYjQpPRqirxwsVjosQC3G1B39nxm1 4IQyH6A/tDRCxJUV5vtU0Ex/hw8prfAYyB76ZmHsB8keaSyrDLG3MokQeU/zRP1NdRbMaWsE Q73DtJcCsSzbvQu0QvMDFpMLKVJ+ag4MtnzPfiC2aiDOedlgS3ggGhapph5mBHE5293TejG2 IwAyveT016cVjvyu1ymt9j+hYFOYTx68nOX8SH/H8YRY6Rzed1OEmKyO4iswc04gZfxWnle/ VrlBlUc2cbvdwDAJ1D62ARR0wwQrxnF0WO7yz1yuzQoq7eAmiHC3qL6cFILN3VKS29rkVr3a dHl1JZCGhn2KVZhnQDt/UvgwqlHuKlzZ3LeR0tFZWmTTSkqU6e9sKaDf98a7ZoptStNV+HvK VueS7P7v14by3a6TjAYnHZqKXf06fCb11RghWmQLWh+ti/ccMB0nlLE4cDEAOVWxnwATTV5j j/eAh69OcOo9JOajcSm0Kj2WmS/W5lUaSSuw5mHsX7x5mlrBzW6nvWuhZvqHRV8ySuxhLwIH W3Y6Q3xZIXmzfHwMuZmeGFtBVrh9Ix3Fpw4io9619kAnHMdgJuS538Ol2z+ZM5a1azJZ30IX TcXwtTR7VuAugUrPjeTyon+THnY3tp5aozwfDYNwixkpZMCGOKO4bdDhycwvleosVebf61mh jlErJlmoH8C3bNT4FJ0nHuUWuJPRREBb36ry0TA7sji/vwGPyD3N+nukhI5x4zpDane8FgNA zChPM56TGkoqZ8jVTCEmHzrttO9KYKWNZRM7FvNz0uIju5eLI89m6g9njJpf236unIhxqgwi hkm2IHyqoGDLy8FELuRJBleO3W1YsoS/mqolqNChoON2JjpGJx9GzINVZ+uTPSyETtUu+61f wCJWCYxrHuWA9+9VUeW9VtmonTTEpuqK2DfJX8Xys9nTQWcI0oXiR4dXTEzlJo0Xg6ww8mpf EB87zEXrln2z3kEgvpvLAX6W3zDqR2Abz41TN6aLR9L8UdP61qTKcjfpuN/EidE/4Gw+QyAL mvIAmYARWoNW0GCGxXiJuz3tIKGq67JWKzgfJ6sKf2UpOdTVumF38eq24pipHOXM9mXe2JlF 7s901ZCWnZwH4LYnS8OQmoZjXGoDYbTqRGi9ylwts36/u7sXVel5o+ODZNXMNBy5Fa7jbrFL +ra10MbYX5Ik4gBw3PF0u1VxFkJlyRnbCWgC5wFvC/JCqfRn7JISRMXdmVrMIEbisB0lhkIM sndhNTv07d+hfNgEFZJW2vqncSxbNALKWWwXLsoLEOKMamZYzDH3ofvZfHlIVWxpOBdthn2v DeeDlClMzie0SHtBUjH2QRkiSCeIQMYtY2gNA5pWzCLcQ== IronPort-Data: A9a23:mPynIaBmsmrmXxVW//Llw5YqxClBgxIJ4kV8jS/XYbTApGgr1D0Dm GIeWm6DO67fZ2fwe4gja4vn8RgGsceGmt5iOVdlrnsFo1Bi+ZOUX4zBRqvTF3rPdZObFBoPA +E2MISowBUcFyeEzvuVGuG96yE6j8lkf5KkYAL+EnkZqTRMFWFw03qPp8Zj2tQy2YbjUlvU0 T/Pi5S31GGNi2Yc3l08sPrrRCNH5JwebxtF1rCWTakjUG72zxH5PrpHTU2CByeQrr1vIwKPb 72rIIdVUY/u10xF5tuNyt4Xe6CRK1LYFVDmZnF+A8BOjvXez8A/+v5TCRYSVatYowqngvJX9 vFRicO5FSYDL4udqdwAWiANRkmSPYUekFPGCX22sMjVykzDbmSqzvlzSlkyVWEa0r8mWicWs 61Gbm5lghOr34paxJq4TuhqrsEiKdT0eo4Tpzd4yVk1CN5/EciSEvWXv7e02h8zgMdTQ//MO /MXM2osMB7kYkBqY1QuXcdWcOCA3CKnLm0J9jp5v5Ef6GHWyEl10aPxGMHEf8SDA8RThEeR4 Gzcl1kVGTkfPd2bjz+E92+zwOLDgGXjXOr+CYFU6NZVrkCx4FI3FCFJXAeai+if23+GRttmf hl8FjUVkYA+80miT9/YVhK+oWKZshN0Z+e8A9HW+ynQkPCOslvx6nwsFGcZMIJ53CMjbWFC6 7Ofoz/+LQRL2FF/YU2U7Kydslte0gBNdSpfPHdsoectxtDxp58yh3ryojtLFae0ipvwGDTt3 HaHoDV4n7F7YS83O0eToAGvb9GE/8ihousJCuP/BT/NAuRRP9XNWmBQwQKHhcus1a7AJrV7g FAKmtKF8McFBoyXmSqGTY0lRe/0uarZaWWA2Q8yQvHNEghBHVb+Jui8Bxkjfy9U3josJlcFn WeJ6VILtPe/wlPwM/Yfj32N5zQCl/O4SIS0CJg4n/JTZJlveRWc/T1/LUmel3/kilMljskC1 WSzLK6R4YIhIf0/llKeHr5FuZdyn3BW7T6DFPjTkkX8uZLDNSH9YelfbTOmMLtjhIva+1q9z jqqH5bQo/mpeLegMnC/HE96BQ1iEEXX8ris9ZYHLbPZclc2cIzjYteIqY4cl0Vet/w9vo/1E ruVASe0EXLz2i/KLxukcHdmZO+9VJpztythbyktOEu3nXUvfMC36P5HJZcweLAm8s1lzOJ1E KlVKpvZXKwXR2SV4SkZYLn8sJdmKEahizWRMnf3ezM4ZZNhGVDEo4e2Ygv1+SASJSOrrs9i8 aa43wbWTMNbFQRvBcrbcty1yFa1sSRPke5+RRKScNxSfVjztoVmNmrpiqZvcc0LLBzCwBqc1 hqXXkdI9LeU/ddt/YCQ166eroqvH+9vJWZgHjHWveSsKC3X3mu/2oscAuyGSi/QCTHv86K4a OQLk/ylaK8bnExHupZXGqpwyf5s/MPmorJXw1g2HHjPaFj3WLpsLmPfgptKv6xJgLpYvBapH E+D559CPezRas/iFVcQIisjb/iCiqFEy2eLs6xtLRWo/jJz8ZqGTV5WYUuGhhtdG6R4bdE+y uA7tc9ItwHm0kg2MsyLhzx//niXKiBSSL0us5wXXN3xhgwwxg0QaJDQEHapspSGatEKN0gvP yDSiabfwaxYnxKQf302HHnL/OxcmZVR6EAbkgZcfwyEyojfm/s6/BxN6jBpHA5b+RVwzO8ua HNgMFd4JPvS8m4w1tRDRW2lBypIGAadph7q01IMmWDUJ6Vyurch8IHp1SexEEElH6Z0ezFa+ PedyWP4TnDncNy3xi9atYuJbRD8ZYQZy+EAsJnP8we5810SZDvgn7DoaGYV7QPjaS/0rFOSv vFkpY6cdoWiXRP9YMQH502y0LUVVQ/CKWBfB+lllE/M8acwZxnqsQWzx4uNlg+h6hAEHYJUy yCjGy6XaymD6Q== IronPort-HdrOrdr: A9a23:tqWjo655hvqCuZcRIwPXwN3XdLJyesId70hD6qkXc31om62j+f xG885rsCMc5Ax/ZJhfo6HjBEDwexPhHPdOiOF7UNuftWLdyQiVxe9ZnO/fKkXbakrDHzFmv5 tdTw== X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="5.92,231,1650924000"; d="scan'208";a="18099852" X-MGA-submission: =?us-ascii?q?MDFr9dm6Xrp63BsKpq6LT3ElpEHuit6GEjQa0F?= =?us-ascii?q?KcuLbfWs0++1EuGGgDdZUXjqF+i5MGJ0Tji8eNE5C86Dw5nc3j6ECVo0?= =?us-ascii?q?tiqmAdca61r9PS69Tq406e+R+L1VgLu9JaM3b31JsljBR4d5yxTu7RKF?= =?us-ascii?q?tJzZiL+hWWs3G0nBvFV8WjPg=3D=3D?= Received: from mail.mimuw.edu.pl ([193.0.96.6]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 29 Jun 2022 16:55:37 +0200 Received: from localhost (localhost [127.0.0.1]) by duch.mimuw.edu.pl (Postfix) with ESMTP id A210561F39CD1 for ; Wed, 29 Jun 2022 16:55:36 +0200 (CEST) X-Virus-Scanned: amavisd-new at mimuw.edu.pl Received: from duch.mimuw.edu.pl ([127.0.0.1]) by localhost (mail.mimuw.edu.pl [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id BeSxE_kIbcTv for ; Wed, 29 Jun 2022 16:55:34 +0200 (CEST) Received: from smtpclient.apple (visitor2-nat.cs.ox.ac.uk [163.1.88.2]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by duch.mimuw.edu.pl (Postfix) with ESMTPSA for ; Wed, 29 Jun 2022 16:55:33 +0200 (CEST) From: Bartek Klin Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Mac OS X Mail 15.0 \(3693.60.0.1.1\)) Message-Id: Date: Wed, 29 Jun 2022 15:55:33 +0100 To: caml-list@inria.fr X-Mailer: Apple Mail (2.3693.60.0.1.1) Subject: [Caml-list] CSL'23 - last call for papers Reply-To: Bartek Klin X-Loop: caml-list@inria.fr X-Sequence: 18811 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Last call for papers (CSL'23) https://csl2023.mimuw.edu.pl/ Abstract submission deadline: July 9, 2022 (AoE) =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Computer Science Logic (CSL) is the annual conference of the European = Association for Computer Science Logic (EACSL), see = https://www.eacsl.org/.=20 It is an interdisciplinary conference, spanning across both basic and = application oriented research in mathematical logic and computer = science. =20 CSL'23 will be held on February 13-16, 2023, in Warsaw, Poland, with = satellite workshops on February 17. It is planned as an on-site event, = with support for remote presence for those participants who are unable = to come for pandemic reasons. In case of a deteriorating pandemic = situation, we may decide to organize the conference as an online-only = event. The final decision about this will be made in November 2022. Keynote speakers: ---------------------- - Claudia Faggian (Universit=C3=A9 de Paris, France) - Nina Gierasimczuk (Danish Technical University, Denmark) - Dale Miller (Inria Saclay, France) - Micha=C5=82 Pilipczuk (University of Warsaw, Poland) - Davide Sangiorgi (University of Bologna, Italy) Submission guidelines: ---------------------- 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' discretion. Authors are strongly encouraged to = include a well written introduction which is directed at all members of = the PC. The paper should be submitted via Easychair: = https://easychair.org/conferences/?conf=3Dcsl2023 The CSL 2023 conference proceedings will be published in Leibniz = International Proceedings in Informatics (LIPIcs), see = https://submission.dagstuhl.de/documentation/authors.=20 Authors are invited to submit contributed papers of no more than 15 = pages in LIPIcs style (not including appendices or references), = presenting unpublished work fitting the scope of the conference. 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. At least one of the authors of each accepted paper is expected to = register for the conference in order to present their papers. Important dates: ---------------- Abstract submission: July 9, 2022 (AoE), Paper submission: July 16, 2022 (AoE), Notification: September 30, 2022, Final version: October 30, 2022, Conference: February 13-16, 2023 List of topics: --------------- The following list is not exhaustive but indicates the scope of interest = for CSL'23: - automated deduction and interactive theorem proving - constructive mathematics and type theory - equational logic and term rewriting - automata and games, game semantics - modal and temporal logic - model checking - decision procedures - logical aspects of computational complexity - finite model theory - computability - computational proof theory - logic programming and constraints - lambda calculus and combinatory logic - domain theory - categorical logic and topological semantics - database theory - specification, extraction and transformation of programs - logical aspects of quantum computing Programme Committee: ------------------ Matteo Acclavio (University of Luxembourg, Luxembourg) Patricia Bouyer-Decitre (LSV, CNRS & ENS Paris-Saclay, France) Agata Ciabattoni (TU Wien, Austria) Diana Costa (University of Lisbon, Portugal) Mart=C3=ADn Escard=C3=B3 (University of Birmingham, UK) Rajeev Gor=C3=A9 (The Australian National University, Australia) Giulio Guerrieri (Huawei Edinburgh Research Centre, UK) Shin-ya Katsumata (National Institute of Informatics, Japan) Delia Kesner (Universit=C3=A9 de Paris, France) Sandra Kiefer (RWTH Aachen University, Germany) Bartek Klin (University of Oxford, UK, co-chair) Naoki Kobayashi (The University of Tokyo, Japan) Stepan Kuznetsov (Steklov Mathematical Institute of RAS, Russia) Martin L=C3=BCck (Leibniz Universit=C3=A4t Hannover, Germany) Meena Mahajan (The Institute of Mathematical Sciences, HBNI, India) Filip Murlak (University of Warsaw, Poland) Daniele Nantes (University of Bras=C3=ADlia, Brazil) Elaine Pimentel (UCL, UK, co-chair) Paolo Pistone (University of Bologna, Italy) Ana Sokolova (University of Salzburg, Austria) Lutz Stra=C3=9Fburger (Inria Saclay =E2=80=93 =C3=8Ele-de-France, = France) Pascal Schweitzer (TU Darmstadt, Germany) Martin Zimmermann (Aalborg University, Denmark) Yoni Zohar (Bar Ilan University, Israel) Organisation committee: ----------------- Lorenzo Clemente (chair) Wojciech Czerwi=C5=84ski Rados=C5=82aw Pi=C3=B3rkowski=