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 EFC795D4 for ; Mon, 7 Oct 2019 12:28:39 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.67,268,1566856800"; d="scan'208";a="405055301" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 07 Oct 2019 14:28:38 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id ABEA97F214; Mon, 7 Oct 2019 14:28:38 +0200 (CEST) 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 142AF7EC77 for ; Mon, 7 Oct 2019 14:21:11 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=gianluca.dellavedova@unimib.it; spf=Pass smtp.mailfrom=gianluca.dellavedova@unimib.it; spf=None smtp.helo=postmaster@mail-lj1-f196.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AsnOSmBZprv4pxbNFKMHiULn/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZrs+9bnLW6fgltlLVR4KTs6sC17ON9f2/Ejddqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjWwba58IRmsrQjctMYajIViJ60s1hbHv3xEdv?= =?us-ascii?q?hMy2h1P1yThRH85smx/J5n7Stdvu8q+tBDX6vnYak2VKRUAzs6PW874s3rrgTD?= =?us-ascii?q?QhCU5nQASGUWkwFHDBbD4RrnQ5r+qCr6tu562CmHIc37SK0/VDq+46t3ThLjlS?= =?us-ascii?q?AIOiI3/W3Ll8B8lb5XrA+8rBB73oLZYISZOfxjda3fYNwaX3JMUclRWSJPAY2y?= =?us-ascii?q?cpUBAPYOM+tFtIT9u0IOoAGiCQWwGO/iyDlFjWL2060g1OQhFBnL0g0hH90Utn?= =?us-ascii?q?TUqMj1O7sIXuuowqfH0zHDb/dM1jzg54fHbA0uofaSXb1qbMHczkYvFwLfgVWW?= =?us-ascii?q?rYzlIi+a2f4Xv2eG8eVgUeavhHQ5qw5vvzevwdkshZPSi4IIzFDE9CB5wIcuKt?= =?us-ascii?q?GiSU57fcepHZ1NvC+UMIt2R9ktQ2BuuCsi1LIJo4W7fSgWx5Qn3RHfauaHf5KP?= =?us-ascii?q?4hL5W+adOSx4hGp/eLK+gRay/lavyvfmWsao11ZKqzJJncPQuXAMyRPf8NaISu?= =?us-ascii?q?Z780y82jiPzxje5v9YLU0wj6bWKJ4szqQumpYPsknPBDL6lUH3gaKQa04q4PKn?= =?us-ascii?q?6/79bbXjvpKcN5F7igX5Mqk2n8ywG+U4MgwXU2if++SwyaTv/UPkTLhOj/A6iK?= =?us-ascii?q?bZsJfdJcQUoq62HRVZ3Zok6xa6Fzum0dIYkmcbLF9dZh6Lk4zkN0vNLf34F/uz?= =?us-ascii?q?nUignTRxy/zbOrDsA43BLn3Zn7fgebZ95VRcyA02zd1H6JJUC6sOIPT3Wk/sqN?= =?us-ascii?q?PXFAU1PBGqzObjDNVyzJ0eVnySDa+eLqPdq0SF5v8pI+mNYY8VuS3yJ+Ik5/7y?= =?us-ascii?q?lXM5g0MSfbG13ZsLb3C1BuhpLF+cYXrom9sBFWYKvhEiTOHxk12DUTtTZ26oUK?= =?us-ascii?q?4m5zE7DpimDYbZSYy3jryBxnTzIpoDSWFPDFSRGn6gW4iAX/5EVi+eJdFo2mgL?= =?us-ascii?q?VLGnT5Iq3FeiuQv+wqRqIu3K8wUFs5Pm1dIz5vGFxj8o8jkhIMWU1WWQRGg8sm?= =?us-ascii?q?4MQzZ+4q1zplJ0ggOM0KF+h+FTHJpf6vdNWxk3OZnCxsRnDdH3WwiHf8vfGwXu?= =?us-ascii?q?ecmvHTxkFoF5+NQJeUsoQoj730LzmhGyCrpQrISlQZk986bSxX/0fp8v1nDH0a?= =?us-ascii?q?gryVg6EJIWaT+Ww5Vn/g2WPLbn1l2Dnv/zJ7ka3SvM/iGC0TjW5RwKYEtLSazA?= =?us-ascii?q?GEsnSA7WoND+vB2QSravDfEjMFIEx5fTdO1FbdrmiVgAT/DmaozT?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CTBABpLZtdWMTQVdFmhA0vJgFGgQUWF?= =?us-ascii?q?INjQI5gnTQJAQMBDCUKAQGEOwECAYJdGwcBBDQTAgwBAQQBAQECAQIDBAEGARc?= =?us-ascii?q?MCgYphTYMgjoMgxgGCwYdAQEmBQ0YDQ8CJgIkEgEFAQgaGwwOgwGCCg+RT48Mg?= =?us-ascii?q?QM8iyaBMoJ9AQEFhXeBPwMGEnoojA6CF4ERgmRsgkgZBBiBAINUglitQAeBV06?= =?us-ascii?q?HCY4PG4ZbkmSWTY4YgxIPI4FGgXozGoEkBoI1UBAUVoRsgQGBbYImhT4DQjCRb?= =?us-ascii?q?AEB?= X-IPAS-Result: =?us-ascii?q?A0CTBABpLZtdWMTQVdFmhA0vJgFGgQUWFINjQI5gnTQJAQM?= =?us-ascii?q?BDCUKAQGEOwECAYJdGwcBBDQTAgwBAQQBAQECAQIDBAEGARcMCgYphTYMgjoMg?= =?us-ascii?q?xgGCwYdAQEmBQ0YDQ8CJgIkEgEFAQgaGwwOgwGCCg+RT48MgQM8iyaBMoJ9AQE?= =?us-ascii?q?FhXeBPwMGEnoojA6CF4ERgmRsgkgZBBiBAINUglitQAeBV06HCY4PG4ZbkmSWT?= =?us-ascii?q?Y4YgxIPI4FGgXozGoEkBoI1UBAUVoRsgQGBbYImhT4DQjCRbAEB?= X-IronPort-AV: E=Sophos;i="5.67,268,1566856800"; d="scan'208";a="405053633" X-MGA-submission: =?us-ascii?q?MDEI30sL7xMH0jolacoHsOAFckJwhC3Keh8DVz?= =?us-ascii?q?Qy6Z7Hq6kxNJRx/z9QRLrMbny8u2gSlHgkTwLKVpbq4TQ4yhit7AcYmM?= =?us-ascii?q?+k9t3ZF8mTfXbJu3ETNhdasWXrLUL/CQ/YREvT32BvWg5kzOPm0ArRS6?= =?us-ascii?q?55S0lT5zx7NXY5Mi49s5Oagg=3D=3D?= Received: from mail-lj1-f196.google.com ([209.85.208.196]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 07 Oct 2019 14:21:10 +0200 Received: by mail-lj1-f196.google.com with SMTP id b20so13405081ljj.5 for ; Mon, 07 Oct 2019 05:21:10 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=unimib.it; s=google; h=mime-version:from:date:message-id:subject:to :content-transfer-encoding; bh=ZGiT3zH2j/0LF7T9zSGJX4uOiv8CdQYOzXOkLhiARVk=; b=hHkUrbZmXtOTYMz6wfVUOki/DSpuE06JwFChq73nUcamaaBKIxqJV+npKsw7/Y373n fuAw4nHpQeTI2ppl7jajLxxlIUefKexjBysNukpxdzRmrwf/J3+v5Htk9K0RecuKL5uj NdO4yCqc0Mx7M8sYbRIWGnyGDyKSjeHh8XR6xw9SsheP7ZlWw2LZtHTtIX4xthwoH7U/ pafdvuOreTjQruskxsNoTUewJGH0vi8fkX/p0iZduOaMCD12cbO1ruTUu0gaeCBBYPjL fAi3Ne4uLh9ACMDEzkABntmyLpbJQ+urSrrNdCIeF9136U89lWNpkPq5OQj29HiMzs86 zp0g== 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 :content-transfer-encoding; bh=ZGiT3zH2j/0LF7T9zSGJX4uOiv8CdQYOzXOkLhiARVk=; b=aTaXAwYGDjnm+xcA+ayZHMPNV2DIlkhCxXnD+1nKT2N37Bn/ZeGXgyHDSAarsy7D/r jdfi1COydyovIutOvcS8WnanxbxmWohmPTkyuUZLgF9H0wmOumTyNO/YrtOPhFCTwhEJ rf/4yGtAtW62XWU75stRZEzNnoazIO83flnuJxcUOkWQ76wqJBYix8+8iVWxX+uDVUuD wEI5tzt4HAhSgsm0WW3xg1RC7C4dkgMoStJ1rELwyonqQ+ZpxcD+yB9del9icGg55/1w 8/8MSt06jXOr+hryLSWmzkduWrc4mJyRUpNaUEgK8rOA5jgUDeJDJA4ydKHrFzrboJ/R lv8Q== X-Gm-Message-State: APjAAAVpz32mib0xwlesJhNhgx3BtTVezod81lBbWMkpRGz6WN9HkK79 pvo7u9R9MCa+3yYDgC8eh2uNH8Het7z8RIIWf8Zomw== X-Google-Smtp-Source: APXvYqzwro5zFqZxnp81l+SH9SDbCmIAAfR430XRGeId00m5/D9LLC8H6eT4KiXNqQXQaaEddk/TkKLqJ7KJZcxkJlg= X-Received: by 2002:a2e:9854:: with SMTP id e20mr17689584ljj.72.1570450869431; Mon, 07 Oct 2019 05:21:09 -0700 (PDT) MIME-Version: 1.0 From: Gianluca Della Vedova Date: Mon, 7 Oct 2019 14:20:58 +0200 Message-ID: To: Gianluca Della Vedova Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Validation-by: gianluca.dellavedova@unimib.it Subject: [Caml-list] Computability in Europe 2020 FIRST CALL FOR PAPERS: Reply-To: Gianluca Della Vedova X-Loop: caml-list@inria.fr X-Sequence: 17839 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: CiE 2020: Salerno, Italy June 29 - July 3, 2020 https://www.acie.eu/cie-conference-series/cie2020 https://www.acie.eu IMPORTANT DATES: Deadline for abstract registration: 3 January 2020 AOE Deadline for article submission: 17 January 2020 AOE Notification of acceptance: 29 February 2020 Final versions due: 15 March 2020 Deadline for informal presentations submission: 10 April 2020 (The notifications of acceptance for informal presentations will be sent a few days after submission.) Early registration before: 1 May 2020 CiE 2020 is the 16th conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. Previous meetings have taken place in Amsterdam (2005), Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponta Delgada (2010), Sofia (2011), Cambridge (2012), Milan (2013), Budapest (2014), Bucharest (2015), Paris (2016), Turku (2017), Kiel (2018), and Durham (2019). TUTORIAL SPEAKERS: - Virginia Vassilevska Williams (MIT) - Martin Ziegler (Korea Advanced Institute of Science and Technology) INVITED SPEAKERS: Paolo Boldi (University of Milan) V=C3=A9ronique Bruy=C3=A8re (University of Mons) Ekatarina Fokina (Vienna University of Technology) Amaury Pouly (CNRS Paris) Antonio Restivo (University of Palermo) Damien Woods (Maynooth University) HOSTED BY: Department of Computer Science, University of Salerno SPECIAL SESSIONS: Algorithmic Learning Theory Combinatorial String Matching Computable Topology History and Philosophy of Computing Large scale Bioinformatics and Computational Sciences Modern aspects of Formal Languages CONTRIBUTED PAPERS: Contributed papers will be selected from submissions received by the PROGRAMME COMMITTEE consisting of: Marcella Anselmo University of Salerno (co-chair) Veronica Becher Universidad de Buenos Aires Paola Bonizzoni University of Milano-Bicocca Laura Crosilla University of Birmingham Liesbeth De Mol Universit=C3=A9 de Lille 3 Gianluca Della Vedova University of Milano-Bicocca J=C3=A9r=C3=B4me Durand-Lose Universit=C3=A9 d'Orl=C3=A9ans Pawel Gawrychowski University of Wroclaw Mathieu Hoyrup LORIA Juliette Kennedy University of Helsinki Karoliina Lehtinen University of Liverpool Benedikt Loewe University of Amsterdam Florin Manea University of G=C3=B6ttingen Timothy McNicholl Iowa State University Klaus Meer BTU Cottbus-Senftenberg Turlough Neary University of Zurich Daniel Paulusma Durham University Arno Pauly Swansea University (co-chair) Karin Quaas University of Leipzig Viola Schiaffonati Politecnico di Milano Markus L. Schmid Universitaet Trier Alexander Schoenhuth Bielefeld University Thomas Schwentick Universitet Dortmund Marinella Sciortino University of Palermo Victor Selivanov Institute on Informatics Systems Mariya Soskova University of Wisconsin-Madison Peter Van Emde Boas Universiteit van Amsterdam Linda Brown Westrick Pennsylvania State University The CiE conferences serve as an interdisciplinary forum for research in all aspects of computability, foundations of computer science, logic, and theoretical computer science, as well as the interplay of these areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics. THE PROGRAMME COMMITTEE cordially invites all researchers (European and non-European) to submit their papers in all areas related to the above for presentation at the conference and inclusion in the proceedings of CiE 2020 at https://easychair.org/conferences/?conf=3Dcie2020. Papers must be submitted in PDF format, using the LNCS style (available at https://www.springer.com/gp/computer-science/lncs/conference-= proceedings-guidelines) and must have a maximum of 12 pages, including references but excluding a possible appendix in which one can include proofs and other additional material. Papers building bridges between different parts of the research community are particularly welcome. The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag.