<html><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /></head><body style='font-size: 10pt; font-family: Verdana,Geneva,sans-serif'>
<p>COMPUTABILITY IN EUROPE 2020 CALL FOR PARTICIPATION -- EXTENDED DEADLINE<br /> <br /> CiE 2020: <br /> Virtually in Salerno, Italy <br /> Due to the Covid-19 outbreak, this edition will be an online conference.<br /> <br /> <br /> June 29 - July 3, 2020 <br /> <a href="https://www.acie.eu/cie-conference-series/cie2020" target="_blank" rel="noopener noreferrer">https://www.acie.eu/cie-conference-series/cie2020</a> <br /> <a href="https://www.acie.eu" target="_blank" rel="noopener noreferrer">https://www.acie.eu</a> <br /> <br /> IMPORTANT DATES: <br /> <br /> 21 JUNE: REGISTRATION DEADLINE (extended)<br /> <br /> Registration (<a href="https://www.acie.eu/cie-conference-series/cie2020" target="_blank" rel="noopener noreferrer">https://www.acie.eu/cie-conference-series/cie2020</a>) is now<br /> open and free of charge. Registration is mandatory to attend the talks. <br /> </p>
<p>S. BARRY COOPER PRIZE</p>
<p>During the conference, we will have the ceremony for awarding the inaugural edition of the <a href="https://www.acie.eu/2020/06/03/2020-s-barry-cooper-prize-awarded-to-bruno-courcelle/">S. Barry Cooper Prize</a> to <a href="https://en.wikipedia.org/wiki/Bruno_Courcelle">Bruno Courcelle</a> who will give a lecture on Thursday July 2nd at 16:30. Registration to the conference is mandatory to attend the ceremony.</p>
<p><br /> CiE 2020 is the 16th conference organized by CiE (Computability in<br /> Europe), a European association of mathematicians, logicians, computer<br /> scientists, philosophers, physicists and others interested in new<br /> developments in computability and their underlying significance for the<br /> real world. <br /> <br /> Previous meetings have taken place in Amsterdam (2005), Swansea (2006),<br /> Siena (2007), Athens (2008), Heidelberg (2009), Ponta Delgada (2010),<br /> Sofia (2011), Cambridge (2012), Milan (2013), Budapest (2014), Bucharest<br /> (2015), Paris (2016), Turku (2017), Kiel (2018), and Durham (2019). <br /> <br /> TUTORIALS <br /> <br /> _Fine-Grained Complexity_ - Virginia Vassilevska Williams (MIT) <br /> _Computable Analysis_ - Martin Ziegler (Korea Advanced Institute of<br /> Science and Technology) <br /> <br /> INVITED TALKS: <br /> <br /> _Centralities in Network Analysis_ -- Paolo Boldi (University of Milan) <br /> _A game-theoretic approach for the automated synthesis of complex<br /> systems _-- Véronique Bruyère (University of Mons) <br /> On-the-fly classification of structures -- Ekatarina Fokina (Vienna<br /> University of Technology) <br /> _A Survey on Analog Models of Computation_ -- Amaury Pouly (CNRS Paris) <br /> _On the Repetitive Structure of Words_ -- Antonio Restivo (University of<br /> Palermo) <br /> _Molecular algorithms using reprogrammable DNA self-assembly_ -- Damien<br /> Woods (Maynooth University) <br /> <br /> HOSTED BY: <br /> <br /> Department of Computer Science, University of Salerno <br /> Due to the Covid-19 outbreak, this edition will be an online conference.<br /> <br /> <br /> SPECIAL SESSIONS: <br /> <br /> Algorithmic Learning Theory <br /> Combinatorial String Matching <br /> Computable Topology <br /> HAPOC session on Fairness in Algorithms <br /> Large scale Bioinformatics and Computational Sciences <br /> Modern aspects of Formal Languages <br /> <br /> The CiE conferences serve as an interdisciplinary forum for research in<br /> all aspects of computability, foundations of computer science, logic,<br /> and theoretical computer science, as well as the interplay of these<br /> areas with practical issues in computer science and with other<br /> disciplines such as biology, mathematics, philosophy, or physics.</p>
</body></html>