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 ED0DB5D5 for ; Wed, 8 Jan 2020 17:40:21 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.69,410,1571695200"; d="scan'208,217";a="430500160" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 08 Jan 2020 18:40:20 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 387FA7F3D0; Wed, 8 Jan 2020 18:40:20 +0100 (CET) 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 746557F214 for ; Wed, 8 Jan 2020 18:40:14 +0100 (CET) Authentication-Results: mail2-smtp-roc.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=3ADHm8ZBwhpwhtls3XCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?1eMQIJqq85mqBkHD//Il1AaPAdyAragZ26GP6/mocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbAhEmTSwbalsIBi2rgjdudQajZd/Jq0s1hbHv3xEdv?= =?us-ascii?q?hMy2h1P1yThRH85smx/J5n7Stdvu8q+tBDX6vnYak2VKRUAzs6PW874s3rrgTD?= =?us-ascii?q?QhCU5nQASGUWkwFHDBbD4RrnQ5r+qCr6tu562CmHIc37SK0/VDq+46t3ThLjlS?= =?us-ascii?q?EKPCM7/m7KkMx9lK1Urw6vqRJ/3YDafYKbNfVwca7GZ9wWWWhBU9xNWyFbAI6x?= =?us-ascii?q?aZYEAeobPeZfqonwv0EBoge/BQayH+7g0CNHhn7o0qEgzeshDAfL1xEuEdIJtX?= =?us-ascii?q?TbttT1NKEKXO+r1qbI1jXCYO9W2Tjn6YjIaAotofaWXbJ/acbR0lEvFxnEjlWW?= =?us-ascii?q?pozqISmV2v4RvGic6upsTfighHImqw5vuDSg2Nosh4/UjYwW0lDJ7Th1zYU1KN?= =?us-ascii?q?GiS0N3fMSoHZRKuy2HK4d7RsUvSHxytikg0L0Jo5u7cTAKyJs5wx7fbOSKfJKO?= =?us-ascii?q?4hL/SumeOy10i29jeLKkhxay8Eegyu3mWsao11ZKqzJJktjKtn8Tyxze8tWLR/?= =?us-ascii?q?h980u72juDyhrf5+5eLUwpiabWL4YtwrsqmZoStUTDEDX2mELzjKKObEor5umo?= =?us-ascii?q?5Pr8b7r8upCcNpF7hhvgPaQzgsC/G/g3MhASX2iH/uSxzKHs8lf8QLVOl/E2lq?= =?us-ascii?q?jZsIvGJckAva64AwpV0p455BqlDjem1s4YnXgdI15fdhKHlduhB1abK/n9CbK7?= =?us-ascii?q?gk+wuDZt3fHPeLP7UbvXKX2WmbzgcJ504E9RjgcunoMX3I5dFrxUeKG7YUT2rt?= =?us-ascii?q?GNVkZoYTzx+P7uDZBG7q1bXGuOBqGDN6aD41aD5+9pLvTePNZJ6ga4EOAs4rvV?= =?us-ascii?q?tVF8gUUULPug1poaLn2lTKw/fhepJEH0i9JEKl8k+wozSOuz2Q+LVyJebjC+Wb?= =?us-ascii?q?k85z47TomhCNWbSw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DPAQAnExZemG0EUblmg2dTgR1VMiqDS?= =?us-ascii?q?UCBEYdyhg6LcpFWCQEDAQwlBwECAQGEQIFsHAYGNBMCEAEBBAEBAQIBAgMEARM?= =?us-ascii?q?BAQEBAQgLCwYphT4MgjsigxQRBh0BASYFDRMFRAIjTwgMgw4BgkYDMgEKkECbd?= =?us-ascii?q?IEygn4BAQWFFA15gR4DBoE2hX+CfViCRRqCAIEQAYJlgwcwGQQagQB0gmOCXq5?= =?us-ascii?q?nRIl2ikaEHggbhn2TZZcsgh+MYoMMLIFpgXpzgzlQGA1XjFWDWYEBhBOFPgJAA?= =?us-ascii?q?zCBBQEBj3QBAQ?= X-IPAS-Result: =?us-ascii?q?A0DPAQAnExZemG0EUblmg2dTgR1VMiqDSUCBEYdyhg6LcpF?= =?us-ascii?q?WCQEDAQwlBwECAQGEQIFsHAYGNBMCEAEBBAEBAQIBAgMEARMBAQEBAQgLCwYph?= =?us-ascii?q?T4MgjsigxQRBh0BASYFDRMFRAIjTwgMgw4BgkYDMgEKkECbdIEygn4BAQWFFA1?= =?us-ascii?q?5gR4DBoE2hX+CfViCRRqCAIEQAYJlgwcwGQQagQB0gmOCXq5nRIl2ikaEHggbh?= =?us-ascii?q?n2TZZcsgh+MYoMMLIFpgXpzgzlQGA1XjFWDWYEBhBOFPgJAAzCBBQEBj3QBAQ?= X-IronPort-AV: E=Sophos;i="5.69,410,1571695200"; d="scan'208,217";a="430500122" X-MGA-submission: =?us-ascii?q?MDEYuqkp0p8jI9C1AXWmwCMCvTe64mR1dqikQt?= =?us-ascii?q?OBNZ/1TLy676buNeIzGLm9yfRhvK/rDXPceSC5fuZx5rdLC1Ypi6v0/r?= =?us-ascii?q?mYqa1x96MMZwYwmAq2xLsOECkWNvkf1wuXuKxLLlu5fClVXr451frzyM?= =?us-ascii?q?mA8rRJLZumxByjFeG/va2uPg=3D=3D?= Received: from antea.dnshigh.com ([185.81.4.109]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 08 Jan 2020 18:40:13 +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=z1vAFiWSty35gRw32kqmQHmy9jasFTAlIYsFzoeCpKQ=; b=Z3foQkgV1KbbqTRc6PGf1mALsU OG9MlhkIRWi0gXYKB6MDcZ/BF1LPe0Ug/hiAcUBmw8aTBIsO1XL2srOKI3WzIOFLSKa+nG1S0ZORj BRFOHqz+YUmNgBMBfbVF6UStDLGcjUxE9pX3Zhk6hj1t7PUNh9iBt9gjF2lp7UAPfBp6G+3/5BDi/ PZ/b3UxbjF6Ktf0opfFBRRK8qjJ1PSZUT0XimbQYZfGTeD8kY5VfgMJOQg+ZqmF1qEUt/f96Lv7PE fRGQNLWKNI3Ug1hAngsfW4FoZ4tXm84TbueFT95QR9CIgtHtZaCaDvNjYjgusaFMFNtd1z/ShOk6g KgBikraw==; Received: from localhost ([127.0.0.1]:34798 helo=antea.dnshigh.com) by antea.dnshigh.com with esmtpa (Exim 4.92) (envelope-from ) id 1ipFJU-0000kf-DQ for caml-list@inria.fr; Wed, 08 Jan 2020 18:40:12 +0100 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="=_2392d41adfc6836583b4a18badea6ace" Date: Wed, 08 Jan 2020 18:40:12 +0100 From: acie@acie.eu To: caml-list@inria.fr Message-ID: <4a4d4263205ad5cf185f4b57fdd2f300@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 Subject: [Caml-list] Computability in Europe 2020 THIRD CALL FOR PAPERS Reply-To: acie@acie.eu X-Loop: caml-list@inria.fr X-Sequence: 17936 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: --=_2392d41adfc6836583b4a18badea6ace Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset=UTF-8 COMPUTABILITY IN EUROPE 2020 THIRD 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: 17 January 2020 AOE (extended) Deadline for article submission: 24 January 2020 AOE (extended) Notification of acceptance: 14 March 2020 Final versions due: 7 April 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 HAPOC session on Fairness in Algorithms 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 original research articles 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. --=_2392d41adfc6836583b4a18badea6ace Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=UTF-8

Computability in Europe 2020 THIRD CALL FOR PAPERS:&nb= sp;

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

IMPORTANT DATES: 

Deadline for abstract = registration: 17 January 2020 AOE (extended)
Deadline for article s= ubmission: 24 January 2020 AOE  (extended)
Notification of accept= ance: 14 March 2020
Final versions due: 7 = April 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
 
HAPOC session on Fairn= ess in Algorithms
 
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 o= riginal research articles in all areas related to the above for presentatio= n at the conference and inclusion in the proceedings of CiE 2020 at = https://easychair.org/conferences/?conf=3Dcie2020. 
 
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 includ= e a short cv (at most 2 pages) and contact information for an academic refe= rence. Preference will be given to junior female researchers who are presen= ting a paper (including informal presentations) at CiE 2020.
 
--=_2392d41adfc6836583b4a18badea6ace--