Algebraic Informatics

5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings

  • Traian Muntean
  • Dimitrios Poulakis
  • Robert Rolland
Conference proceedings CAI 2013
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8080)

Table of contents

  1. Front Matter
  2. Invited Speakers

  3. Contributed Papers

    1. Marcella Anselmo, Dora Giammarresi, Maria Madonia
      Pages 47-59
    2. Michaël Cadilhac, Andreas Krebs, Pierre McKenzie
      Pages 60-73
    3. Marco Calderini, Massimiliano Sala
      Pages 74-82
    4. Victor Marsault, Jacques Sakarovitch
      Pages 89-100
    5. Matteo Piva, Massimiliano Sala
      Pages 101-112
    6. Yves Aubry, Philippe Langevin
      Pages 113-118
    7. Konstantinos Draziotis, Dimitrios Poulakis
      Pages 119-131
    8. Georgios Fotiadis, Elisavet Konstantinou
      Pages 147-159
    9. Symeon Bozapalidis, George Rahonis
      Pages 173-185
    10. Sebastian Junges, Ulrich Loup, Florian Corzilius, Erika Ábrahám
      Pages 186-198

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Informatics, CAI 2013, held in Porquerolles, France in September 2013. The 19 revised full papers presented together with 5 invited articles were carefully reviewed and selected from numerous submissions. The papers cover topics such as data models and coding theory; fundamental aspects of cryptography and security; algebraic and stochastic models of computing; logic and program modelling.

Keywords

algebraic groups automata theory comma codes complexity theory grammar systems

Editors and affiliations

  • Traian Muntean
    • 1
  • Dimitrios Poulakis
    • 2
  • Robert Rolland
    • 3
  1. 1.ERISCS Research Group, Parc Scientifique deAix-Marseille UniversityMarseille CEDEX 9France
  2. 2.Department of MathematicsAristotle University of ThessalonikiThessalonikiGreece
  3. 3.ERISCS Research Group and IML Research Laboratory, Parc Scientifique deAix-Marseille UniversityMarseilleFrance

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-40663-8
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-40662-1
  • Online ISBN 978-3-642-40663-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349