Categories |
FORMAL SYSTEMS
|
About |
The 22nd International Conference on Descriptional Complexity of Formal Systems (DCFS 2020) was expected to be organized by Rudolf Freund at the TU Wien as part of the Summer of Formal Languages 2020 in Wien, Austria, and by the IFIP Working Group 1.02 "Descriptional Complexityā€¯. Unfortunately, due to the development of the crisis caused by the Corona virus, the conference had to be canceled as an event with the participants meeting in person in Wien. However, in order to allow researchers in the area of descriptional complexity to still present their recent results in some form, the DCFS steering committee decided to prepare a volume, collecting papers which will be selected by a committee after a standard review process. |
Call for Papers |
Submissions concerning the descriptional complexity of formal systems and structures (and its applications) are invited for DCFS 2020 collected papers. Original papers are sought in all aspects of descriptional complexity, topics include, but are not limited to:
|
Credits and Sources |
[1] DCFS 2020 : 22nd International Conference on Descriptional Complexity of Formal Systems |