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 2D35C5D5 for ; Tue, 17 Dec 2019 15:17:14 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.69,325,1571695200"; d="scan'208,217";a="420709005" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 17 Dec 2019 16:17:09 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id C8DB87F3B5; Tue, 17 Dec 2019 16:17:09 +0100 (CET) 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 60EF77F345; Tue, 17 Dec 2019 15:54:51 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=acie@acie.eu; spf=None smtp.mailfrom=acie@acie.eu; spf=None smtp.helo=postmaster@antea.dnshigh.com IronPort-PHdr: =?us-ascii?q?9a23=3AckOpPxMupjuC15LQZugl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0LfX/rarrMEGX3/hxlliBBdydt6sfzbCO7Ou+BiQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9HiTagb75+Ngu6oRnTu8UZgIZvKLs6xwfUrHdPZ+?= =?us-ascii?q?lY335jK0iJnxb76Mew/Zpj/DpVtvk86cNOUrj0crohQ7BAAzsoL2465MvwtRne?= =?us-ascii?q?VgSP/WcTUn8XkhVTHQfI6gzxU4rrvSv7sup93zSaPdHzQLspVzmu87tnRRn1gy?= =?us-ascii?q?gAKj459nzYis1rjK1HpBKhoAd/zJDJb4qIMPZzcb/RcdYcSGFcXMheSjZBD5uz?= =?us-ascii?q?YIQTAeQPPftWoYryplQAthaxHxWgBOH1xzNUnHL736s32PkhHwHc2wwgGsoDv2?= =?us-ascii?q?7Io9X0KqgfSvq6w7XJzTrddf9Zxyr95Y7VeR4vpvGMWKh/ccvXyUQ3CQzKlE6Q?= =?us-ascii?q?qIz5MDOVzOsNsnKb4/BnVeK1hG4rsxpxoiC1xsctjInJiZwaykre+Splx4Y1IM?= =?us-ascii?q?W0R1Rnbt6lDpRcrT+VN5ZwT8g/QG9ooD43xqAFtJO7ZiQHy4krywTQZvCdboSE?= =?us-ascii?q?/hbuWeCMKjlinn1lYqiwhxOq/Eig1OL8Us603U5QoSpDjtnDqGoC2wbO5ciBUf?= =?us-ascii?q?t9/kah2TmP1wzJ9u5EJkU0mbLaK54n3LEwioIevVnAEyL2gkn7j7Kael8r9+Sy?= =?us-ascii?q?9ujrfrHrqoeZN4BuiwH+Nqoumta4AeQ9KgUBRXSU+eWi27D450L2XLRKgeMsnq?= =?us-ascii?q?bHrZDWPd4bqbKhAw9JzoYj7A6yACu839QdmXkLNVZFeBOcj4j1IFzOO/D5DfKn?= =?us-ascii?q?g1u2ijtrxvbGPqfgAprXNHTDnq3hd65n60FA0Aoz0cxf55VMB74dJ/LzQ1b9u8?= =?us-ascii?q?DcDh8kKAO52P3nCdV41oMGQ22DGK6ZMKXIsV+J/O0jOeeMZJVG8Ar6fuUj6//1?= =?us-ascii?q?hns+glIROLOk1poPaX2+Au80cBa3e33p194KEGoitwE/QarnlQ7RGQVPbmq/Cv?= =?us-ascii?q?pvrgowD5irWNubH9H/sPm6xC6+W6ZuSCVDA1GIH23vctTWUvwNZWSfP505y2FW?= =?us-ascii?q?Zf2aU4YkkCqWmkr6xr5gd7uG8ysEuJul2N5u5+zclVc58jkmV53BgVHIdHl9my?= =?us-ascii?q?YzfxFzxLp28B50wVaOl6Vl0aRV?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DgCwAx6/hdh20EUbllHAEBATgBBAQBA?= =?us-ascii?q?QIBBwEBgViBGlOBAhtVMiqDRECBEYI4hTqGIotukVMJAQMBDCUHAQIBAYRAgho?= =?us-ascii?q?cBgY0EwIQAQEEAQEBAgECAwQBEwEBAQoLCQgphT4LAYI7DBqCdRsRBh0BASYFD?= =?us-ascii?q?RMFRAIjQgEMCAxHgkcBgkYDMgEKkhubdIEygn4BAQWFGg15gSkDBoE2AYV9gn1?= =?us-ascii?q?YgkUaggCBEAGCZYMHMBkEGoEAdIJjFIJKrkZDiW2KO4QeCBt7hXqTVJcdghqMV?= =?us-ascii?q?4MILIFpgXpzgWsKgURQERRXjFWDWYEBhBOFPgJAAzCBBQEBjmOCFgEB?= X-IPAS-Result: =?us-ascii?q?A0DgCwAx6/hdh20EUbllHAEBATgBBAQBAQIBBwEBgViBGlO?= =?us-ascii?q?BAhtVMiqDRECBEYI4hTqGIotukVMJAQMBDCUHAQIBAYRAghocBgY0EwIQAQEEA?= =?us-ascii?q?QEBAgECAwQBEwEBAQoLCQgphT4LAYI7DBqCdRsRBh0BASYFDRMFRAIjQgEMCAx?= =?us-ascii?q?HgkcBgkYDMgEKkhubdIEygn4BAQWFGg15gSkDBoE2AYV9gn1YgkUaggCBEAGCZ?= =?us-ascii?q?YMHMBkEGoEAdIJjFIJKrkZDiW2KO4QeCBt7hXqTVJcdghqMV4MILIFpgXpzgWs?= =?us-ascii?q?KgURQERRXjFWDWYEBhBOFPgJAAzCBBQEBjmOCFgEB?= X-IronPort-AV: E=Sophos;i="5.69,325,1571695200"; d="scan'208,217";a="333480429" X-MGA-submission: =?us-ascii?q?MDGgAe/JzCHWez9VreFKkovjR11EVZrKuX3o50?= =?us-ascii?q?iMeNi8YA3MqecuPZzWUivy9K0SR1y/1EBKqtG9rONc4Hrk8jk9YS1p/p?= =?us-ascii?q?y7oQvD2b5bSmapzt3lEmPJDHHmUYzWXYtLqAPIFwjGZ15i1MQmBiA4+u?= =?us-ascii?q?aKmFWMr0t3xcIgf77kOGfx8g=3D=3D?= Received: from antea.dnshigh.com ([185.81.4.109]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 17 Dec 2019 15:54:45 +0100 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=acie.eu; s=default; h=Message-ID:Subject:To:From:Date:Content-Type:MIME-Version:Sender :Reply-To:Cc:Content-Transfer-Encoding:Content-ID:Content-Description: Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID: In-Reply-To:References:List-Id:List-Help:List-Unsubscribe:List-Subscribe: List-Post:List-Owner:List-Archive; bh=mOdwcSSdkUdp+I7h79/Zk6X9/0F5fOBUcyDG+aU6lQU=; b=lZrdtIi12z04hPyghaTi4wAWeW Y2ow1Bq6XCWEN8sooFZvCdVbiU9hNQWb+pQPfkLFlBqG5a2Hw+9J9eQTQI7Dqbt7/e6Xpw5HQthHJ 2MDCnPXUUafLldDk5BQ10O/1DrRejqp63QFESJEkYs4qxWHIuDjzhKZpKUdZRXLvmakHpEzpifpc0 3EMnXE0Q9a7roeNBBnq15WEsH+uPeoDs6UC49kB3R7S3Pn14n6q9jvqZJCF3WAyof3jkar+ZExsVa jousVhuotUN4lCO2PRiD73ZoYJsZ+uMOTHAhN5nBkyxdWrM7ES38xnMoo9e624hCayQdXl4gw/o9x d/oqEmKw==; Received: from localhost ([127.0.0.1]:33522 helo=antea.dnshigh.com) by antea.dnshigh.com with esmtpa (Exim 4.92) (envelope-from ) id 1ihEF0-00025V-Me; Tue, 17 Dec 2019 15:54:26 +0100 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="=_3ac765aa1eee11dedf9d07b022d7e0a3" Date: Tue, 17 Dec 2019 15:54:26 +0100 From: acie@acie.eu To: undisclosed-recipients:; Message-ID: <19ee7dfa07f16eed1bc761dfbe7645a8@acie.eu> X-Sender: acie@acie.eu User-Agent: Roundcube Webmail/1.3.8 X-AntiAbuse: This header was added to track abuse, please include it with any abuse report X-AntiAbuse: Primary Hostname - antea.dnshigh.com X-AntiAbuse: Original Domain - inria.fr X-AntiAbuse: Originator/Caller UID/GID - [47 12] / [47 12] X-AntiAbuse: Sender Address Domain - acie.eu X-Get-Message-Sender-Via: antea.dnshigh.com: authenticated_id: acie@acie.eu X-Authenticated-Sender: antea.dnshigh.com: acie@acie.eu X-Validation-by: acie@acie.eu Subject: [Caml-list] Computability in Europe 2020 SECOND CALL FOR PAPERS Reply-To: acie@acie.eu X-Loop: caml-list@inria.fr X-Sequence: 17915 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: --=_3ac765aa1eee11dedf9d07b022d7e0a3 Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset=UTF-8 COMPUTABILITY IN EUROPE 2020 SECOND CALL FOR PAPERS: 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éronique Bruyère (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 Oslo Liesbeth De Mol Université de Lille 3 Gianluca Della Vedova University of Milano-Bicocca Jérôme Durand-Lose Université d'Orléans Pawel Gawrychowski University of Wroclaw Mathieu Hoyrup LORIA Juliette Kennedy University of Helsinki Karoliina Lehtinen University of Liverpool Benedikt Loewe Universiteit van Amsterdam Florin Manea Universität Göttingen 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 Humboldt University Berlin Alexander Schoenhuth Bielefeld University Thomas Schwentick Universität 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=cie2020. 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. WOMEN IN COMPUTABILITY TRAVEL GRANTS We are very happy to announce that within the framework of the Women in Computability programme sponsored by ACM-W we are able to offer four grants of up to 250 EUR for junior female researchers who want to participate in CiE 2020. Applications for this grant should be sent to johanna.franklin@gmail.com, before APRIL 30, 2020 and include a short cv (at most 2 pages) and contact information for an academic reference. Preference will be given to junior female researchers who are presenting a paper (including informal presentations) at CiE 2020. --=_3ac765aa1eee11dedf9d07b022d7e0a3 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=UTF-8

Computability in Europe 2020 SECOND CALL FOR PAPERS:&n= bsp;

 
CiE 2020:
Salerno, Italy
 
June 29 - July 3, 2020&= nbsp;
https://www.acie.eu 
 

IMPORTANT DATES: 

Deadline for abstract = registration: 3 January 2020 AOE 
Deadline for article s= ubmission: 17 January 2020 AOE 
Notification of accept= ance: 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 submiss= ion.) 
 
Early registration bef= ore: 1 May 2020 
 
CiE 2020 is the 16th c= onference organized by CiE (Computability in Europe), a European associatio= n of mathematicians, logicians, computer scientists, philosophers, physicis= ts and others interested in new developments in computability and their und= erlying significance for the real world. 
 
Previous meetings have= taken place in Amsterdam (2005), Swansea (2006), Siena (2007), Athens (200= 8), Heidelberg (2009), Ponta Delgada (2010), Sofia (2011), Cambridge (2012)= , Milan (2013), Budapest (2014), Bucharest (2015), Paris (2016), Turku (201= 7), Kiel (2018), and Durham (2019).
 

TUTORIAL SPEAKERS: 

- Virginia Vassilevska= Williams (MIT)
- Martin Ziegler (Kore= a Advanced Institute of Science and Technology)
 

INVITED SPEAKERS:  

Paolo Boldi (Universit= y of Milan)
Véronique Bruy&= egrave;re (University of Mons)
Ekatarina Fokina (Vien= na University of Technology)
Amaury Pouly (CNRS Par= is)
Antonio Restivo (Unive= rsity of Palermo)
Damien Woods (Maynooth= University)
 

HOSTED BY: 

Department of Computer= Science, University of Salerno
 
 

SPECIAL SESSIONS: 

 
Algorithmic Learning T= heory
 
Combinatorial String M= atching
 
Computable Topology
 
History and Philosophy= of Computing
 
Large scale Bioinforma= tics and Computational Sciences
 
Modern aspects of Form= al Languages
 

CONTRIBUTED PAPERS: 

 
Contributed papers wil= l be selected from submissions received by the PROGRAMME COMMITTEE consisti= ng of: 
 
Marcella Anselmo =          University of Salerno (co-= chair)
Veronica Becher &= nbsp;         Universidad de Buenos= Aires
Paola Bonizzoni &= nbsp;      University of Milano-Bicocca
Laura Crosilla &n= bsp;       University of Oslo
Liesbeth De Mol &= nbsp;         Université de = Lille 3
Gianluca Della Vedova&= nbsp;    University of Milano-Bicocca
Jérôme Du= rand-Lose      Université d'Orléans<= /span>
Pawel Gawrychowski&nbs= p;    University of Wroclaw
Mathieu Hoyrup &n= bsp;         LORIA
Juliette Kennedy =          University of Helsinki
Karoliina Lehtinen&nbs= p;        University of Liverpool=
Benedikt Loewe &n= bsp;          Universiteit van= Amsterdam
Florin Manea &nbs= p;          Universität G= öttingen
Timothy McNicholl = ;       Iowa State University
Klaus Meer  =            BTU Cottbus-Se= nftenberg
Turlough Neary &n= bsp;          University of Zu= rich
Daniel Paulusma &= nbsp;       Durham University
Arno Pauly  =           Swansea University (= co-chair)
Karin Quaas  = ;          University of Leipz= ig
Viola Schiaffonati&nbs= p;    Politecnico di Milano
Markus L. Schmid =           Humboldt University = Berlin
Alexander Schoenhuth&n= bsp;      Bielefeld University
Thomas Schwentick = ;      Universität Dortmund
Marinella Sciortino&nb= sp;       University of Palermo
Victor Selivanov =        Institute on Informatics Systems
Mariya Soskova &n= bsp;        University of Wisconsin-Madi= son
Peter Van Emde Boas&nb= sp;   Universiteit van Amsterdam 
Linda Brown Westrick&n= bsp;        Pennsylvania State Universit= y
 
The CiE conferences se= rve as an interdisciplinary forum for research in all aspects of computabil= ity, foundations of computer science, logic, and theoretical computer scien= ce, as well as the interplay of these areas with practical issues in comput= er science and with other disciplines such as biology, mathematics, philoso= phy, or physics. 
 
THE PROGRAMME COMMITTE= E cordially invites all researchers (European and non-European) to submit t= heir papers in all areas related to the above for presentation at the confe= rence and inclusion in the proceedings of CiE 2020 at https:= //easychair.org/conferences/?conf=3Dcie2020.&nb= sp;
 
Papers must be submitt= ed in PDF format, using the LNCS style (available at https://www.springer.com/gp/computer-science/ln= cs/conference-proceedings-guidelines) and must = have a maximum of 12 pages, including references but excluding a possible a= ppendix in which one can include proofs and other additional material. Pape= rs building bridges between different parts of the research community are p= articularly welcome. 
 
The CONFERENCE PROCEED= INGS will be published by LNCS, Springer Verlag. 
 

Women in Computability Travel Grants

 
We are very happy to a= nnounce that within the framework of the Women in Computability programme s= ponsored by ACM-W we are able to offer four grants of up to 250 EUR for jun= ior female researchers who want to participate in CiE 2020. 
Applications for this= grant should be sent to johanna.franklin@gmail.com, before April 30, 2020 and inclu= de a short cv (at most 2 pages) and contact information for an academic ref= erence. Preference will be given to junior female researchers who are prese= nting a paper (including informal presentations) at CiE 2020.
 
--=_3ac765aa1eee11dedf9d07b022d7e0a3--