<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="magicdomid132" class="ace-line">
<h2><span class="">Computability in Europe 2020 FIRST CALL FOR INFORMAL PRESENTATIONS: </span></h2>
</div>
<div id="magicdomid3" class=""> </div>
<div id="magicdomid133" class="ace-line"><span class="">CiE 2020:</span></div>
<div id="magicdomid134" class="ace-line"><span class="">Salerno, Italy</span></div>
<div id="magicdomid6" class=""> </div>
<div id="magicdomid135" class="ace-line"><span class="">June 29 - July 3, 2020 </span></div>
<div id="magicdomid136" class="ace-line"><span class=" url"><a href="https://www.acie.eu/cie-conference-series/cie2020">https://www.acie.eu/cie-conference-series/cie2020</a></span></div>
<div id="magicdomid137" class="ace-line"><span class=" url"><a href="https://www.acie.eu">https://www.acie.eu</a></span><span class=""> </span></div>
<div id="magicdomid10" class=""> </div>
<div id="magicdomid138" class="ace-line">
<h2><span class="">IMPORTANT DATES: </span></h2>
</div>
<div id="magicdomid139" class="ace-line"><span class="">Deadline for informal presentations submission: 10 April 2020</span></div>
<div id="magicdomid140" class="ace-line"><span class="">(The notifications of acceptance for informal presentations will be sent a few days after submission.) </span></div>
<div id="magicdomid14" class=""> </div>
<div id="magicdomid141" class="ace-line"><span class="">Early registration before: 1 May 2020 </span></div>
<div id="magicdomid16" class=""> </div>
<div id="magicdomid142" class="ace-line"><span class="">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="magicdomid18" class=""> </div>
<div id="magicdomid143" class="ace-line"><span class="">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="magicdomid20" class=""> </div>
<div id="magicdomid144" class="ace-line">
<h2><span class="">TUTORIALS </span></h2>
</div>
<div id="magicdomid145" class="ace-line"><span class="i"><em>Fine-Grained Complexity</em></span><span class=""> - Virginia Vassilevska Williams (MIT) </span></div>
<div id="magicdomid146" class="ace-line"><span class="i"><em>Computable Analysis</em></span><span class=""> - Martin Ziegler (Korea Advanced Institute of Science and Technology) </span></div>
<div id="magicdomid24" class=""> </div>
<div id="magicdomid147" class="ace-line">
<h2><span class="">INVITED TALKS: </span></h2>
</div>
<div id="magicdomid148" class="ace-line"><span class="i"><em>Centralities in Network Analysis</em></span><span class=""> -- Paolo Boldi (University of Milan)</span></div>
<div id="magicdomid149" class="ace-line"><span class="i"><em>A game-theoretic approach for the automated synthesis of complex systems </em></span><span class="">-- Véronique Bruyère (University of Mons)</span></div>
<div id="magicdomid150" class="ace-line"><span class="">On-the-fly classification of structures -- Ekatarina Fokina (Vienna University of Technology)</span></div>
<div id="magicdomid151" class="ace-line"><span class="i"><em>A Survey on Analog Models of Computation</em></span><span class=""> -- Amaury Pouly (CNRS Paris)</span></div>
<div id="magicdomid152" class="ace-line"><span class="i"><em>On the Repetitive Structure of Words</em></span><span class=""> -- Antonio Restivo (University of Palermo)</span></div>
<div id="magicdomid153" class="ace-line"><span class="i"><em>Molecular algorithms using reprogrammable DNA self-assembly</em></span><span class=""> -- Damien Woods (Maynooth University)</span></div>
<div id="magicdomid32" class=""> </div>
<div id="magicdomid154" class="ace-line">
<h2><span class="">HOSTED BY: </span></h2>
</div>
<div id="magicdomid155" class="ace-line"><span class="">Department of Computer Science, University of Salerno</span></div>
<div id="magicdomid35" class=""> </div>
<div id="magicdomid36" class=""> </div>
<div id="magicdomid156" class="ace-line">
<h2><span class="">SPECIAL SESSIONS: </span></h2>
</div>
<div id="magicdomid38" class=""> </div>
<div id="magicdomid157" class="ace-line"><span class="">Algorithmic Learning Theory</span></div>
<div id="magicdomid158" class="ace-line"><span class="">Combinatorial String Matching</span></div>
<div id="magicdomid159" class="ace-line"><span class="">Computable Topology</span></div>
<div id="magicdomid160" class="ace-line"><span class="">HAPOC session on Fairness in Algorithms</span></div>
<div id="magicdomid161" class="ace-line"><span class="">Large scale Bioinformatics and Computational Sciences</span></div>
<div id="magicdomid162" class="ace-line"><span class="">Modern aspects of Formal Languages</span></div>
<div id="magicdomid203" class="ace-line"> </div>
<div id="magicdomid47" class=""> </div>
<div id="magicdomid164" class="ace-line"><span class="">Contributed papers will be selected from submissions received by the PROGRAMME COMMITTEE consisting of: </span></div>
<div id="magicdomid49" class=""> </div>
<div id="magicdomid165" class="ace-line"><span class="">Marcella Anselmo University of Salerno (co-chair)</span></div>
<div id="magicdomid166" class="ace-line"><span class="">Veronica Becher Universidad de Buenos Aires</span></div>
<div id="magicdomid167" class="ace-line"><span class="">Paola Bonizzoni University of Milano-Bicocca</span></div>
<div id="magicdomid168" class="ace-line"><span class="">Laura Crosilla University of Oslo</span></div>
<div id="magicdomid169" class="ace-line"><span class="">Liesbeth De Mol Université de Lille 3</span></div>
<div id="magicdomid170" class="ace-line"><span class="">Gianluca Della Vedova University of Milano-Bicocca</span></div>
<div id="magicdomid171" class="ace-line"><span class="">Jérôme Durand-Lose Université d'Orléans</span></div>
<div id="magicdomid172" class="ace-line"><span class="">Pawel Gawrychowski University of Wroclaw</span></div>
<div id="magicdomid173" class="ace-line"><span class="">Mathieu Hoyrup LORIA</span></div>
<div id="magicdomid174" class="ace-line"><span class="">Juliette Kennedy University of Helsinki</span></div>
<div id="magicdomid175" class="ace-line"><span class="">Karoliina Lehtinen University of Liverpool</span></div>
<div id="magicdomid176" class="ace-line"><span class="">Benedikt Loewe Universiteit van Amsterdam</span></div>
<div id="magicdomid177" class="ace-line"><span class="">Florin Manea Universität Göttingen</span></div>
<div id="magicdomid178" class="ace-line"><span class="">Timothy McNicholl Iowa State University</span></div>
<div id="magicdomid179" class="ace-line"><span class="">Klaus Meer BTU Cottbus-Senftenberg</span></div>
<div id="magicdomid180" class="ace-line"><span class="">Turlough Neary University of Zurich</span></div>
<div id="magicdomid181" class="ace-line"><span class="">Daniel Paulusma Durham University</span></div>
<div id="magicdomid182" class="ace-line"><span class="">Arno Pauly Swansea University (co-chair)</span></div>
<div id="magicdomid183" class="ace-line"><span class="">Karin Quaas University of Leipzig</span></div>
<div id="magicdomid184" class="ace-line"><span class="">Viola Schiaffonati Politecnico di Milano</span></div>
<div id="magicdomid185" class="ace-line"><span class="">Markus L. Schmid Humboldt University Berlin</span></div>
<div id="magicdomid186" class="ace-line"><span class="">Thomas Schwentick Universität Dortmund</span></div>
<div id="magicdomid187" class="ace-line"><span class="">Marinella Sciortino University of Palermo</span></div>
<div id="magicdomid188" class="ace-line"><span class="">Victor Selivanov Institute on Informatics Systems</span></div>
<div id="magicdomid189" class="ace-line"><span class="">Mariya Soskova University of Wisconsin-Madison</span></div>
<div id="magicdomid190" class="ace-line"><span class="">Peter Van Emde Boas Universiteit van Amsterdam </span></div>
<div id="magicdomid191" class="ace-line"><span class="">Linda Brown Westrick Pennsylvania State University</span></div>
<div id="magicdomid77" class=""> </div>
<div id="magicdomid192" class="ace-line"><span class="">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="magicdomid79" class=""> </div>
<div id="magicdomid193" class="ace-line"><span class="">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</span></div>
<div id="magicdomid194" class="ace-line"><span class="">EasyChair (</span><span class=" url"><a href="https://easychair.org/conferences/?conf=cie2020)">https://easychair.org/conferences/?conf=cie2020)</a></span><span class="">, using the LNCS style file (available at </span><span class=" url"><a href="https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines)">https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines)</a></span><span class=""> 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.</span></div>
<div id="magicdomid82" class=""> </div>
<div id="magicdomid83" class=""> </div>
<div id="magicdomid195" class="ace-line">
<h2><span class="">Women in Computability Travel Grants</span></h2>
</div>
<div id="magicdomid85" class=""> </div>
<div id="magicdomid196" class="ace-line"><span class="">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. </span></div>
<div id="magicdomid197" class="ace-line"><span class="">Applications for this grant should be sent to johanna.franklin@gmail.com, before </span><span class="b"><strong>April 30, 2020</strong></span><span class=""> 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.</span></div>
<div id="magicdomid91" class="ace-line"> </div>
<div id="magicdomid201" class="ace-line">
<h2><span class="">Association of Symbolic Logic Travel Grants</span></h2>
</div>
<div id="magicdomid128" class="ace-line"> </div>
<div id="magicdomid199" class="ace-line"><span class="">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.</span></div>
<div id="magicdomid88" class=""> </div>
</body></html>