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 sympa.inria.fr (Postfix) with ESMTPS id 15C5CE1EA0; Mon, 8 Jun 2020 11:28:38 +0200 (CEST) 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 Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of acie@acie.eu) identity=pra; client-ip=185.81.4.109; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="acie@acie.eu"; x-sender="acie@acie.eu"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of acie@acie.eu) identity=mailfrom; client-ip=185.81.4.109; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="acie@acie.eu"; x-sender="acie@acie.eu"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@antea.dnshigh.com) identity=helo; client-ip=185.81.4.109; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="acie@acie.eu"; x-sender="postmaster@antea.dnshigh.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A/sTn1x806VvIYv9uRHKM819IXTAuvvDOBiVQ1KB3?= =?us-ascii?q?0uocTK2v8tzYMVDF4r011RmVBNidsq8dwLOL+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZLebxhIiTanfL9/LAi6oQrMusQWnIBvNrs/xhzVr3VSZu?= =?us-ascii?q?9Y33loJVWdnxb94se/4ptu+DlOtvwi6sBNT7z0c7w3QrJEAjsmNXs15NDwuhnY?= =?us-ascii?q?UQSP/HocXX4InRdOHgPI8Qv1Xpb1siv9q+p9xCyXNtD4QLwoRTiv6bpgRxj0hS?= =?us-ascii?q?oJKzI17XjbhtBtgKlGpB6tuhxyz4vSbYqINvRxY7ndcMsVSmVdUMhfVzJPDJ6/?= =?us-ascii?q?YYoAAeUMJvxXo5X/p1YUsRezHwuhCeXywTFInH/22qg63vw7Hg7a3QwvAckDv2?= =?us-ascii?q?7Io9X0KqgeS/66zLTOwD7eYPxYxS3z55LUchA9v/6MR7RwfNLRx0UxFg7IjlWe?= =?us-ascii?q?pIPrMT6Iy+kBrWmW4uV8WO+vlmIrtwF8riWyy8otiofEgp4Zx17Y+Ch9z4s4K8?= =?us-ascii?q?O0RFN0b9K5FpZbqi+UN4xzQsw4QmFovj43xacatp66YicG0oooxwPZZveacIaI?= =?us-ascii?q?+gruWPuSLDp4nn5oe6+ziwy9/ES61+HwSs253VBXpSRfiNbMrGoC1xnL58iHVP?= =?us-ascii?q?R9+kCh1C6V2ADV9uFLP1o7mbDGJJ4n2b4wlpsTsUvDHiPshEr2i6qWel0l+uiu?= =?us-ascii?q?9evnfq3rqoKfOoJ0kA3zMbkiltawDOgiLwQCQ2yW9fy51LL5/E35RLtKjucxkq?= =?us-ascii?q?ncqJ3VP9gUpq+nDAJOyIks9xe/ACm83NsGgHkLNEhFdw6fj4j1J1HOJ+j1Auul?= =?us-ascii?q?jFSplDdn3vTGPrz6ApXRNXXDi7fgfbNl60FG0gYzzNZf54hVCr4bOv7zVFXxvs?= =?us-ascii?q?TCDhAlKwy03/rnCNJl24wCXmKPG7aVP7/WsV+V/e0iOPKMZY8QuDblMfcp/f/u?= =?us-ascii?q?jXkjmV8cZ6alx5UXaGrrVshhdkySYHfEi9wAHCEHo1kQVuvv3VSJUDN7bn2zUu?= =?us-ascii?q?Qx+2JoQLm6BJvOE9j+yIeK2z22S8QLPzwUOhW3CX7tMr68dbIUcivDcMZqkzFC?= =?us-ascii?q?WKXzE9ZwhyHrjxfzzv9cFsSR/yQZsZz5090kteTYlBx0+CEmV53AgVHIdHl9my?= =?us-ascii?q?YzfxFz3K17phUsmF6FzaVxxfBeDtxS6PMPWQA/Z8bR?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BTAgBdBN5efW0EUblmg3aBd1QBMhcVh?= =?us-ascii?q?CSBEYdwhXaVfC2HZQEKAQMBDCMJAQIEAQGEPwMCgjYCHAYGNBMCEAEBBQEBAQI?= =?us-ascii?q?BAwMEARMBAQsUCIYLDII7DINKBQYdAQEmBQ0TSQJ6gx+DAAEKryGBMoMBAQEFh?= =?us-ascii?q?kCBIAMGgTiJLVyCSBqCAIERgmKEcXaCZ4JgmU+JKJETm2AJIIdullyrZIMrLIF?= =?us-ascii?q?qgXhzgzZQGQ1WlF2JVAM/AzA3AgYBBwEBAwlZAQGPNgEB?= X-IPAS-Result: =?us-ascii?q?A0BTAgBdBN5efW0EUblmg3aBd1QBMhcVhCSBEYdwhXaVfC2?= =?us-ascii?q?HZQEKAQMBDCMJAQIEAQGEPwMCgjYCHAYGNBMCEAEBBQEBAQIBAwMEARMBAQsUC?= =?us-ascii?q?IYLDII7DINKBQYdAQEmBQ0TSQJ6gx+DAAEKryGBMoMBAQEFhkCBIAMGgTiJLVy?= =?us-ascii?q?CSBqCAIERgmKEcXaCZ4JgmU+JKJETm2AJIIdullyrZIMrLIFqgXhzgzZQGQ1Wl?= =?us-ascii?q?F2JVAM/AzA3AgYBBwEBAwlZAQGPNgEB?= X-IronPort-AV: E=Sophos;i="5.73,487,1583190000"; d="scan'208,217";a="453493567" X-MGA-submission: =?us-ascii?q?MDFCOCnyyqMXFZAlTfXj+x4jwDng70AA0Q1Y8S?= =?us-ascii?q?evwV5ivXPR5hlrssfB5JfElOjnOopvsg3OSUdaRI5e/m1tMa3u86hU16?= =?us-ascii?q?iN9hFTVbOPO22qchI4trXl3oPBTMSu91ZQlS4mOCWRZb6/0GqrJx8C4d?= =?us-ascii?q?H1ruNjW8l8WT97u04e1ifqnQ=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 Jun 2020 11:28:27 +0200 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=qAJXb2dRgynX/GEPHNXPZxHDWfqssaOyERHuf1ClDSY=; b=g8OgkKa8ZECVqLw6BwlHSp986I C3G/WFMtQnOvBHKdqbmUogEdXp7WeWa2QJlS1oXCvF6ArFS1C8b+pj+Yzd86hQQEIyws8ASfBOKTk QZ9BZxHNU2zjtbWrO9oibtG+jKpPHfil7CgAbo8h2hwkZ+RQ1bw8dyCnjucyxUX09FpY7CBw2KmKK /LWO3jcQCPi8qBHMW1jk8+rLxbVadBLPVZJ/HFbhkmHZhfphf9ujxXVMt2C54XxgZJvL6AdQE36UY jMfajz7Y4/vD1RtwdZ1Ql0IWkCFkjBzEyho5wafC8Zl6xUhR6zN9LDwnZZEtzuAAAub+sppJuRKvy zJAofeUQ==; Received: from localhost ([127.0.0.1]:34480 helo=antea.dnshigh.com) by antea.dnshigh.com with esmtpa (Exim 4.93) (envelope-from ) id 1jiE4e-0004wP-GV; Mon, 08 Jun 2020 11:28:08 +0200 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="=_6f93856bdcd2791ec46f138e5a2908cb" Date: Mon, 08 Jun 2020 11:28:08 +0200 From: acie@acie.eu To: acie@acie.eu Message-ID: <957434546cb480ebc65105be16520499@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 CALL FOR PARTICIPATION --=_6f93856bdcd2791ec46f138e5a2908cb Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset=UTF-8 COMPUTABILITY IN EUROPE 2020 CALL FOR PARTICIPATION CiE 2020: Virtually in Salerno, Italy Due to the Covid-19 outbreak, this edition will be an online conference. June 29 - July 3, 2020 https://www.acie.eu/cie-conference-series/cie2020 https://www.acie.eu IMPORTANT DATES: 15 JUNE: REGISTRATION DEADLINE Registration (https://www.acie.eu/cie-conference-series/cie2020) is now open and free of charge. Registration is mandatory to attend the talks. 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 Due to the Covid-19 outbreak, this edition will be an online conference. 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 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. --=_6f93856bdcd2791ec46f138e5a2908cb Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=UTF-8

Computability in Europe 2020 CALL FOR PARTICIPATION

 
CiE 2020:
Virtually in Salerno, It= aly
Due to the Covid-19 outb= reak, this edition will be an online conference.
 
June 29 - July 3, 2020&n= bsp;
 

IMPORTANT DATES: 

15 June: registration deadline
 
Registration (https://www.acie.eu/cie= -conference-series/cie2020) is now open and free of charge. Registratio= n is mandatory to attend the talks.
 
CiE 2020 is the 16th con= ference 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 under= lying significance for the real world. 
 
Previous meetings have t= aken 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-Gra= ined Complexity - Virginia Vassilevska Williams (MIT)&nbs= p;
Computab= le Analysis - Martin Ziegler (Korea Advanced Institute of= Science and Technology) 
 

INVITED TALKS:  

Centrali= ties in Network Analysis -- Paolo Boldi (University of Mi= lan)
A game-t= heoretic approach for the automated synthesis of complex systems -- Véronique Bruyère (University of Mons)
On-the-fly classificatio= n of structures -- Ekatarina Fokina (Vienna University of Technology)
A Survey= on Analog Models of Computation -- Amaury Pouly (CNRS Pa= ris)
On the R= epetitive Structure of Words -- Antonio Restivo (Universi= ty of Palermo)
Molecula= r algorithms using reprogrammable DNA self-assembly -- Da= mien Woods (Maynooth University)
 

HOSTED BY: 

Department of Computer S= cience, University of Salerno
Due to the Covid-19 outb= reak, this edition will be an online conference.
 

SPECIAL SESSIONS: 

 
Algorithmic Learning The= ory
Combinatorial String Mat= ching
Computable Topology
HAPOC session on Fairnes= s in Algorithms
Large scale Bioinformati= cs and Computational Sciences
Modern aspects of Formal= Languages
 
 
The CiE conferences serv= e as an interdisciplinary forum for research in all aspects of computabilit= y, 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, philosoph= y, or physics. 
 
--=_6f93856bdcd2791ec46f138e5a2908cb--