English

Proceedings 14th International Conference on Automata and Formal Languages

Formal Languages and Automata Theory 2014-05-22 v1
Authors: Zoltán Ésik , Zoltán Fülöp
View on arXiv ↗ PDF ↗ DOI ↗

Abstract

The 14th International Conference Automata and Formal Languages (AFL 2014) was held in Szeged, Hungary, from the 27th to the 29th of May, 2014. The conference was organized by the Department of Foundations of Computer Science of the University of Szeged. Topics of interest covered the theory and applications of automata and formal languages and related areas.

Keywords

automata theory formal languages conference proceedings theoretical computer science

Cite

@article{arxiv.1405.5272,
  title  = {Proceedings 14th International Conference on Automata and Formal Languages},
  author = {Zoltán Ésik and Zoltán Fülöp},
  journal= {arXiv preprint arXiv:1405.5272},
  year   = {2014}
}

Related papers

View all related →
Formal Languages and Automata Theory · Computer Science
Proceedings 15th International Conference on Automata and Formal Languages
Erzsébet Csuhaj-Varjú, Pál Dömösi, György Vaszil
2017-08-22
Formal Languages and Automata Theory · Computer Science
Proceedings of the 16th International Conference on Automata and Formal Languages
Zsolt Gazdag, Szabolcs Iván, Gergely Kovásznai
2023-09-06
Computer Science and Game Theory · Computer Science
Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification
Adriano Peron, Carla Piazza
2014-08-26
Computer Science and Game Theory · Computer Science
Proceedings Fourth International Symposium on Games, Automata, Logics and Formal Verification
Gabriele Puppis, Tiziano Villa
2013-07-17
Formal Languages and Automata Theory · Computer Science
Proceedings 12th International Workshop on Non-Classical Models of Automata and Applications
Henning Bordihn, Géza Horváth, György Vaszil
2022-08-30
Logic in Computer Science · Computer Science
Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification
Domenico Cantone, Giorgio Delzanno
2016-09-14
Logic in Computer Science · Computer Science
Proceedings 10th International Workshop on Automated Specification and Verification of Web Systems
Maurice H. ter Beek, António Ravara
2014-09-09
Logic in Computer Science · Computer Science
Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification
Javier Esparza, Enrico Tronci
2015-09-24
Logic in Computer Science · Computer Science
Proceedings 2nd French Singaporean Workshop on Formal Methods and Applications
Shang-Wei Lin, Laure Petrucci
2014-07-09
Formal Languages and Automata Theory · Computer Science
Proceedings 14th International Workshop on Non-Classical Models of Automata and Applications (NCMA 2024)
Florin Manea, Giovanni Pighizzini
2024-09-11
Formal Languages and Automata Theory · Computer Science
Proceedings Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification
Antonis Achilleos, Adrian Francalanza
2024-10-30
Logic in Computer Science · Computer Science
Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification
Giovanna D'Agostino, Salvatore La Torre
2011-06-07
Formal Languages and Automata Theory · Computer Science
Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification
Antonis Achilleos, Dario Della Monica
2023-10-02
Logic in Computer Science · Computer Science
Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification
Andrea Orlandini, Martin Zimmermann
2018-09-11
Logic in Computer Science · Computer Science
Proceedings First Workshop on Logics and Model-checking for Self-* Systems
Marcello Maria Bersani, Davide Bresolin, Luca Ferrucci, Manuel Mazzara
2014-11-14
Formal Languages and Automata Theory · Computer Science
Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification
Pierre Ganty, Dario Della Monica
2022-09-21
Logic in Computer Science · Computer Science
Proceedings 8th International Workshop on Computing with Terms and Graphs
Aart Middeldorp, Femke van Raamsdonk
2015-05-27
Computer Science and Game Theory · Computer Science
Proceedings Eighth International Symposium on Games, Automata, Logics and Formal Verification
Patricia Bouyer, Andrea Orlandini, Pierluigi San Pietro
2017-09-07
Computer Science and Game Theory · Computer Science
Proceedings Tenth International Symposium on Games, Automata, Logics, and Formal Verification
Jérôme Leroux, Jean-Francois Raskin
2019-09-16
Logic in Computer Science · Computer Science
Proceedings 14th International Conference on Automated Deduction in Geometry
Pedro Quaresma, Zoltán Kovács
2024-01-22
Logic in Computer Science · Computer Science
Proceedings of the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification
Giorgio Bacci, Adrian Francalanza
2025-09-17
Logic in Computer Science · Computer Science
Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems
Matt Luckcuck, Mengwei Xu
2024-11-21
Logic in Computer Science · Computer Science
Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification
Marco Faella, Aniello Murano
2012-10-09
Logic in Computer Science · Computer Science
Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
Frédéric Blanqui, Giselle Reis
2018-07-05
Computer Science and Game Theory · Computer Science
Proceedings First Symposium on Games, Automata, Logic, and Formal Verification
Angelo Montanari, Margherita Napoli, Mimmo Parente
2010-06-10