Home
University of Salerno – Fisciano campus
June 29th – July 2nd, 2020
The conference
The conference will begin next Monday at 9.00 am (CEST).
The organizers are committed to recreate the usual CiE climate under the new conditions. The most important links are:
- Main access point to the conference. The opening of the conference.
- The detailed schedule
- The poster
- The rooms for the breaks: room 1, room 2, room 3.
- Instructions for the participants.
- Conference LNCS proceedings and booklet.
- Official Springer page for the proceedings.
CiE 2020 is the 16th conference organized by ACiE (Association 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.
S. Barry Cooper Prize
During the conference, we will have the ceremony for awarding the inaugural edition of the S. Barry Cooper Prize to Bruno Courcelle who will give a lecture on Thursday July 2nd at 16:30. Registration to the conference is mandatory to attend the ceremony.
Plenary lecture given by Bruno Courcelle
Tutorials
Fine-Grained Complexity
Virginia Vassilevska Williams
Computable Analysis
Martin Ziegler
Invited speakers
Paolo Boldi
Centralities in Network Analysis
Véronique Bruyère
A game-theoretic approach for the automated synthesis of complex systems
Ekaterina Fokina
On-the-fly classification of structures
Amaury Pouly
A Survey on Analog Models of Computation
Antonio Restivo
On the Repetitive Structure of Words
Damien Woods
Molecular algorithms using reprogrammable DNA self-assembly
Special sessions
Algorithmic Learning Theory
Organized by Frank Stephan and Lorenzo Carlucci
Speakers:
Ziyuan Gao
Luca San Mauro
Amir Yehudayoff
Thomas Zeugmann
Combinatorial String Matching
Organized by Travis Gagie and Marinella Sciortino
Speakers:
Inge Li Gørtz
Markus Lohrey
Cinzia Pizzi
Przemek Uznanski
Computable Topology
Organized by Matthew de Brecht and Mathieu Hoyrup
Speakers:
Takayuki Kihara
Alexander Melnikov
Matthias Schröder
Mariya Soskova
HAPOC session on Fairness
in Algorithms
Organized by Viola Schiaffonati and Teresa Scantamburlo
Speakers:
Krishna Gummadi
Christoph Heitz
Anouk Ruhaak
Teresa Scantamburlo
Large Scale Bioinformatics and Computational Sciences
Organized by Gianluca Della Vedova and Iman Hajirasouliha
Speakers:
Marco Aldinucci
Can Alkan
Valentina Boeva
Erik Garrison
Modern Aspects of Formal Languages
Organized by Markus L. Schmid and Rosalba Zizza
Speakers:
Joel D. Day
Stavros Konstantinidis
Maria Madonia
Wim Martens
Women in Computability
Women in Computer Science and Mathematics face particular challenges in pursuing and maintaining academic and scientific careers. Women are significantly underrepresented at all levels of the academic pipeline, while the very few female students involved in Computing and Mathematical Research need to be aware of their talent and role in the scientific community. Indeed, the scarcity of senior women academicians produces the lack of critical information about the culture and content required for pursuing careers in the mathematical sciences. It is for this reason that the Computability in Europe association has been coordinating a Women in Computability programme since 2007, hosted during the annual CiE conference. In 2016 then, after the new ACiE constitution allowed for the possibility of creating special interest groups, a proposal for the establishment of an ACiE Special Interest Group Women in Computability.
Our aim is to offer an opportunity to discuss matters related to women in computer science, logic and mathematics and to increase female participation in the CiE conference series. Since 2016, the WiC programme is sponsored by ACM’s Women in Computing. This programme includes a workshop, the annual WiC diner, the mentorship programme and a grant programme for young female researchers.
Speakers:
Ekaterina Fokina
Marinella Sciortino
Virginia Vassilevska-Williams
Informal Presentations
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.
Venue
The conference will be held virtually in Fisciano, in the main campus of the Università di Salerno.
Sponsors
Computability in Europe 2020 