Loading Events

« All Events

  • This event has passed.

20th International Conference on Descriptional Complexity of Formal Systems (DCFS)

July 25, 2018 - July 28, 2018

DCFS, the International Workshop on Descriptional Complexity of Formal Systems is an annual academic conference in the field of theoretical computer science. Beginning with the 2011 edition, the proceedings of the workshop appear in the series Lecture Notes in Computer Science. Already since the very beginning, extended versions of selected papers are published as special issues of the International Journal of Foundations of Computer Science, the Journal of Automata, Languages and Combinatorics, Theoretical Computer Science, and Information and Computation.

This year’s DCFS will be the 20th in the series. Topics of interest include: automata, grammars, succinctness of description of objects, circuit complexity, Kolmogorov complexity, frontiers between decidability and undecidability, nature-motivated (bio-inspired) architectures and unconventional models of computing.

Details

Start:
July 25, 2018
End:
July 28, 2018
Event Category:
Website:
http://cs.smu.ca/~dcfs2018/

Venue

St. Mary’s University
923 Robie Street
Halifax, Nova Scotia B3H 3C3 Canada
+ Google Map
Website:
www.smu.ca

Organizer

Stavros Konstantinidis
Phone:
9022233482
Email:
s.konstantinidis@smu.ca
Website:
http://cs.smu.ca/~stavros/