Enrico Formenti – författare

This book constitutes the refereed proceedings of the 17th International Conference on Reachability Problems, RP 2023, held in Nice, France, during October 11–13, 2023.The 13 full papers included in this book were carefully reviewed and selected from 19 submissions. They present recent research on reachability problems to promote the exploration of new approaches for the modeling and analysis of computational processes by combining mathematical, algorithmic, and computational techniques.

This book constitutes the refereed conference proceedings of the Third Asian Symposium on Cellular Automata Technology, ASCAT 2024, held in Durgapur, India, during February 29 - March 2, 2024. The 15 full papers presented in this book were carefully reviewed and selected from 33 submissions.

This book constitutes the refereed proceedings of the 10th International Conference on Machines, Computations, and Universality, MCU 2024, held in Nice, France, during  June 5–7, 2024.The 8 full papers and 1 invited paper in this book were carefully reviewed and selected from 14 submissions. The scope of the conference topics includes, but is not limited to, computation in the setting of various discrete models Turing machines, register machines, cellular automata, tile assembly systems, rewriting systems, molecular computing models, neural models, analog and hybrid models, BSS machines, infinite time cellular automata, real machines, quantum computing, and the meaning and implantation of universality in these contexts.

This book constitutes the refereed conference proceedings of the 4th Asian Symposium on Cellular Automata Technology, ASCAT 2025, held in Ranchi, India, during March 6–8, 2025. The 16 full papers included in this book were carefully reviewed and selected from 35 submissions.

This book constitutes the proceedings of the 22nd International Conference on Unconventional Computation and Natural Computation, UCNC 2025, held in Nice, France, during September 1-5, 2025.The 24 full papers and 5 short papers presented in this volume were carefully reviewed and selected from 43 submissions. They focus on current important theoretical and experimental results in Molecular computing, Quantum computing, Optical computing, Chaos computing, Physarum computing, Collision-based computing, Self-assembling and self-organizing systems, Super-Turing computation, Cellular automata, Neural computation, Evolutionary computation, Swarm intelligence, Ant algorithms, Artificial immune systems, Artificial life, Membrane computing, Amorphous computing, Computational systems biology, Computational neuroscience, Synthetic biology, Cellular (in-vivo) computing, and other unconventional and natural models of computation with no limitations on their inspiration and origin.

This book constitutes the thoroughly refereed post-conferenceproceedings of the 10th International Meeting on ComputationalIntelligence Methods for Bioinformatics and Biostatistics, CIBB 2013, held in Nice, France in June 2013. The 19 revised full papers presented were carefully reviewed andselected from 35 submissions.

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. algorithms for semi-structured data mining, algorithms on automata and words; trees, tree languages and tree automata;

This volume constitutes the thoroughly refereed proceedings of the 23rd IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2017, held in Milan, Italy, in June 2017. The 14 full papers presented together with one full-length invited paper and 2 invited talk abstracts were carefully reviewed and selected from a total of 28 submissions. The papers feature research on correlated models of automata. The topics include aspects and features of such models: dynamics; topological, ergodic, and algebraic aspects; algorithmic and complexity issues; emergent properties; formal languages; symbolic dynamics; tilings; models of parallelism and distributed systems; timing schemes; synchronous versus asynchronous models; phenomenological descriptions; scientific modelling; practical applications.