DCFS & NCMA 2027 Joint conference

Joint conference · Brno, Czech Republic

DCFS & NCMA 2027

DCFS 2027 — 28th International Conference on Descriptional Complexity of Formal Systems, co-located with NCMA 2027 — the 17th International Workshop on Non-Classical Models of Automata and Applications.

Two established venues for automata theory, formal languages and descriptional complexity, held back-to-back at the Faculty of Information Technology, Brno University of Technology.

Submit a paper Important dates

At a glance

  • Dates30 August – 2 September 2027
  • VenueFIT BUT, Božetěchova 2/1, Brno
  • FormatIn person, on campus
  • ProceedingsSpringer (DCFS) · EPTCS (NCMA)
  • Endorsed byIFIP · Springer
Submission opens
Winter 2026 — TBC
Author notification
Spring 2027 — TBC
Conference dates
30 August – 2 September 2027
Endorsed by IFIP Springer

About the joint event

One trip, two conferences on the theory of computation

DCFS and NCMA have run alongside each other for several editions. Both study how automata, grammars and other formal systems can be measured, compared and applied — from opposite but complementary angles — and share a single venue and social programme in Brno in 2027.

28th edition · DCFS

DCFS 2027

28th International Conference on Descriptional Complexity of Formal Systems

An IFIP WG 1.02 conference on the cost of describing objects in computational models: automata, grammars, circuits and the trade-offs between them.

About DCFS 2027

17th edition · NCMA

NCMA 2027

17th International Workshop on Non-Classical Models of Automata and Applications

A workshop for researchers working on non-classical automata and grammar-like structures, from bio-inspired computing to cellular and quantum automata.

About NCMA 2027

Planning your visit

Key dates

Deadlines are shared where possible and published here as soon as they are finalised by the organising committee.

  1. Winter 2026 TBC Submission system opensPaper and informal-presentation submission details published on the Call for Papers.
  2. Spring 2027 TBC Paper submission deadlineFull papers for DCFS and NCMA.
  3. Spring 2027 TBC Author notification & camera-ready deadline
  4. Early Summer 2027 TBC Early registration deadlineSee the Registration page.
  5. 30 August – 2 September 2027 NCMA 2027 & DCFS 2027Back-to-back on the FIT BUT campus — see the Program for the full schedule.

Where

Hosted at FIT BUT, Brno

Both conferences take place on the campus of the Faculty of Information Technology, Brno University of Technology — home to research groups working on automata theory, formal verification and string-solving, including the VeriFIT laboratory.

Brno is the Czech Republic’s second-largest city, well connected by rail and coach to Prague and Vienna.

Venue & travel details
The Faculty of Information Technology, Brno University of Technology building

Publication

Proceedings

DCFS 2027

As in previous editions, the DCFS proceedings are expected to be published by Springer, with a special issue of Theoretical Computer Science (TCS) planned for selected accepted papers.

NCMA 2027

As in previous editions, NCMA proceedings are expected to appear in the EPTCS series. Following the 2026 edition, the special issue is expected to appear in Acta Informatica.

Final publication arrangements for the 2027 edition will be confirmed on the respective conference pages.

Planning to attend?

Registration details will be published as soon as they are available.

Registration