Fundamentals of Computation Theory: 20th International Symposium, FCT 2015, GdaÅsk, Poland, August 17-19, 2015, Proceedings PDF
Preview Fundamentals of Computation Theory: 20th International Symposium, FCT 2015, GdaÅsk, Poland, August 17-19, 2015, Proceedings
Adrian Kosowski Igor Walukiewicz (Eds.) 0 1 Fundamentals 2 9 S C of Computation Theory N L 20th International Symposium, FCT 2015 Gdańsk, Poland, August 17–19, 2015 Proceedings 123 Lecture Notes in Computer Science 9210 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, Zürich, 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 Adrian Kosowski Igor Walukiewicz (Eds.) (cid:129) Fundamentals of Computation Theory 20th International Symposium, FCT 2015 ń – Gda sk, Poland, August 17 19, 2015 Proceedings 123 Editors Adrian Kosowski Igor Walukiewicz UniversitéParis Diderot UniversitéBordeaux 1 Paris Talence France France ISSN 0302-9743 ISSN 1611-3349 (electronic) Lecture Notesin Computer Science ISBN 978-3-319-22176-2 ISBN978-3-319-22177-9 (eBook) DOI 10.1007/978-3-319-22177-9 LibraryofCongressControlNumber:2015944500 LNCSSublibrary:SL1–TheoreticalComputerScienceandGeneralIssues SpringerChamHeidelbergNewYorkDordrechtLondon ©SpringerInternationalPublishingSwitzerland2015 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. Printedonacid-freepaper SpringerInternationalPublishingAGSwitzerlandispartofSpringerScience+BusinessMedia (www.springer.com) Preface TheProgramCommitteealsoconferredaspecialTest-of-TimeAwardtotheFCT1991 paper Lattice basis reduction: Improved practical algorithms and solving subset sum problems, co-authored by Claus-Peter Schnorr and Martin Euchner. This volume contains the papers presented at FCT 2015: The 20th International Symposium on FundamentalsofComputationTheory,whichwasheldduringAugust17–19,2015,in Gdańsk, Poland. The Symposium on Fundamentals of Computation Theory was established in 1977 for researchers interested in all aspects of theoretical computer science,inparticularinalgorithms,complexity,andformalandlogicalmethods.Itisa biennialconference,whichhaspreviouslybeenheldinPoznań(1977),Wendisch-Rietz (1979), Szeged (1981), Borgholm (1983), Cottbus (1985), Kazan (1987), Szeged (1989), Gosen-Berlin (1991), Szeged (1993), Dresden (1995), Kraków (1997), Iasi (1999), Riga (2001), Malmö (2003), Lübeck (2005), Budapest (2007), Wrocław (2009),Oslo(2011),andLiverpool(2013).ThesuggestedtopicsofFCT2015included three main areas: – Algorithms (algorithm design and optimization; approximation, randomized, and heuristic methods; circuits and Boolean functions; combinatorics and analysis of algorithms; computational algebra; computational complexity; computational geometry; online algorithms; streaming algorithms; distributed and parallel computing) – Formal methods (algebraic and categorical methods; automata and formal lan- guages; computability and nonstandard computing models; database theory; foun- dationsofconcurrencyanddistributedsystems;logicsandmodelchecking;models of reactive, hybrid, and stochastic systems; principles of programming languages; program analysis and transformation; specification, refinement, and verification; security; type systems) – Emergingfields(adhoc,dynamic,andevolvingsystems;algorithmicgametheory; computational biology; foundations of cloud computing and ubiquitous systems; quantum information and quantum computing) Thisyearwereceived60submissionsinresponsetothecallforpapers,ofwhich27 wereacceptedbytheProgramCommitteeafteracarefulreviewanddiscussionprocess. The conference program included three invited talks, by Marek Karpinski (University of Bonn), Antonín Kučera (Masaryk University), and Peter Widmayer (ETH Zürich), aswellasaspecialsessiondevotedtosomeofthemostinfluentialpaperspresentedat FCTinthe40yearsofthehistoryoftheconference.Thisvolumecontainstheaccepted papers and abstracts of the invited talks. We would like to thank the members of the Program Committee for the evaluation of the submissions and the additional reviewers for their excellent cooperation in this work. We are grateful to all the contributors of the conference, in particular to the invited speakers for their willingness to share their insights on interesting new VI Preface developments. Furthermore, we thank the Organizing Committee chaired by Paweł Żyliński and Łukasz Kuszner for their invaluable help. We areespecially grateful to thesponsorsofthe conference: theMayor oftheCity of Gdańsk, the University of Gdańsk, the Gdańsk University of Technology, and Springer,fortheirfinancialsupport.Finally,weacknowledgetheuseoftheEasyChair system in managing paper submissions, the refereeing process, and preparation of the conference proceedings. August 2015 Adrian Kosowski Igor Walukiewicz Conference Organization Program Committee Per Austrin KTH Royal Institute of Technology, Stockholm, Sweden Christel Baier Technische Universität Dresden, Germany Marcin Bieńkowski University of Wrocław, Poland Tomás Bráždil Masaryk University, Brno, Czech Republic Luis Caires Universidade Nova de Lisboa, Portugal Thomas Colcombet CNRS and Université Paris Diderot, France Marek Cygan University of Warsaw, Poland Stéphane Demri CNRS and ENS Cachan, France Dariusz Dereniowski Gdańsk University of Technology, Poland Konstantinos Georgiou University of Waterloo, Canada Radu Grosu Vienna University of Technology, Austria Rolf Klein University of Bonn, Germany Barbara König University of Duisburg-Essen, Germany Adrian Kosowski Inria and Université Paris Diderot, France Dan Král University of Warwick, UK Leonid Libkin University of Edinburgh, UK Andrzej Murawski University of Warwick, UK Jelani Nelson Harvard University, USA Gennaro Parlato University of Southampton, UK Andrzej Pelc Université du Québec en Outaouais, Canada Guido Proietti University of L’Aquila, Italy Andrzej Proskurowski University of Oregon, USA Stanisław Radziszowski Rochester Institute of Technology, USA Davide Sangiorgi Inria and University of Bologna, Italy Thomas Sauerwald University of Cambridge, UK Pawel Sobocinski University of Southampton, UK Andrzej Szepietowski University of Gdańsk, Poland Wojciech Szpankowski Purdue University, USA Igor Walukiewicz CNRS and Université de Bordeaux, France Paweł Żyliński University of Gdańsk, Poland Steering Committee Bogdan Chlebus University of Colorado, USA Zoltan Esik University of Szeged, Hungary Marek Karpinski University of Bonn, Germany VIII Conference Organization Andrzej Lingas Lund University, Sweden Miklos Santha CNRS and Université Paris Diderot, France Eli Upfal Brown University, USA Additional Reviewers Bauwens, Bruno Habermehl, Peter Place, Thomas Bezakova, Ivona Horn, Florian Prusinkiewicz, Bhattacharya, Binay Jeż, Łukasz Przemyslaw Bilò, Davide Jurdzinski, Tomasz Radoszewski, Jakub Blasiok, Jaroslaw Kaminsky, Alan Raman, Venkatesh Blum, Norbert Knop, Dusan Rauf, Imran Borowiecki, Piotr Knorr, Matthias Sauerhoff, Martin Choi, Yongwook Kolpakov, Roman Saurabh, Saket Curticapean, Radu Kretinsky, Jan Scheffel, Torben Damaschke, Peter Krzywkowski, Marcin Schlipf, Lena Downey, Rod Kucera, Petr Schmitz, Sylvain Dueck, Gerhard La Torre, Salvatore Silberstein, Natalia Dybizbanski, Janusz Laskoś-Grabowski, Paweł Skrzypczak, Michal Elbassioni, Khaled Lonati, Violetta Souto, André Enea, Constantin Magner, Abram Spyra, Aleksandra Farley, Arthur Mamede, Margarida Sreejith, A.V. Fijalkow, Nathanaël Marcinkowski, Jan Truthe, Bianca Fitzsimmons, Zack Mikkelsen, Jesper W. Volec, Jan Gajarský, Jakub Narvaez, David Wilson, Christopher Gleich, David Nickovic, Dejan Wood, Christopher Golovach, Petr Obdrzalek, Jan Zenil, Hector Gualà, Luciano Ordyniak, Sebastian Zhang, Yu Gurvich, Vladimir Pajak, Dominik Ziemann, Radosław Institutional Organizers University of Gdańsk Gdańsk University of Technology Honorary Patronage Mayor of the City of Gdańsk Committee on Informatics, Polish Academy of Sciences Cooperating Institution Sphere Research Labs Sp. z o.o. Conference Organization IX Organizing Committee Piotr Borowiecki Zuzanna Kosowska-Stamirowska Adrian Kosowski Łukasz Kuszner Paweł Żyliński
The list of books you might like
