Automata, Languages, and Programming: 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I PDF
Preview Automata, Languages, and Programming: 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I
Magnús M. Halldórsson Kazuo Iwama Naoki Kobayashi S Bettina Speckmann (Eds.) S o C R A 4 3 Automata, Languages, 1 9 S C and Programming N L 42nd International Colloquium, ICALP 2015 Kyoto, Japan, July 6–10, 2015 Proceedings, Part I 123 Lecture Notes in Computer Science 9134 CommencedPublicationin1973 FoundingandFormerSeriesEditors: GerhardGoos,JurisHartmanis,andJanvanLeeuwen EditorialBoard DavidHutchison,UK TakeoKanade,USA JosefKittler,UK JonM.Kleinberg,USA JohnC.Mitchell,USA FriedemannMattern,Switzerland BernhardSteffen,Germany MoniNaor,Israel DemetriTerzopoulos,USA C.PanduRangan,India GerhardWeikum,Germany DougTygar,USA Advanced Research in Computing and Software Science SublineofLectureNotesin ComputerScience SublineSeries Editors GiorgioAusiello,UniversityofRome‘LaSapienza’,Italy VladimiroSassone,UniversityofSouthampton,UK SublineAdvisoryBoard SusanneAlbers,TUMunich,Germany BenjaminC.Pierce,UniversityofPennsylvania,USA BernhardSteffen,UniversityofDortmund,Germany DengXiaotie,CityUniversityofHongKong JeannetteM.Wing,MicrosoftResearch,Redmond,WA,USA More information about this series at http://www.springer.com/series/7407 ú ó Magn s M. Halld rsson Kazuo Iwama (cid:129) Naoki Kobayashi Bettina Speckmann (Eds.) (cid:129) Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015 – Kyoto, Japan, July 6 10, 2015 Proceedings, Part I 123 Editors Magnús M.Halldórsson NaokiKobayashi ReykjavikUniversity TheUniversity of Tokyo Reykjavik Tokyo Iceland Japan Kazuo Iwama Bettina Speckmann KyotoUniversity Technische Universiteit Eindhoven Kyoto Eindhoven Japan TheNetherlands ISSN 0302-9743 ISSN 1611-3349 (electronic) Lecture Notesin Computer Science ISBN 978-3-662-47671-0 ISBN978-3-662-47672-7 (eBook) DOI 10.1007/978-3-662-47672-7 LibraryofCongressControlNumber:2015941869 LNCSSublibrary:SL1–TheoreticalComputerScienceandGeneralIssues SpringerHeidelbergNewYorkDordrechtLondon ©Springer-VerlagBerlinHeidelberg2015 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 Springer-VerlagGmbHBerlinHeidelbergispartofSpringerScience+BusinessMedia (www.springer.com) Preface ICALP 2015, the 42nd edition of the International Colloquium on Automata, Lan- guagesandProgramming,washeldinKyoto,JapanduringJuly6–10,2015.ICALPis a series of annual conferences of the European Association for Theoretical Computer Science (EATCS), which first took place in 1972. This year, the ICALP program consistedoftheestablishedtrackA(focusingonalgorithms,automata,complexity,and games) and track B (focusing on logic, semantics, and theory of programming), and of the recently introduced track C (focusing on foundations of networking). Inresponsetothecallforpapers,theProgramCommitteereceived507submissions, thehighestever:327fortrackA,115fortrackB,and65fortrackC.Outofthese,143 paperswereselectedforinclusioninthescientificprogram:89papersforTrackA,34 forTrackB,and20forTrackC.TheselectionwasmadebytheProgramCommittees basedonoriginality,quality,andrelevancetotheoreticalcomputerscience.Thequality of the manuscripts was very high indeed, and many deserving papers could not be selected. The EATCS sponsored awards for both a best paper and a best student paper for each of the three tracks, selected by the Program Committees. The best paper awards were given to the following papers: – TrackA:AaronBernsteinandCliffordStein.“FullyDynamicMatchinginBipartite Graphs” – TrackB:JarkkoKariandMichalSzabados.“AnAlgebraicGeometricApproachto Nivat’s Conjecture” – Track C: Yiannis Giannakopoulos and Elias Koutsoupias. “Selling Two Goods optimally” Thebeststudentpaperawards,forpapersthataresolelyauthoredbystudents,were given to the following papers: – Track A: Huacheng Yu. “An Improved Combinatorial Algorithm for Boolean Matrix Multiplication” – Track A: Radu Curticapean. “Block Interpolation: A Framework for Tight Expo- nential-Time Counting Complexity” – Track B: Georg Zetzsche. “An Approach to Computing Downward Closures” Track A gave out two student paper awards this year because of the very high quality of the two winning papers. The conference was co-located with LICS 2015, the 30th ACM/IEEE Symposium on Logic in Computer Science. Apart from the contributed talks, ICALP 2015 included invited presentations by Ken-ichi Kawarabayashi, Valerie King, Thomas Moscibroda, Anca Muscholl, Peter O’Hearn, of which the latter two were joint with LICS. Additionally, it contained tutorialsessionsbyPiotrIndyk,AndrewPitts,andGeoffreySmith,alljointwithLICS, VI Preface andamasterclassongamesbyRyuheiUehara.Abstracts oftheirtalksareincludedin these proceedings as well. The program of ICALP 2015 also included presentation of the EATCS Award 2015 to Christos Papadimitriou. This volume of the proceedings contains all contributed papers presented at the conferenceinTrackA.Acompanionvolumecontainsallcontributedpaperspresented inTrackBandTrackCtogetherwiththepapersandabstractsoftheinvitedspeakers. The following workshops were held as satellite events of ICALP/LICS 2015: HOPA 2015 — Workshop on the Verification of Higher-Order Programs LCC 2015 — 16th International Workshop on Logic and Computational Complexity NLCS 2015 — Third Workshop on Natural Language and Computer Science LOLA 2015 — Workshop on Syntax and Semantics for Low-Level Languages QCC 2015 — Workshop on Quantum Computational Complexity WRAWN 2015 — 6th Workshop on Realistic Models for Algorithms in Wireless Networks YR-ICALP 2015 — Young Researchers Forum on Automata, Languages and Programming We wish to thank all authors who submitted extended abstracts for consideration, the Program Committees for their scholarly effort, and all referees who assisted the Program Committees in the evaluation process. We thank the sponsors (ERATO Kawarabayashi Large Graph Project; MEXT Grant-in-Aid for Scientific Research on Innovative Areas “Exploring the Limits of Computation”; Research Institute for Mathematical Sciences, Kyoto University; and Tateisi Science and Technology Foundation) for their support. We are also grateful to all members of the Organizing Committee and to their support staff. Thanks to Andrei Voronkov and Shai Halevi for writing the conference manage- ment systems EasyChair andWeb-Submission-and-Review software, which were used inhandlingthesubmissionsandtheelectronicProgramCommitteemeeting,aswellas in assisting in the assembly of the proceedings. Lastbutnotleast,wewouldliketothankLucaAceto,thepresidentofEATCS,for his generous advice on the organization of the conference. May 2015 Magnús M. Halldórsson Kazuo Iwama Naoki Kobayashi Bettina Speckmann Organization Program Committee Track A Peyman Afshani Aarhus University, Denmark Hee-Kap Ahn POSTECH, South Korea Hans Bodlaender Utrecht University, The Netherlands Karl Bringmann Max-Planck Institut für Informatik, Germany Sergio Cabello University of Ljubljana, Slovenia Ken Clarkson IBM Almaden Research Center, USA Éric Colin de Verdière École Normale Supérieure Paris, France Stefan Dziembowski University of Warsaw, Poland David Eppstein University of California at Irvine, USA Dimitris Fotakis National Technical University of Athens, Greece Paul Goldberg University of Oxford, UK MohammadTaghi University of Maryland at College Park, USA Hajiaghayi Jesper Jansson Kyoto University, Japan Andrei Krokhin Durham University, UK Asaf Levin Technion, Israel Inge Li Gørtz Technical University of Denmark, Denmark Pinyan Lu Microsoft Research Asia, China Frédéric Magniez Université Paris Diderot, France Kazuhisa Makino Kyoto University, Japan Elvira Mayordomo Universidad de Zaragoza, Spain Ulrich Meyer Goethe University Frankfurt am Main, Germany Wolfgang Mulzer Free University Berlin, Germany Viswanath Nagarajan University of Michigan, USA Vicky Papadopoulou European University Cyprus, Cyprus Michał Pilipczuk University of Bergen, Norway Liam Roditty Bar-Ilan University, Israel Ignaz Rutter Karlsruhe Institute of Technology, Germany Rocco Servedio Columbia University, USA Jens Schmidt TU Ilmenau, Germany Bettina Speckmann TU Eindhoven, The Netherlands Csaba D. Tóth California State University Northridge, USA Takeaki Uno National Institute of Informatics, Japan Erik Jan van Leeuwen Max-Planck Institut für Informatik, Germany Rob van Stee University of Leicester, UK Ivan Visconti University of Salerno, Italy VIII Organization Track B Andreas Abel Chalmers and Gothenburg University, Sweden Albert Atserias Universitat Politècnica de Catalunya, Spain Christel Baier TU Dresden, Germany Lars Birkedal Aarhus University, Denmark Luís Caires Universidade Nova de Lisboa, Portugal James Cheney University of Edinburgh, UK Wei Ngan Chin National University of Singapore, Singapore Ugo Dal Lago University of Bologna, Italy Thomas Ehrhard CNRS and Université Paris Diderot, France Zoltán Ésik University of Szeged, Hungary Xinyu Feng UniversityofScienceandTechnologyofChina,China Wan Fokkink VU University Amsterdam, The Netherlands Shin-ya Katsumata Kyoto University, Japan Naoki Kobayashi The University of Tokyo, Japan Eric Koskinen New York University, USA Antonín Kučera Masaryk University, Czech Republic Orna Kupferman Hebrew University, Israel Annabelle Mclver Macquarie University, Australia Dale Miller Inria Saclay, France Markus Müller-Olm University of Münster, Germany Andrzej Murawski University of Warwick, UK Joel Ouaknine University of Oxford, UK Prakash Panangaden McGill University, Canada Pawel Parys University of Warsaw, Poland Reinhard Pichler TU Vienna, Austria SimonaRonchiDellaRocca University of Turin, Italy Jeremy Siek Indiana University, USA Track C Ioannis Caragiannis University of Patras, Greece Katarina Cechlarova Pavol Jozef Safarik University, Slovakia Shiri Chechik Tel Aviv University, Israel Yuval Emek Technion, Israel Sándor Fekete TU Braunschweig, Germany Pierre Fraigniaud CNRS, Université Paris Diderot, France Leszek Gąsieniec University of Liverpool, UK Aristides Gionis Aalto University, Finland Magnús M. Halldórsson Reykjavik University, Iceland Monika Henzinger Universität Wien, Austria Bhaskar Krishnamachari University of Southern California, USA Fabian Kuhn University of Freiburg, Germany Michael Mitzenmacher Harvard University, USA Massimo Merro University of Verona, Italy Organization IX Gopal Pandurangan University of Houston, USA Pino Persiano University of Salerno, Italy R. Ravi Carnegie Mellon University, USA Ymir Vigfusson Emory University, USA Roger Wattenhofer ETH Zürich, Switzerland Masafumi Yamashita Kyushu University, Japan Organizing Committee Masahito Hasegawa Kyoto University, Japan Atushi Igarashi Kyoto University, Japan Kazuo Iwama Kyoto University, Japan Kazuhisa Makino Kyoto University, Japan Financial Sponsors ERATO Kawarabayashi Large Graph Project MEXT Grant-in-Aid for Scientific Research on Innovative Areas: “Exploring the Limits of Computation” Research Institute for Mathematical Sciences, Kyoto University Tateisi Science and Technology Foundation Additional Reviewers Abboud, Amir Arai, Hiromi Abdulla, Parosh Aronov, Boris Abed, Fidaa Asada, Kazuyuki Abraham, Ittai Aspnes, James Ailon, Nir Aubert, Clément Ajwani, Deepak Augustine, John Albers, Susanne Auletta, Vincenzo Almeida, Jorge Austrin, Per Alt, Helmut Avin, Chen Alur, Rajeev Avni, Guy Alvarez, Victor Baelde, David Alvarez-Jarreta, Jorge Baillot, Patrick Ambainis, Andris Bansal, Nikhil Aminof, Benjamin Banyassady, Bahareh Anagnostopoulos, Aris Barnat, Jiri Andoni, Alexandr Barth, Stephan Angelidakis, Haris Barto, Libor Anshelevich, Elliot Basavaraju, Manu Antoniadis, Antonios Bassily, Raef
The list of books you might like
