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 2C71C5D4 for ; Fri, 21 Feb 2020 09:01:34 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.70,467,1574118000"; d="scan'208,217";a="437024499" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 21 Feb 2020 10:01:08 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id CB46D7F3E3; Fri, 21 Feb 2020 10:01:08 +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 34C4B7F3B1; Fri, 21 Feb 2020 10:01:03 +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=3ATSVnTxBgslP97kpR6w3gUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSPv+r8bcNUDSrc9gkEXOFd2Cra4d16yG6Ou5AzNIyK3CmU5BWaQEbwUCh8?= =?us-ascii?q?QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV6?= =?us-ascii?q?OPn+FJLMgMSrzeCy/IDYbxlViDanbr5+MRq7oR/Su8QYjoduN7g9xxnUqXZUZu?= =?us-ascii?q?pawn9lKl2Ukxvg/Mm74YRt8z5Xu/Iv9s5AVbv1cqElRrFGDzooLn446tTzuRbM?= =?us-ascii?q?UQWA6H0cUn4LkhVTGAjK8Av6XpbqvSTksOd2xTSXMtf3TbAwXjSi8rtrRRr1gy?= =?us-ascii?q?oJKzI17GfagdF2galGohyuugZ/zpbbb46JOvRwfr3Tc84ZS2tOUMlcTDZODp++?= =?us-ascii?q?b4YVE+YMJ+RVoo/grFUOtxu+AgysCfv1xTBUh3/5w7Y33P49HgHHwgMsBcwBsG?= =?us-ascii?q?nSod7oOqkSVuW1w7PJzTXFd/5Zwyvy6InWfRw7v/6MQKp8ftTLxkk0FwLKklWQ?= =?us-ascii?q?ppbkPzOPzOgNtHKb7+V4WeK0k24nsQBxoj6gxsgykInFnJ4aylfB9Sh/3Y07Js?= =?us-ascii?q?W4RVZmbdOnEJZcrSKXO5ZsTs4tWW1kpTo2x7kAtJWmZiYF0o4nyATaa/Gfc4iH?= =?us-ascii?q?/BbjVOGJLDhignJlZKywiAyo/Ue9zO38Tcm00FdFripFiNXDqncN1xnL5siGTP?= =?us-ascii?q?ty4Fuh1C6S2w3Q6uxIO0M5mbfBJ5Mu2LI8i4YfvEDbEi/zgkr2jauWdks++uiv?= =?us-ascii?q?7uTqeq/pqYOdN4BqkQzxKLghms2hDugiLAcOQnCX+f6g27374U35XLJKg+Uqna?= =?us-ascii?q?bDtZDaId0Xpqq4Aw9OzoYu8A2/Djej0NQAh3YLNlNFeBSdj4joIV7COv74De2n?= =?us-ascii?q?iVS2jDhr3+zGPqHmApjVMnfDl67hca9h5E5Y1Qo81stS54lUC7EEOPL8QFX9tN?= =?us-ascii?q?3eDh8jMgy72fzrCNtn1tBWZWXaC6SYPYvbukKFoO8ycMeWY4pAsT38JtAs7P/j?= =?us-ascii?q?y3IkygxVRrWgwZZCMCPwJf9hOUjMOSOx0OdEKn8Du08FdMKviFCGVmcCNX+0Q6?= =?us-ascii?q?81oD09E4KnAoeFTYeo0uTYjXWLW6ZOb2UDMWiiVHLhdoGKQfAJOXCbKc5s1DEZ?= =?us-ascii?q?B+D4F90RkCq2vQq/8IJJa/LO83xKvJni2Z54+r+LmA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0C3DgDcm09eh20EUblmHQEBOAUFAQIJA?= =?us-ascii?q?YFVgSMbAjaBHVUyKoNUQIERh3KGBIIjiVKRWQkBAwEMJQcBAgQBAYRAggocBgY?= =?us-ascii?q?0EwIQAQEFAQEBAgECAwQBEwEBAQoLCQgphT4MgjsigxwMBQYdAQEmBQ0TBUQCI?= =?us-ascii?q?08Igx4BgkoDMgEKkH2beYEygn8BAQWFRw14gR8DBoE2AgEBhgGDBFiCRRqCAIE?= =?us-ascii?q?QAYJlgwcwGQQagQB2gmOCXo11oWBEihaKXoQuCByHD5Qel2uCLo0JgxAsgWmBe?= =?us-ascii?q?nODOVAYDVeNYINZgQGEE4VAAkADMIEGAQGOFgEB?= X-IPAS-Result: =?us-ascii?q?A0C3DgDcm09eh20EUblmHQEBOAUFAQIJAYFVgSMbAjaBHVU?= =?us-ascii?q?yKoNUQIERh3KGBIIjiVKRWQkBAwEMJQcBAgQBAYRAggocBgY0EwIQAQEFAQEBA?= =?us-ascii?q?gECAwQBEwEBAQoLCQgphT4MgjsigxwMBQYdAQEmBQ0TBUQCI08Igx4BgkoDMgE?= =?us-ascii?q?KkH2beYEygn8BAQWFRw14gR8DBoE2AgEBhgGDBFiCRRqCAIEQAYJlgwcwGQQag?= =?us-ascii?q?QB2gmOCXo11oWBEihaKXoQuCByHD5Qel2uCLo0JgxAsgWmBenODOVAYDVeNYIN?= =?us-ascii?q?ZgQGEE4VAAkADMIEGAQGOFgEB?= X-IronPort-AV: E=Sophos;i="5.70,467,1574118000"; d="scan'208,217";a="339939614" X-MGA-submission: =?us-ascii?q?MDFD31uv+8vF845/d+pTagXeGkDpkYnhL0INKj?= =?us-ascii?q?MEJn+FwNCXlGXUd6ugnMW4NvfgwO9ZV7PHFhqOH/A8xD56tkz2sVJ3+Q?= =?us-ascii?q?CE+NFTA1w0e4Z1a5YbX3jXKPqPUQjydAKjBecCCIO6YZc8rIY0MqRjFR?= =?us-ascii?q?EcUTz6KON6mXjrQvfZ1utHlA=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; 21 Feb 2020 10:00:58 +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=vn0NZ9tv5i87Y7YSG0rsxDdbLyYEm52hUs/BHI7+D5c=; b=o3oxsbRG08FZyx/7D3kiuGHPSP W05yoYohMy4VpMV4wArkDyqKWd3TsfZsYjkrHzGPfiG15aWe11OE7a53xCUuC1E92ihtklYxu9+34 MpfGqKIF4vrIZrNIC05hz/CUwyKFa1b7ZG5Fz5Ca9CSG0az+78cTPsMVGhjQqc4/ufRT9wu3+UOfv RawFf2Sn8CTTQS93tnN9nUxGOY6yaBedrk/ePJrvULOju5sxkVtuE73W7PFGtuSwCMK7H1tuuDMSB sWUbTAfZJTELRlmmAOBpCkc+5e0wZ9uDYTMusKbCjou4RWyzyii5OKGwEF1MM3KWhlbD/HoJgCvjk eV1Tsjcw==; Received: from localhost ([127.0.0.1]:38668 helo=antea.dnshigh.com) by antea.dnshigh.com with esmtpa (Exim 4.92) (envelope-from ) id 1j54Ao-0005g1-VD; Fri, 21 Feb 2020 10:00:38 +0100 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="=_2cfefb8a35f1cb0c59b391760dbd6812" Date: Fri, 21 Feb 2020 10:00:38 +0100 From: acie@acie.eu To: acie@acue.eu Message-ID: 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 FIRST CALL FOR INFORMAL PRESENTATIONS Reply-To: acie@acie.eu X-Loop: caml-list@inria.fr X-Sequence: 18007 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: --=_2cfefb8a35f1cb0c59b391760dbd6812 Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset=UTF-8 COMPUTABILITY IN EUROPE 2020 FIRST CALL FOR INFORMAL PRESENTATIONS: 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 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). TUTORIALS _Fine-Grained Complexity_ - Virginia Vassilevska Williams (MIT) _Computable Analysis_ - Martin Ziegler (Korea Advanced Institute of Science and Technology) INVITED TALKS: _Centralities in Network Analysis_ -- Paolo Boldi (University of Milan) _A game-theoretic approach for the automated synthesis of complex systems _-- Véronique Bruyère (University of Mons) On-the-fly classification of structures -- Ekatarina Fokina (Vienna University of Technology) _A Survey on Analog Models of Computation_ -- Amaury Pouly (CNRS Paris) _On the Repetitive Structure of Words_ -- Antonio Restivo (University of Palermo) _Molecular algorithms using reprogrammable DNA self-assembly_ -- 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 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 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. Continuing the tradition of past CiE conferences, the Program Committee cordially invites all researchers (European and non-European) to submit informal presentations of their recent work. A proposal for an informal presentation must be submitted via EasyChair (https://easychair.org/conferences/?conf=cie2020), using the LNCS style file (available at https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines) and be 1 page; a brief description of the results suffices and an abstract is not required. Informal presentations will not be published in the LNCS conference proceedings. Results presented as informal presentations at CiE 2020 may appear or may have appeared in other conferences with formal proceedings and/or in journals. 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. ASSOCIATION OF SYMBOLIC LOGIC TRAVEL GRANTS The Association for Symbolic Logic is graciously sponsoring CiE 2020. Hence student members of the ASL may apply for student travel awards. Further information can be found on the ASL website. Applications must be received by March 28th. --=_2cfefb8a35f1cb0c59b391760dbd6812 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=UTF-8

Computability in Europe 2020 FIRST CALL FOR INFORMAL P= RESENTATIONS: 

 
CiE 2020:
Salerno, Ital= y
 
June 29 - Jul= y 3, 2020 
 

IMPORTANT DATES: 

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).
 

TUTORIALS 

Fine-Gra= ined Complexity - Virginia Vassilevska William= s (MIT) 
Computab= le Analysis - Martin Ziegler (Korea Advanced I= nstitute of Science and Technology) 
 

INVITED TALKS:  

Centrali= ties in Network Analysis -- Paolo Boldi (Unive= rsity of Milan)
A game-t= heoretic approach for the automated synthesis of complex systems -- Véronique Bruyère (University of Mons)<= /span>
On-the-fly cl= assification of structures -- Ekatarina Fokina (Vienna University of Techno= logy)
A Survey= on Analog Models of Computation -- Amaury Pou= ly (CNRS Paris)
On the R= epetitive Structure of Words -- Antonio Restiv= o (University of Palermo)
Molecula= r algorithms using reprogrammable DNA self-assembly -- 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
HAPOC session= on Fairness in Algorithms
Large scale B= ioinformatics and Computational Sciences
Modern aspect= s of Formal Languages
 
 
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
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. 
 
Continuing th= e tradition of past CiE conferences, the Program Committee cordially invite= s all researchers (European and non-European) to submit informal presentati= ons of their recent work. A proposal for an informal presentation must be s= ubmitted via
EasyChair (https://easychair.org/conferences/?conf=3Dcie2020)= , using the LNCS style file (available at https://www.springer.com/gp/computer-scie= nce/lncs/conference-proceedings-guidelines) and= be 1 page; a brief description of the results suffices and an abstract is = not required. Informal presentations will not be published in the LNCS conf= erence proceedings. Results presented as informal presentations at CiE 2020= may appear or may have appeared in other conferences with formal proceedin= gs and/or in journals.
 
 

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.
 

Association of Symbolic Logic Travel Grants

 
The Associati= on for Symbolic Logic is graciously sponsoring CiE 2020. Hence student memb= ers of the ASL may apply for student travel awards. Further information can= be found on the ASL website. Applications must be received by March 28th= =2E
 
--=_2cfefb8a35f1cb0c59b391760dbd6812--