CiE 2020 : Conference on Computability in Europe

  in Conferences   Posted on December 7, 2019

Conference Information

Submission Deadline Friday 17 Jan 2020 Proceedings indexed by :
Conference Dates Jun 29, 2020 - Jul 3, 2020
Conference Address Salerno, Italy
Conference & Submission Link https://cie2020.wordpress.com/
Conference Organizers : ( Deadline extended ? Click here to edit )

Conference Call for Papers

CiE 2020:

Salerno, Italy

June 29 – July 3, 2020

https://www.acie.eu/cie-conference-series/cie2020

https://www.acie.eu

IMPORTANT DATES:

Deadline for abstract registration: 3 January 2020 AOE

Deadline for article submission: 17 January 2020 AOE

Notification of acceptance: 29 February 2020

Final versions due: 15 March 2020

Deadline for informal presentations submission: 10 April 2020

(The notifications of acceptance for informal presentations will be sent a few days after submission.)

Early registration before: 1 May 2020

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

TUTORIAL SPEAKERS:

– Virginia Vassilevska Williams (MIT)

– Martin Ziegler (Korea Advanced Institute of Science and Technology)

INVITED SPEAKERS:

Paolo Boldi (University of Milan)

Véronique Bruyère (University of Mons)

Ekatarina Fokina (Vienna University of Technology)

Amaury Pouly (CNRS Paris)

Antonio Restivo (University of Palermo)

Damien Woods (Maynooth University)

HOSTED BY:

Department of Computer Science, University of Salerno

SPECIAL SESSIONS:

Algorithmic Learning Theory

Combinatorial String Matching

Computable Topology

History and Philosophy of Computing

Large scale Bioinformatics and Computational Sciences

Modern aspects of Formal Languages

CONTRIBUTED PAPERS:

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 Birmingham

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 Universität Trier

Alexander Schoenhuth Bielefeld University

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.

THE PROGRAMME COMMITTEE cordially invites all researchers (European and non-European) to submit their papers 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 CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag.

Other Conferences in Italy

CACOE 2020 : International Workshop on Cyber Range Technologies and Applications

Deadline :
Fri 28 Feb 2020
Jun 15, 2020 - Jun 15, 2020 - Genova
Italy

SecWeb 2020 : 1st Workshop on Designing Security for the Web

Deadline :
Fri 28 Feb 2020
Jun 19, 2020 - Jun 19, 2020 - Genova (Italy)
Italy

WTMC 2020 : 5th International Workshop on Traffic Measurements for Cybersecurity

Deadline :
Sat 29 Feb 2020
Jun 15, 2020 - Jun 15, 2020 - Genova
Italy

SEPA 2020 : 12th International Symposium on Software Engineering Processes and Applications

Deadline :
Sat 29 Feb 2020
Jul 1, 2020 - Jul 4, 2020 - Cagliari
Italy

ISSQ 2020 : 11th International Symposium on Software Quality

Deadline :
Sat 29 Feb 2020
Jul 1, 2020 - Jul 4, 2020 - Cagliari
Italy