Proceedings 14th International Workshop on Non-Classical Models of Automata and Applications (NCMA 2024)

TL;DR

The NCMA 2024 workshop in Göttingen brought together researchers to discuss advances in non-classical automata models, fostering interdisciplinary insights and progress in theoretical and applied automata research.

Contribution

This paper summarizes the 2024 workshop's focus on non-classical automata models, highlighting recent research developments and interdisciplinary approaches.

Findings

New automata models proposed for complex computational tasks

Interdisciplinary applications of non-classical automata discussed

Progress in formal verification using non-classical automata

Abstract

The Fourteenth International Workshop on Non-Classical Models of Automata and Applications (NCMA 2024) was held in G\"ottingen, Germany, on August 12 and 13, 2024, at the historic Georg-Augustus-Universit\"at, organized by the Theoretical Computer Science research group of the respective university. The NCMA workshop series was established in 2009 as an annual event for researchers working on non-classical and classical models of automata, grammars or related devices. Such models are investigated both as theoretical models and as formal models for applications from various points of view. The goal of the NCMA workshop series is to exchange and develop novel ideas in order to gain deeper and interdisciplinary coverage of this particular area that may foster new insights and substantial progress.