Pascal Caron – författare

This book constitutes the proceedings of the 26th International Conference on Implementation and Application of Automata, CIAA 2022, held in Rouen, France in June/ July 2022. The 16 regular papers presented together with 3 invited lectures in this book were carefully reviewed and selected from 26 submissions. The topics of the papers covering various fields in the application, implementation, and theory of automata and related structures.

This book constitutes the proceedings of the 26th International Conference on Implementation and Application of Automata, CIAA 2022, held in Rouen, France in June/ July 2022. The 16 regular papers presented together with 3 invited lectures in this book were carefully reviewed and selected from 26 submissions. The topics of the papers covering various fields in the application, implementation, and theory of automata and related structures.

This book constitutes the refereed proceedings of the 30th International Conference on Developments in Language Theory, DLT 2026, held in Rouen, France, during June 30 – July 3, 2026.The 22 full papers and 3 invited papers included in this book were carefully reviewed and selected from 49 submissions. They present current developments in the field of formal language theory and its applications.

This book constitutes the refereed proceedings of the 30th International Conference on Developments in Language Theory, DLT 2026, held in Rouen, France, during June 30 – July 3, 2026.The 22 full papers and 3 invited papers included in this book were carefully reviewed and selected from 49 submissions. They present current developments in the field of formal language theory and its applications.

This book constitutes the thoroughly refereed papers of the 16th International Conference on Implementation and Application of Automata, CIAA 2011, held in Blois, France, in July 2011.The 20 revised full papers together with 4 short papers were carefully selected from 38 submissions. The papers cover various topics such as applications of automata in computer-aided verification; natural language processing; pattern matching, data storage and retrieval; document engineering and bioinformatics as well as foundational work on automata theory.