English
Related papers

Related papers: Proceedings 12th International Workshop on Non-Cla…

200 papers

The Thirteenth International Workshop on Non-Classical Models of Automata and Applications (NCMA 2023) was held in Famagusta, North Cyprus, on September 18 and 19, 2023, organized by the Eastern Mediterranean University. The NCMA workshop…

Formal Languages and Automata Theory · Computer Science 2023-09-15 Benedek Nagy , Rudolf Freund

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…

Formal Languages and Automata Theory · Computer Science 2024-09-11 Florin Manea , Giovanni Pighizzini

The Fifteenth International Workshop on Non-Classical Models of Automata and Applications (NCMA 2025) was held in Loughborough, UK, on July 21 and 22, 2025, organized by the Department of Computer Science at Loughborough University and…

Formal Languages and Automata Theory · Computer Science 2025-07-21 Nelma Moreira , Luca Prigioniero

The 15th International Conference on Automata and Formal Languages (AFL 2017) was held in Debrecen, Hungary, from September 4 to 6, 2017. The conference was organized by the Faculty of Informatics of the University of Debrecen and the…

Formal Languages and Automata Theory · Computer Science 2017-08-22 Erzsébet Csuhaj-Varjú , Pál Dömösi , György Vaszil

This volume contains the papers presented at the Tenth International Workshop on Developments in Computational Models (DCM) held in Vienna, Austria on 13th July 2014, as part of the Vienna Summer of Logic. Several new models of computation…

Logic in Computer Science · Computer Science 2015-04-09 Ugo Dal Lago , Russ Harmer

The 16th International Conference on Automata and Formal Languages (AFL 2023) was held in Eger, September 5-7, 2023. It was organized by the Eszterh\'azy K\'aroly Catholic University of Eger, Hungary, and the University of Szeged, Hungary.…

Formal Languages and Automata Theory · Computer Science 2023-09-06 Zsolt Gazdag , Szabolcs Iván , Gergely Kovásznai

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…

Formal Languages and Automata Theory · Computer Science 2014-05-22 Zoltán Ésik , Zoltán Fülöp

This volume contains the proceedings of the 18th International workshop AUTOMATA and the 3rd international symposium JAC. AUTOMATA workshop series aims at gathering researchers from all over the world working in fundamental aspects of…

Formal Languages and Automata Theory · Computer Science 2012-08-14 Enrico Formenti

This volume contains a selection of the papers presented at the Ninth International Workshop on Developments in Computational Models (DCM 2013) held in Buenos Aires, Argentina on 26th August 2013, as a satellite event of CONCUR 2013.…

Logic in Computer Science · Computer Science 2014-04-01 Mauricio Ayala-Rincón , Eduardo Bonelli , Ian Mackie

This volume contains the proceedings of DCM 2023, the 13th International Workshop on Developments in Computational Models held on 2 July 2023 in Rome, Italy. DCM 2023 was organised as a one-day satellite event of FSCD 2023, the 8th…

Logic in Computer Science · Computer Science 2024-10-01 Sandra Alves , Ian Mackie

This volume contains the post-proceedings of the Thirteenth International Workshop on Graph Computation Models (GCM 2022). The workshop took place in Nantes, France on 6th July 2022 as part of STAF 2022 (Software Technologies: Applications…

Logic in Computer Science · Computer Science 2022-12-22 Reiko Heckel , Christopher M. Poskitt

This volume contains the post-proceedings of the Twelfth International Workshop on Graph Computation Models (GCM 2021). The workshop was part of STAF 2021 (Software Technologies: Applications and Foundations) as an online-workshop on 22nd…

Formal Languages and Automata Theory · Computer Science 2021-12-21 Berthold Hoffmann , Mark Minas

Contributions of the participants of the 24th International Workshop "What Comes Beyond the Standard Models", July 5 to July 11, 2021, Bled, Slovenia, presented either with the arxiv number of each contribution or with the webside of the…

General Physics · Physics 2022-03-09 Norma Susana Mankoc Borstnik , Holger Bech Nielsen , Dragan Lukman , Astri Kleppe

This volume contains the proceedings of the 7th International Workshop on Developments in Computational Models (DCM 2011) which was held on Sunday July 3, 2011, in Zurich, Switzerland, as a satelite workshop of ICALP 2011. Recently several…

Computational Engineering, Finance, and Science · Computer Science 2012-07-31 Elham Kashefi , Jean Krivine , Femke van Raamsdonk

This volume contains the final versions of the papers presented at the 3rd International Workshop on Computational Models for Cell Processes (CompMod 2011). The workshop took place on September 10, 2011 at the University of Aachen, Germany,…

Computational Engineering, Finance, and Science · Computer Science 2011-09-09 Ion Petre , Erik de Vink

The aim of the workshop series Developments in Computational Models (DCM) is to bring together researchers who are currently developing new computational models or new features for traditional computational models, in order to foster their…

Logic in Computer Science · Computer Science 2014-04-01 Benedikt Löwe , Glynn Winskel

This volume contains the proceedings of DCM 2015, the 11th International Workshop on Developments in Computational Models held on October 28, 2015 in Cali, Colombia. DCM 2015 was organized as a one-day satellite event of the 12th…

Logic in Computer Science · Computer Science 2016-03-03 César A. Muñoz , Jorge A. Pérez

This EPTCS volume contains the joint proceedings for the fourth international workshop on Formal Methods for Autonomous Systems (FMAS 2022) and the fourth international workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE…

Logic in Computer Science · Computer Science 2022-09-28 Matt Luckcuck , Marie Farrell

This volume contains the papers that were presented at the second international workshop on Trends in Tree Automata and Transducers (TTATT 2013) which took place on October 19th, 2013 in Hanoi/Vietnam. The workshop was colocated with the…

Formal Languages and Automata Theory · Computer Science 2013-11-21 Sebastian Maneth
‹ Prev 1 2 3 10 Next ›