Advertisement

Language and Automata Theory and Applications

9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings

  • Adrian-Horia Dediu
  • Enrico Formenti
  • Carlos Martín-Vide
  • Bianca Truthe

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8977)

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 8977)

Table of contents

  1. Front Matter
    Pages I-XV
  2. Invited Talks

    1. Front Matter
      Pages 1-1
    2. Marco Autili, Paola Inverardi, Filippo Mignosi, Romina Spalazzese, Massimo Tivoli
      Pages 3-24
    3. Azadeh Farzan, Matthias Heizmann, Jochen Hoenicke, Zachary Kincaid, Andreas Podelski
      Pages 25-46
    4. Johann A. Makowsky, Nadia Labai
      Pages 47-55
    5. Giancarlo Mauri, Alberto Leporati, Luca Manzoni, Antonio E. Porreca, Claudio Zandron
      Pages 56-69
    6. Antonio Restivo
      Pages 70-81
  3. Algorithms

    1. Front Matter
      Pages 83-83
    2. Carl Barton, Costas S. Iliopoulos, Solon P. Pissis
      Pages 85-96
    3. Johanna Björklund, Frank Drewes, Niklas Zechner
      Pages 97-108
    4. Bastien Cazaux, Thierry Lecroq, Eric Rivals
      Pages 109-120
    5. Da-Jung Cho, Yo-Sub Han, Hwee Kim
      Pages 121-132
    6. Hernán Ponce-de-León, Andrey Mokhov
      Pages 145-160
    7. Vojtěch Vorel, Adam Roman
      Pages 161-172
  4. Automata, Logic, and Concurrency

    1. Front Matter
      Pages 173-173
    2. Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen
      Pages 175-187
    3. Conrad Cotton-Barratt, Andrzej S. Murawski, C.-H. Luke Ong
      Pages 188-199
    4. Joey Eremondi, Oscar H. Ibarra, Ian McQuillan
      Pages 200-211
    5. François Gonze, Raphaël M. Jungers
      Pages 212-223
    6. Vesa Halava, Reino Niskanen, Igor Potapov
      Pages 224-236
    7. Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
      Pages 237-248
    8. Martin Sulzmann, Peter Thiemann
      Pages 275-286
    9. Guillaume Verdier, Jean-Baptiste Raclet
      Pages 299-311
  5. Codes, Semigroups, and Symbolic Dynamics

    1. Front Matter
      Pages 313-313
    2. Marcella Anselmo, Dora Giammarresi, Maria Madonia
      Pages 315-327
    3. Thibault Godin, Ines Klimann, Matthieu Picantin
      Pages 328-339
    4. Luis-Miguel Lopez, Philippe Narbel
      Pages 340-352
    5. Charalampos Zinoviadis
      Pages 365-377
  6. Combinatorics on Words

    1. Front Matter
      Pages 379-379
    2. Golnaz Badkobeh, Gabriele Fici, Zsuzsanna Lipták
      Pages 381-390
    3. Gabriele Fici, Thierry Lecroq, Arnaud Lefebvre, Élise Prieur-Gaston
      Pages 391-401
    4. Guilhem Gamard, Gwenaël Richomme
      Pages 402-413
    5. Jana Hadravová, Štěpán Holub
      Pages 414-423
    6. Łukasz Mikulski, Marcin Piątkowski, Wojciech Rytter
      Pages 424-435
    7. Ananda Chandra Nayak, Kalpesh Kapoor
      Pages 436-445
  7. Complexity and Recursive Functions

    1. Front Matter
      Pages 447-447
    2. Eric Allender, Ian Mertz
      Pages 449-460
    3. Georg Bachmeier, Michael Luttenberger, Maximilian Schlund
      Pages 473-485
    4. Olaf Beyersdorff, Leroy Chew, Karteek Sreenivasaiah
      Pages 486-498
    5. Stefano Bilotta, Elisa Pergola, Renzo Pinzani, Simone Rinaldi
      Pages 499-510
    6. Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco
      Pages 511-523
    7. Nadia Creignou, Raïda Ktari, Arne Meier, Julian-Steffen Müller, Frédéric Olive, Heribert Vollmer
      Pages 524-536
    8. Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Antonio E. Porreca
      Pages 537-548
    9. Martin Lück, Arne Meier, Irina Schindler
      Pages 549-560

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 9th International Conference on Language and Automata Theory and Applications, LATA 2015, held in Nice, France in March 2015. The 53 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 115 submissions. The papers cover the following topics: algebraic language theory; algorithms for semi-structured data mining, algorithms on automata and words; automata and logic; automata for system analysis and program verification; automata networks, concurrency and Petri nets; automatic structures; cellular automata, codes, combinatorics on words; computational complexity; data and image compression; descriptional complexity; digital libraries and document engineering; foundations of finite state technology; foundations of XML; fuzzy and rough languages; grammatical inference and algorithmic learning; graphs and graph transformation; language varieties and semigroups; parallel and regulated rewriting; parsing; patterns; string and combinatorial issues in computational biology and bioinformatics; string processing algorithms; symbolic dynamics; term rewriting; transducers; trees, tree languages and tree automata; weighted automata.

Keywords

Algorithmic Learning Automata and Concurrency Automated Reasoning Backward Pattern Matching Combinatorics on Words Computational Complexity Data and Image Compression Decidability Distributional Learning Dynamical Systems Finite Automata Language Approximation Logic Programming Parameterized Complexity Recursive State Machines Regular Tree Automata SAT Solving Temporal Logic Term Rewriting Transducers

Editors and affiliations

  • Adrian-Horia Dediu
    • 1
  • Enrico Formenti
    • 2
  • Carlos Martín-Vide
    • 3
  • Bianca Truthe
    • 4
  1. 1.Rovira i Virgili UniversityTarragonaSpain
  2. 2.Nice Sophia Antipolis UniversitySophia AntipolisFrance
  3. 3.Mathematical LinguisticsRovira i Virgili UniversityTarragonaSpain
  4. 4.Justus-Liebig-UniversitätGießenGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-15579-1
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-15578-4
  • Online ISBN 978-3-319-15579-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site