<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'>
<div id="messagepreview">
<div class="leftcol" style="margin-right: 0px;">
<h2><span>Computability in Europe 2020 CALL FOR PARTICIPATION</span></h2>
<div id="messagebody">
<div id="message-htmlpart1" class="message-htmlpart">
<div id="messagestack">
<div id="magicdomid3" class="ace-line"> </div>
<div id="magicdomid211" class="ace-line"><span>CiE 2020:</span></div>
<div id="magicdomid212" class="ace-line"><span>Virtually in Salerno, Italy</span></div>
<div id="magicdomid213" class="ace-line"><span>Due to the Covid-19 outbreak, this edition will be an online conference.</span></div>
<div id="magicdomid6" class="ace-line"> </div>
<div id="magicdomid214" class="ace-line"><span>June 29 - July 3, 2020 </span></div>
<div id="magicdomid215" class="ace-line"><span class="url"><a href="https://www.acie.eu/cie-conference-series/cie2020" target="_blank" rel="noopener noreferrer">https://www.acie.eu/cie-conference-series/cie2020</a></span></div>
<div id="magicdomid216" class="ace-line"><span class="url"><a href="https://www.acie.eu" target="_blank" rel="noopener noreferrer">https://www.acie.eu</a></span><span> </span></div>
<div id="magicdomid10" class="ace-line"> </div>
<div id="magicdomid217" class="ace-line">
<h2><span>IMPORTANT DATES: </span></h2>
</div>
<div class="ace-line"><strong>15 June: registration deadline</strong></div>
<div class="ace-line"> </div>
<div id="magicdomid218" class="ace-line"><span>Registration (<a href="https://www.acie.eu/cie-conference-series/cie2020">https://www.acie.eu/cie-conference-series/cie2020</a>) is now open and free of charge. Registration is mandatory to attend the talks.</span></div>
<div id="magicdomid220" class="ace-line"><span>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. </span></div>
<div id="magicdomid16" class="ace-line"> </div>
<div id="magicdomid221" class="ace-line"><span>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).</span></div>
<div id="magicdomid18" class="ace-line"> </div>
<div id="magicdomid222" class="ace-line">
<h2><span>TUTORIALS </span></h2>
</div>
<div id="magicdomid223" class="ace-line"><span class="i"><em>Fine-Grained Complexity</em></span><span> - Virginia Vassilevska Williams (MIT) </span></div>
<div id="magicdomid224" class="ace-line"><span class="i"><em>Computable Analysis</em></span><span> - Martin Ziegler (Korea Advanced Institute of Science and Technology) </span></div>
<div id="magicdomid22" class="ace-line"> </div>
<div id="magicdomid225" class="ace-line">
<h2><span>INVITED TALKS: </span></h2>
</div>
<div id="magicdomid226" class="ace-line"><span class="i"><em>Centralities in Network Analysis</em></span><span> -- Paolo Boldi (University of Milan)</span></div>
<div id="magicdomid227" class="ace-line"><span class="i"><em>A game-theoretic approach for the automated synthesis of complex systems </em></span><span>-- Véronique Bruyère (University of Mons)</span></div>
<div id="magicdomid228" class="ace-line"><span>On-the-fly classification of structures -- Ekatarina Fokina (Vienna University of Technology)</span></div>
<div id="magicdomid229" class="ace-line"><span class="i"><em>A Survey on Analog Models of Computation</em></span><span> -- Amaury Pouly (CNRS Paris)</span></div>
<div id="magicdomid230" class="ace-line"><span class="i"><em>On the Repetitive Structure of Words</em></span><span> -- Antonio Restivo (University of Palermo)</span></div>
<div id="magicdomid231" class="ace-line"><span class="i"><em>Molecular algorithms using reprogrammable DNA self-assembly</em></span><span> -- Damien Woods (Maynooth University)</span></div>
<div id="magicdomid30" class="ace-line"> </div>
<div id="magicdomid232" class="ace-line">
<h2><span>HOSTED BY: </span></h2>
</div>
<div id="magicdomid233" class="ace-line"><span>Department of Computer Science, University of Salerno</span></div>
<div id="magicdomid234" class="ace-line"><span>Due to the Covid-19 outbreak, this edition will be an online conference.</span></div>
<div id="magicdomid34" class="ace-line"> </div>
<div id="magicdomid235" class="ace-line">
<h2><span>SPECIAL SESSIONS: </span></h2>
</div>
<div id="magicdomid36" class="ace-line"> </div>
<div id="magicdomid236" class="ace-line"><span>Algorithmic Learning Theory</span></div>
<div id="magicdomid237" class="ace-line"><span>Combinatorial String Matching</span></div>
<div id="magicdomid238" class="ace-line"><span>Computable Topology</span></div>
<div id="magicdomid239" class="ace-line"><span>HAPOC session on Fairness in Algorithms</span></div>
<div id="magicdomid240" class="ace-line"><span>Large scale Bioinformatics and Computational Sciences</span></div>
<div id="magicdomid241" class="ace-line"><span>Modern aspects of Formal Languages</span></div>
<div id="magicdomid44" class="ace-line"> </div>
<div id="magicdomid270" class="ace-line"><span>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. </span></div>
<div id="magicdomid76" class="ace-line"> </div>
</div>
</div>
</div>
</div>
</div>
</body></html>