Machines, Computations, and Universality

7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings

  • Jerome Durand-Lose
  • Benedek Nagy
Conference proceedings MCU 2015

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

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

Table of contents

  1. Front Matter
    Pages I-XX
  2. Invited Papers

  3. Regular Papers

    1. Front Matter
      Pages 29-29
    2. Erzsébet Csuhaj-Varjú, Rudolf Freund, György Vaszil
      Pages 31-44
    3. Frank Drewes, Markus Holzer, Sebastian Jakobi, Brink van der Merwe
      Pages 45-60
    4. Henning Fernau, Rudolf Freund, Rani Siromoney, K. G. Subramanian
      Pages 61-78
    5. Martin Kutrib, Andreas Malcher, Matthias Wendlandt
      Pages 94-112
    6. Martin Kutrib, Matthias Wendlandt
      Pages 113-128
    7. Simon Martiel, Bruno Martin
      Pages 129-148
    8. Jacob Hendricks, Matthew J. Patitz, Trent A. Rogers
      Pages 149-163
    9. Benedek Nagy, Sándor Vályi
      Pages 164-179
    10. Dmitry A. Zaitsev
      Pages 180-197
  4. Back Matter
    Pages 199-199

About these proceedings


This book constitutes the refereed proceedings of the 7th International Conference on Machines, Computations, and Universality, MCU 2015, held in Famagusta, North Cyprus, in September 2015.

The 10 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 23 submissions. MCU explores computation in the setting of various discrete models (Turing machines, register machines, cellular automata, tile assembly systems, rewriting systems, molecular computing models, neural models, etc.) and analog and hybrid models (BSS machines, infinite time cellular automata, real machines, quantum computing, etc.).


Complexity classes Computability Formal languages and automata theory Models of computation Theory of computation Cellular automata Quantum computing Turing machines Unconventional computing Automata BSS machines Deterministic computing Infinite petri net Membrane computing Neural networks Real machines Register machines Sequentiality Simulation Universal petri net

Editors and affiliations

  • Jerome Durand-Lose
    • 1
  • Benedek Nagy
    • 2
  1. 1.Université d'OrléansOrléansFrance
  2. 2.Eastern Mediterranean UniversityFamagustaCyprus

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-23110-5
  • Online ISBN 978-3-319-23111-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site