CiE2020: 2nd Call for Informal Presentations

[gprimiero at libero.it]

Computability in Europe 2020 SECOND CALL FOR INFORMAL PRESENTATIONS


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/cie2020https://www.acie.eu/




IMPORTANT DATES: 

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



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


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  https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines) 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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20200427/824c1adf/attachment.html>