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 0A5A85D5 for ; Sun, 5 Jan 2020 15:27:42 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.69,399,1571695200"; d="scan'208,217";a="429944087" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 05 Jan 2020 16:27:41 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id BDBA47F3B1; Sun, 5 Jan 2020 16:27:41 +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 138CE7ED20; Mon, 30 Dec 2019 18:37:17 +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=3Aws0lCxdaWYDYhyD37EbL+l9wlGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxcu9bR7h7PlgxGXEQZ/co6odzbaP6Oa6AjFLuM7Y+Fk5M7V0Hycfjs?= =?us-ascii?q?sXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aFRrwLxd6?= =?us-ascii?q?KfroEYDOkcu3y/qy+5rOaAlUmTaxe7x/IAi4oAnLqMUbj4tvJqksxhfVv3dDZv?= =?us-ascii?q?hby35vKV+PhRj3+92+/IRk8yReuvIh89BPXKDndKkmTrJWESorPXkt6MLkqRfM?= =?us-ascii?q?Qw2P5mABUmoNiRpHHxLF7BDhUZjvtCbxq/dw1zObPc3ySrA0RCii4qJ2QxLmlC?= =?us-ascii?q?sLKzg0+3zQhcFsgq9XvA+tqwVjz4LJfYqZMOdyc6PYcd4cWGFPXNteVzZZD4yz?= =?us-ascii?q?c4QBAeoPM/hFoYf+qFoBowCzChOwCOPt0DJEmmX70K883u88EQ/GxgsgH9cWvX?= =?us-ascii?q?vOsNr1NbkdXPuvw6bUzDXMcela1ing6IXObxsvr/aMXbdqfsrQz0kiDx3KgU+L?= =?us-ascii?q?qY3lIzyV1v4Cs2mB7+Z6UuKvkWEnpxlqoji33Mcsi4/Jho0LxVDe7yl23IE1Jd?= =?us-ascii?q?igREFhfdGkEYVfuzuEOItrRM4pXmJmuD4ix7EbupO2fDIGxZc6yxLFZPGLaZWE?= =?us-ascii?q?7g7nWeuXPDx2nmhqeKiliBa36UWgyvPzVs2z0FtStCVFlMXMuW4X2BDJ98eHTO?= =?us-ascii?q?B9/keg2TaA1wDf8P1LIUcxlabDKp4hxKA/loYLvEjeHSL7mF/6gayLekk+9eWk?= =?us-ascii?q?8fnrbqniq5OEMo97kAD+MqAgmsylBuQ4NxADUHKH9uS9yrLu5lf2T6lLjvIoiK?= =?us-ascii?q?XWro3aKdwBpqGlGw9Vzpoj6xGnAji6ytsYmH0HIEtBeBKGlIjpJ0rDIOv4DPe6?= =?us-ascii?q?m1Sjii1nx/HAPr37A5XCNGLPkLn7fbxl8U5T1BIzzcxD55JTErwOPPXzWlbouN?= =?us-ascii?q?PECh85Lhe7zv38CNR904MeQXiADrWYMKPUq1+I5/ggL/OCZI8P637BLK0s7P/j?= =?us-ascii?q?pXYymFJbcLT684EQbSWxFfVrC0ySYHeqj8pSQi8xogMiQbmy2xW5WjlJaiPrAv?= =?us-ascii?q?thtAF+M5qvCML4fq7ogLGF237qTJRQem1PTFyKCnfpeIXCUPAJOnrLc51R1wcc?= =?us-ascii?q?XL3kcLcPkBSntQv00b1if7jd8SwV85/+hoAsu7/j0Coq/DkxNPyzlnmXRjAml2?= =?us-ascii?q?gJSnk7wfInrA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AIAwBFNApee20EUbllg2dTgR2BBxYUg?= =?us-ascii?q?0hAgRGHcoYOi3GRUwkBAwEMJQcBAgEBhECBaxwGBjQTAhABAQQBAQECAQIDBAE?= =?us-ascii?q?TAQELCwoHKYU+DII7DIMqEQYdAQEmBQ0TBUQCI08IDIMPgkYDMgEKj1mbdIEyg?= =?us-ascii?q?n4BAQWFBA15gR4DBoE2hX+CfViCRRqCAIEQAYJlgwcwGQQagQB0gmOCXq5UQ4l?= =?us-ascii?q?xikCEHggbhnuTXJckghyMXIMILIFpgXpzgzlQGA1XkC6BAYQThT4CQAMwgQUBA?= =?us-ascii?q?ZApAQE?= X-IPAS-Result: =?us-ascii?q?A0AIAwBFNApee20EUbllg2dTgR2BBxYUg0hAgRGHcoYOi3G?= =?us-ascii?q?RUwkBAwEMJQcBAgEBhECBaxwGBjQTAhABAQQBAQECAQIDBAETAQELCwoHKYU+D?= =?us-ascii?q?II7DIMqEQYdAQEmBQ0TBUQCI08IDIMPgkYDMgEKj1mbdIEygn4BAQWFBA15gR4?= =?us-ascii?q?DBoE2hX+CfViCRRqCAIEQAYJlgwcwGQQagQB0gmOCXq5UQ4lxikCEHggbhnuTX?= =?us-ascii?q?JckghyMXIMILIFpgXpzgzlQGA1XkC6BAYQThT4CQAMwgQUBAZApAQE?= X-IronPort-AV: E=Sophos;i="5.69,376,1571695200"; d="scan'208,217";a="334440619" X-MGA-submission: =?us-ascii?q?MDGGbYdMoMXKRnyqr3HVEul0RNpzaxUjChMg96?= =?us-ascii?q?i87ZQn98R8kWazk+Klxgt9gev9GYGPXGJ97canBxy6gxRWLnzwBaQymn?= =?us-ascii?q?OQxHMLeBeYh9qCucckmaQugPvQMugp6YzKGNocW1FPqeJivAskUJBpQg?= =?us-ascii?q?LByv66JaKFp4vvKJUVcIH74A=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; 30 Dec 2019 18:37:15 +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=e2nx33TdZCq8nozSYCRDWNtGdDBssUsHiIR4bsi2YTU=; b=CyuYPabOIG7IJIRxdlBwW2GDKN gS0uB76rORYsh8xq8Xi5hdQM7Wo+ooW2Q0g93/zcYKtRIx1WYwQsTr665wykRJGvUs+RAKu43vJLO 9OMMkSbB9raDyOSFEmrIKXmHqMNCIMqtyiHaGSuxsHuQtVw9RuE1lHILFzSVA00AfnFe5yReiXq2s GmptJ5V1xVEl8E4hRvB+tsDV4vozigVKmv20R6G+WPuY1KEvlMGLQJrID0NLgw8R7oXyM9+CU97lo qRJjzvGhaQB/PKChjqBzOOKewvBuhDDju8GfVhL29ZUTGan7Gopc9MzzOLfzftwzRR3n9gS/Qdb0D /7SLvjsA==; Received: from localhost ([127.0.0.1]:57156 helo=antea.dnshigh.com) by antea.dnshigh.com with esmtpa (Exim 4.92) (envelope-from ) id 1ilyyQ-0003o5-2o; Mon, 30 Dec 2019 18:36:58 +0100 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="=_07cd67da83f1c7456d5be438cae50b35" Date: Mon, 30 Dec 2019 18:36:58 +0100 From: acie@acie.eu To: acie@acie.eu Message-ID: <5083e51e93531fd73adc2fd499aefd38@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 THIRD CALL FOR PAPERS Reply-To: acie@acie.eu X-Loop: caml-list@inria.fr X-Sequence: 17926 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: --=_07cd67da83f1c7456d5be438cae50b35 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 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 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. --=_07cd67da83f1c7456d5be438cae50b35 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, Ital= y
 
June 29 - Jul= y 3, 2020 
 

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 version= s due: 7 April 2020 
 
Deadline for = informal presentations submission: 10 April 2020
(The notifica= tions of acceptance for informal presentations will be sent a few days afte= r submission.) 
 
Early registr= ation before: 1 May 2020 
 
CiE 2020 is t= he 16th conference organized by CiE (Computability in Europe), a European a= ssociation of mathematicians, logicians, computer scientists, philosophers,= physicists and others interested in new developments in computability and = their underlying significance for the real world. 
 
Previous meet= ings have taken place in Amsterdam (2005), Swansea (2006), Siena (2007), At= hens (2008), Heidelberg (2009), Ponta Delgada (2010), Sofia (2011), Cambrid= ge (2012), Milan (2013), Budapest (2014), Bucharest (2015), Paris (2016), T= urku (2017), Kiel (2018), and Durham (2019).
 

TUTORIAL SPEAKERS: 

- Virginia Va= ssilevska Williams (MIT)
- Martin Zieg= ler (Korea Advanced Institute of Science and Technology)
 

INVITED SPEAKERS:  

Paolo Boldi (= University of Milan)
Véroni= que Bruyère (University of Mons)
Ekatarina Fok= ina (Vienna University of Technology)
Amaury Pouly = (CNRS Paris)
Antonio Resti= vo (University of Palermo)
Damien Woods = (Maynooth University)
 

HOSTED BY: 

Department of= Computer Science, University of Salerno
 
 

SPECIAL SESSIONS: 

 
Algorithmic L= earning Theory
 
Combinatorial String Matching
 
Computable To= pology
 
History and P= hilosophy of Computing
 
Large scale B= ioinformatics and Computational Sciences
 
Modern aspect= s of Formal Languages
 

CONTRIBUTED PAPERS: 

 
Contributed p= apers will be selected from submissions received by the PROGRAMME COMMITTEE= consisting of: 
 
Marcella Anse= lmo          University of Sal= erno (co-chair)
Veronica Bech= er           Universidad = de Buenos Aires
Paola Bonizzo= ni        University of Milano-Bicocca
Laura Crosill= a         University of Oslo=
Liesbeth De M= ol           Universit&ea= cute; de Lille 3
Gianluca Dell= a Vedova     University of Milano-Bicocca
Jér&oc= irc;me Durand-Lose      Université d'Orl&ea= cute;ans
Pawel Gawrych= owski     University of Wroclaw
Mathieu Hoyru= p           LORIA<= /div>
Juliette Kenn= edy          University of Hel= sinki
Karoliina Leh= tinen         University of Liverpo= ol
Benedikt Loew= e            Univers= iteit van Amsterdam
Florin Manea&= nbsp;           Universit= ät Göttingen
Timothy McNic= holl        Iowa State University=
Klaus Meer&nb= sp;            BTU C= ottbus-Senftenberg
Turlough Near= y            Univers= ity of Zurich
Daniel Paulus= ma         Durham University=
Arno Pauly&nb= sp;           Swansea Uni= versity (co-chair)
Karin Quaas&n= bsp;           University= of Leipzig
Viola Schiaff= onati     Politecnico di Milano
Markus L. Sch= mid           Humboldt Un= iversity Berlin
Alexander Sch= oenhuth       Bielefeld University
Thomas Schwen= tick       Universität Dortmund
Marinella Sci= ortino        University of Palermo
Victor Seliva= nov        Institute on Informatics Syst= ems
Mariya Soskov= a          University of Wisco= nsin-Madison
Peter Van Emd= e Boas    Universiteit van Amsterdam 
Linda Brown W= estrick         Pennsylvania State = University
 
The CiE confe= rences serve as an interdisciplinary forum for research in all aspects of c= omputability, foundations of computer science, logic, and theoretical compu= ter 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 pr= esentation at the conference and inclusion in the proceedings of CiE 2020 a= t https://easychair.org/conferences/?conf=3Dcie2020. 
 
Papers must b= e submitted in PDF format, using the LNCS style (available at https://www.springer.com/gp/computer-s= cience/lncs/conference-proceedings-guidelines) = and must have a maximum of 12 pages, including references but excluding a p= ossible appendix in which one can include proofs and other additional mater= ial. Papers building bridges between different parts of the research commun= ity are particularly welcome. 
 
The CONFERENC= E PROCEEDINGS will be published by LNCS, Springer Verlag. 
 

Women in Computability Travel Grants

 
We are very h= appy to announce that within the framework of the Women in Computability pr= ogramme sponsored by ACM-W we are able to offer four grants of up to 250 EU= R for junior female researchers who want to participate in CiE 2020. <= /span>
Applications = for this grant should be sent to johanna.franklin@gmail.com, before = April 30, 2020 a= nd include a short cv (at most 2 pages) and contact information for an acad= emic reference. Preference will be given to junior female researchers who a= re presenting a paper (including informal presentations) at CiE 2020.
--=_07cd67da83f1c7456d5be438cae50b35--