caml-list - the Caml user's mailing list
 help / Atom feed
* [Caml-list] Computability in Europe 2020 FIRST CALL FOR PAPERS:
@ 2019-10-07 12:28 Gianluca Della Vedova
  0 siblings, 0 replies; 1+ messages in thread
From: Gianluca Della Vedova @ 2019-10-07 12:28 UTC (permalink / raw)
  To: Gianluca Della Vedova

CiE 2020:
Salerno, Italy

June 29 - July 3, 2020


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


- Virginia Vassilevska Williams (MIT)
- Martin Ziegler (Korea Advanced Institute of Science and Technology)


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)


Department of Computer Science, University of Salerno


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 will be selected from submissions received by the

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

Papers must be submitted in PDF format, using the LNCS style
(available at
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.

^ permalink raw reply	[flat|nested] 1+ messages in thread

only message in thread, back to index

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-10-07 12:28 [Caml-list] Computability in Europe 2020 FIRST CALL FOR PAPERS: Gianluca Della Vedova

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror

AGPL code for this site: git clone public-inbox