Home

University of Salerno – Fisciano campus

Announcement

Due to the current medical situation related to the coronavirus COVID-19 outbreak, the Organizing Committee of CiE2020, in agreement with the CiE Steering Committee, has decided to reschedule the conference. We will be monitoring the situation and give more details on this web site.

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.


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


Submissions

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.

The program committee cordially invites all researchers (European and non-European) to submit original research articles in all areas related to the above for presentation at the conference and inclusion in the proceedings of CiE 2020 at https://easychair.org/conferences/?conf=cie2020

Papers must be submitted in PDF format, using the LNCS style (available at https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines) and must have a maximum of 12 pages, including references but excluding a possible appendix in which one can include proofs and other additional material. Papers building bridges between different parts of the research community are particularly welcome. The submission website will be open untile the paper submission deadline.

The conference proceedings will be published by LNCS, Springer Verlag.


Registration

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.

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.
Applications for this grant should be sent to johanna.franklin@gmail.com, before April 30, 2020 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.


Important dates

  • Notification: March 20, 2020
  • Final Version: April 28, 2020
  • Informal Presentations: TBD
  • Notification for Informal Presentations: within a few days of submission
  • Early Registration: TBD
  • Late Registration: TBD

Venue

The conference will be held in Fisciano, in the main campus of the Università di Salerno. Fisciano is a small town located 15km from Salerno, located between the tourist attractions of Pompeii, Paestum and the Amalfi Coast.

The nearest airport to Salerno is Naples, Capodichino Airport. You can reach Salerno from the Capodichino Airport by regular trains and buses in about 1 hour. A high-speed train connects Rome to Salerno in 1 hour 35’.


Accommodation


Social event

An afternoon will be devoted to an excursion to Paestum, a major ancient Greek city on the coast of the Tyrrhenian Sea in Magna Graecia.


Sponsors


Contact

Get in Touch

Scientific enquiries

Please do no use this form for question about logistical aspects, such as accommodation, travel, visa.