Computability in Europe, 13 conf., CiE 2017

411 Pages·2017·3.908 MB·English

Jarkko Kari · Florin Manea
Ion Petre (Eds.)
7
0
3
0
Unveiling Dynamics
1

S
C
and Complexity
N
L
13th Conference on Computability in Europe, CiE 2017
Turku, Finland, June 12–16, 2017
Proceedings
123
Lecture Notes in Computer Science 10307
Commenced Publication in 1973
Founding and Former Series Editors:
Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen
Editorial Board
David Hutchison
Lancaster University, Lancaster, UK
Takeo Kanade
Carnegie Mellon University, Pittsburgh, PA, USA
Josef Kittler
University of Surrey, Guildford, UK
Jon M. Kleinberg
Cornell University, Ithaca, NY, USA
Friedemann Mattern
ETH Zurich, Zurich, Switzerland
John C. Mitchell
Stanford University, Stanford, CA, USA
Moni Naor
Weizmann Institute of Science, Rehovot, Israel
C. Pandu Rangan
Indian Institute of Technology, Madras, India
Bernhard Steffen
TU Dortmund University, Dortmund, Germany
Demetri Terzopoulos
University of California, Los Angeles, CA, USA
Doug Tygar
University of California, Berkeley, CA, USA
Gerhard Weikum
Max Planck Institute for Informatics, Saarbrücken, Germany
More information about this series at http://www.springer.com/series/7407
Jarkko Kari Florin Manea
(cid:129)
Ion Petre (Eds.)
Unveiling Dynamics
and Complexity
13th Conference on Computability in Europe, CiE 2017
–
Turku, Finland, June 12 16, 2017
Proceedings
123
Editors
JarkkoKari Ion Petre
University of Turku ÅboAkademi University
Turku Turku
Finland Finland
Florin Manea
Christian-Albrechts-University of Kiel
Kiel
Germany
ISSN 0302-9743 ISSN 1611-3349 (electronic)
Lecture Notesin Computer Science
ISBN 978-3-319-58740-0 ISBN978-3-319-58741-7 (eBook)
DOI 10.1007/978-3-319-58741-7
LibraryofCongressControlNumber:2017940625
LNCSSublibrary:SL1–TheoreticalComputerScienceandGeneralIssues
©SpringerInternationalPublishingAG2017
Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartofthe
material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation,
broadcasting, reproduction on microfilms or in any other physical way, and transmission or information
storageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodologynow
knownorhereafterdeveloped.
Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication
doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant
protectivelawsandregulationsandthereforefreeforgeneraluse.
Thepublisher,theauthorsandtheeditorsaresafetoassumethattheadviceandinformationinthisbookare
believedtobetrueandaccurateatthedateofpublication.Neitherthepublishernortheauthorsortheeditors
give a warranty, express or implied, with respect to the material contained herein or for any errors or
omissionsthatmayhavebeenmade.Thepublisherremainsneutralwithregardtojurisdictionalclaimsin
publishedmapsandinstitutionalaffiliations.
Printedonacid-freepaper
ThisSpringerimprintispublishedbySpringerNature
TheregisteredcompanyisSpringerInternationalPublishingAG
Theregisteredcompanyaddressis:Gewerbestrasse11,6330Cham,Switzerland
Preface
CiE 2017: Unveiling Dynamics and Complexity
Turku, Finland, June 12–16, 2017
The conference Computability in Europe (CiE) is organized yearly under the auspices
oftheAssociationCiE,aEuropeanassociationofmathematicians,logicians,computer
scientists, philosophers, physicists, and others interested in new developments in
computability and their underlying significance for the real world. CiE promotes the
development of computability-related science, ranging from mathematics, computer
science, and applications in various natural and engineering sciences, such as physics
andbiology,aswellasrelatedfields,suchasphilosophyandhistoryofcomputing.CiE
2017 had as motto “Unveiling Dynamics and Complexity,” emphasizing in this way
two important broad research directions within the CiE community.
CiE 2017 was the 13th conference in the series, and the first one to take place in
Finland,inthecityofTurku.TheconferencewasjointlyorganizedbytheDepartment
of Mathematics and Statistics, University of Turku, and the Department of Computer
Science, Åbo Akademi University. The 12 previous CiE conferences were held in
Amsterdam (The Netherlands) in 2005, Swansea (Wales) in 2006, Siena (Italy) in
2007, Athens (Greece) in 2008, Heidelberg (Germany) in 2009, Ponta Delgada
(Portugal)in2010,Sofia(Bulgaria)in2011,Cambridge(UK)in2012,Milan(Italy)in
2013,Budapest(Hungary)in2014,Bucharest(Romania)in2015,andParis(France)in
2016.CiE2018willbeheldinKiel,Germany.Currently,theannualCiEconferenceis
the largest international meeting focused on computability theoretic issues. The pro-
ceedingscontainingthebestsubmittedpapersaswellasextendedabstractsofinvited,
tutorial, and special session speakers, for the CiE conferences are published in the
Springer series Lecture Notes in Computer Science.
The CiE conference series is coordinated by the CiE Conference Series Steering
Committee consisting of: Arnold Beckmann (Swansea), Alessandra Carbone (Paris),
Natasha Jonoska (Tampa FL), Benedikt Löwe (Amsterdam), Florin Manea (Kiel,
chair), Klaus Meer (Cottbus), Mariya Soskova (Sofia), Susan Stepney (York), and
ex-officiomembersPaolaBonizzoni(Milan,presidentoftheAssociationCiE)andDag
Normann (Oslo).
The Program Committee of CiE 2017 was chaired by Jarkko Kari (University of
Turku) and Ion Petre (Åbo Akademi University, Turku). The committee selected the
VI Preface
invited and tutorial speakers and the special session organizers, and coordinated the
reviewing process of all submitted contributions.
The Program Committee invited six speakers to give plenary lectures:
– Scott Aaronson (University of Texas at Austin)
– Karen Lange (Wellesley College)
– Ludovic Patey (Université Paris Diderot)
– Nicole Schweikardt (Humboldt-Universität zu Berlin)
– Alexander Shen (Université de Montpellier)
– Moshe Vardi (Rice University)
The conference also had two plenary tutorials by
– Denis R. Hirschfeldt (University of Chicago)
– Daniel M. Gusfield (University of California, Davis)
CiE 2017 had six special sessions, listed here. Speakers in these special sessions
were selected by the respective special session organizers and were invited to con-
tribute a paper to thisvolume.The History andPhilosophyof Computingsession was
focusedonaspecialtopicthisyear:historyandfoundationsofrecursion,inmemoryof
Rósza Péter (1905–1977).
Algorithmics for Biology
Organizers: Paola Bonizzoni and Veli Mäkinen
Speakers: Tobias Marschall (Max-Planck-Institut für Informatik), Fabio Vandin
(University of Padova), Gregory Kucherov (University Paris-Est Marne-la-Vallée),
Gianluca Della Vedova (University of Milano-Bicocca)
Combinatorics and Algorithmics on Words
Organizers: Tero Harju and Dirk Nowotka
Speakers: Stepan Holub (Charles University in Prague), Pascal Ochem (Université
de Montpellier), Svetlana Puzynina (Sobolev Institute of Mathematics and École
Normale Supérieure de Lyon), Narad Rampersad (University of Winnipeg)
Computability in Analysis, Algebra, and Geometry
Organizers: Julia Knight and Andrey Morozov
Speakers: Saugata Basu (Purdue University), Margarita Korovina (University of
Aarhus), Alexander Melnikov (University of California, Berkeley), Russell Miller
(Queens College, City University of New York)
Cryptography and Information Theory
Organizers: Delaram Kahrobaei and Helger Lipmaa
Speakers: Jean-Charles Faugère (Université Pierre et Marie Curie), Elham Kashefi
(University of Edinburgh, Université Pierre et Marie Curie), Aggelos Kiayias
(University of Edinburgh), Ivan Visconti (Università degli Studi di Salerno)
Preface VII
Formal Languages and Automata Theory
Organizers: Juhani Karhumäki and Alexander Okhotin
Speakers: Kai Salomaa (Queen’s University at Kingston), Matrin Kutrib
(Justus-Liebig-Universität Gießen), Thomas Colcombet (Université Paris Diderot),
Artur Jez (University of Wrocław)
History and Philosophy of Computing
Organizers: Liesbeth De Mol and Giuseppe Primiero
Speakers: Juliette Kennedy (University of Helsinki), Jan von Plato (University
of Helsinki), Giovanni Sommaruga (Université de Fribourg), Hector Zenil
(University of Oxford and Karolinska Institute)
ThemembersoftheProgramCommitteeofCiE2017selectedforpublicationinthis
volume and for presentation at the conference 25 of the 52 non-invited submitted
papers.EachpaperreceivedatleastthreereviewsbytheProgramCommitteeandtheir
subreviewers. In addition to the accepted contributed papers, this volume contains 12
invitedfullpapers.Theproductionofthevolumewouldhavebeenimpossiblewithout
the diligent work of our expert referees, both Program Committee members or sub-
reviewers. We would like to thank all of them for their excellent work.
Springer generously funded this year a Best Student Paper Award, awarded to a
paper authored solely by students. The winner of this award was the paper “Towards
Computable Analysis on the Generalized Real Line,” by Lorenzo Galeotti and Hugo
Nobrega. All authors who contributed to this conference were encouraged to submit
significantly extended versions of their papers, with additional unpublished research
content, to Computability. The Journal of the Association CiE.
The Steering Committee of the conference series CiE is concerned about the rep-
resentation of female researchers in the field of computability. In order to increase
femaleparticipation,theseriesstartedtheWomeninComputability(WiC)programin
2007. In 2016, after the new constitution of the Association CiE allowed for the
possibility of creating special interest groups, the Special Interest Group Women in
Computabilitywasestablished.Alsosince2016,theWiCprogramhasbeensponsored
byACM’sWomeninComputing.Thisprogramincludesaworkshop,theannualWiC
diner, the mentorship program, and a grant program for young female researchers. In
2017, the Women in Computability Workshop, coordinated by Liesbeth De Mol,
invited the following speakers: Juliette Kennedy (University of Helsinki, Finland),
Karen Lange (Wellesley College, USA), Ursula Martin (University of Oxford, UK)
The symposium Magic in Science was co-located with CiE 2017. It took place
immediately after the conference and celebrated the 75th birthday of Grzegorz
Rozenberg (University of Leiden, The Netherlands and University of Colorado at
Boulder, USA), one of the world leaders in research on theoretical computer science
and natural computing.
The organizers of CiE 2017 would like to acknowledge and thank the following
entities for theirfinancial support(in alphabetical order): the Academy of Finland, the
Association for Symbolic Logic (ASL), the City of Turku, the European Association
for Theoretical Computer Science (EATCS), Federation of Finnish Learned Societies,
Finnish Academy of Science and Letters, Springer, Turku Centre for Computer
VIII Preface
Science, Turku Complex Systems Institute, Turku University Foundation, University
of Turku, Åbo Akademi University, Åbo Akademi University Foundation. We would
also like to acknowledge the support of our non-financial sponsor, the Association
Computability in Europe (CiE).
March 2017 Jarkko Kari
Florin Manea
Ion Petre
Organization
Program Committee
Andrew Arana University of Illinois at Urbana-Champaign, USA
Arnold Beckmann Swansea University, UK
Paola Bonizzoni University of Milano-Bicocca, Italy
Olivier Bournez LIX and Ecole Polytechnique, France
Vasco Brattka Universität der Bundeswehr München, Germany
Cristian S. Calude University of Auckland, New Zealand
Ann Copestake University of Cambridge, UK
Liesbeth De Mol CNRS UMR8163 Savoirs, Textes, Language Université
de Lille 3, France
Ekaterina Fokina Vienna University of Technology, Austria
Tero Harju University of Turku, Finland
Emmanuel Jeandel Laboratoire Lorrain de Recherche en Informatique
et ses Applications (LORIA), France
Emil Jebek Institute of Mathematics of the Czech Academy
of Sciences, Czech Republic
Natasha Jonoska University of South Florida, USA
Jarkko Kari University of Turku (Co-chair), Finland
Viv Kendon Durham University, UK
Takayuki Kihara University of California, Berkeley
Florin Manea Institut für Informatik, Christian-Albrechts-Universität
Klaus Meer Brandenburgische Technische Universität Cottbus
Senftenberg, Germany
Russell Miller Queens College and The Graduate Center, CUNY, USA
Bernard Moret EPFL, Switzerland
Rolf Niedermeier TU Berlin, Germany
Dag Normann University of Oslo, Norway
Dirk Nowotka Christian-Albrechts-Universität zu Kiel, Germany
Isabel Oitavem CMAF
Ion Petre Abo Akademi (Co-chair), Finland
Kai Salomaa Queens University
Reed Solomon University of Connecticut, USA
Mariya Soskova Sofia University, Bulgaria
Susan Stepney University of York, UK
Peter Van Emde Boas ILLC-FNWI-Universiteit van Amsterdam (Emeritus),
The Netherlands
Philip Welch University of Bristol, UK
Damien Woods California Institute of Technology, USA