[FOM] FW: Computability in Europe 2020 FIRST CALL FOR PAPERS:

[Kreinovich, Vladik]

This may be of interest to some folks on the list

From: Gianluca Della Vedova <gianluca.dellavedova at unimib.it<mailto:gianluca.dellavedova at unimib.it>>
Sent: Monday, October 7, 2019 2:21 PM

CiE 2020:
Salerno, Italy

June 29 - July 3, 2020
https://www.acie.eu/cie-conference-series/cie2020<https://protect-za.mimecast.com/s/AlACCnZmpOtMVyW1hmoK4P>
https://www.acie.eu<https://protect-za.mimecast.com/s/ceZQCoYnqytxmow1FoLwJe>

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 University of Amsterdam
Florin Manea University of 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 Universitaet Trier
Alexander Schoenhuth Bielefeld University
Thomas Schwentick Universitet 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<https://protect-za.mimecast.com/s/DnP3Cpgo02fXZlwJh7krTu>.

Papers must be submitted in PDF format, using the LNCS style
(available at https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines<https://protect-za.mimecast.com/s/ySgRCqjpvZSmv42xFv24y4>)
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.
--
You received this message because you are subscribed to the Google Groups "constructivenews" group.
To unsubscribe from this group and stop receiving emails from it, send an email to constructivenews+unsubscribe at googlegroups.com<mailto:constructivenews+unsubscribe at googlegroups.com>.
To view this discussion on the web visit https://groups.google.com/d/msgid/constructivenews/31223f5890ce4161810a3626f29649f3%40ITDSRVMBX010.utep.edu<https://groups.google.com/d/msgid/constructivenews/31223f5890ce4161810a3626f29649f3%40ITDSRVMBX010.utep.edu?utm_medium=email&utm_source=footer>.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20191007/5f10dd05/attachment-0001.html>