[ecoop-info] Computability in Europe 2020 SECOND CALL FOR INFORMAL PRESENTATIONS

acie at acie.eu acie at acie.eu
Mon Apr 27 09:52:52 CEST 2020


CiE 2020: 
Virtually in Salerno, Italy 
Due to the Covid-19 outbreak, this edition will be an online conference.

June 29 - July 3, 2020  


Deadline for informal presentations submission: 31 May 2020 
(The notifications of acceptance for informal presentations will be sent
a few days after submission.)  

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


_Fine-Grained Complexity_ - Virginia Vassilevska Williams (MIT)  
_Computable Analysis_ - Martin Ziegler (Korea Advanced Institute of
Science and Technology)  


_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
_Molecular algorithms using reprogrammable DNA self-assembly_ -- Damien
Woods (Maynooth University) 


Department of Computer Science, University of Salerno 
Due to the Covid-19 outbreak, this edition will be an online conference.


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

More information about the ecoop-info mailing list