Summer of Formal Languages 2020

DATE:Monday, August 17, 2020 – Friday, August 28, 2020
VENUE:TU Wien

Conferences of the Summer of Formal Languages 2020 in Vienna, Austria

The International Conference on Unconventional Computation and Natural Computation (UCNC) is a meeting where scientists from many different backgrounds are united in their interest in novel forms of computation, human-designed computation inspired by nature, and computational aspects of natural processes. UCNC provides a forum for such scientists to meet and discuss their work. The 19th UCNC will be hosted by the Technische Univeristät Wien, Vienna, Austria.

The biannual International Conference on Membrane Computing is a continuation of the series of workshops on membrane computing initiated in 2000 (WMC).

22nd International Conference on Descriptional Complexity of Formal Systems (DCFS 2020) is a result of the merger of DCAGRS (Descriptional Complexity of Automata, Grammars and Related Structures) and FDSR (Formal Descriptions and Software Reliability), in 2002.

The 12th International Workshop on Non-Classical Models of Automata and Applications.

Many non-classical models of automata and grammar-like structures are the natural objects of theoretical computer science. They are studied from different points of view in various areas, both as theoretical concepts and as formal models for applications. The aim of the workshops on “Non-Classical Models of Automata and Applications” is to provide an opportunity for researchers who work on different aspects of classical and non-classical models of automata and grammars to exchange and develop novel ideas.

The 9th Conference on Machines, Computations and Universality – MCU  traces its roots back to the mid 90’s, and has always been concerned with gaining a deeper understanding of computation and universality through the study of models of general purpose computation. The MCU conference series was initiated in Paris (1995). Following editions were held in Metz (1998), Chisinau (2001), St. Petersburg (2004), Orleans (2007), Zurich (2013), Famagusta (2015), and Fontainebleau (2018).

Submission Deadlines for Conferences of the Summer of Formal Languages 2020

The Summer of Formal Languages is organized by Rudolf Freund, TU Wien, and sponsored by the Vienna Center for Logic and Algorithms, and the Kurt Gödel Society.

Comments are closed.