118:
In 2002 DCFS was the result of the merger of the workshops DCAGRS (Descriptional
Complexity of Automata, Grammars and Related Structures) and FDSR (Formal Descriptions and Software Reliability). The workshop is often collocated with international conferences in related fields, such as
208:
state that "since more than a decade the
Workshop on 'Descriptional Complexity of Formal Systems' (DCFS), has contributed substantially to the development of field of research." In a talk on the occasion of the 10th anniversary of the workshop,
120:
124:
832:
718:
627:
546:
464:
128:
103:
189:
1114:
916:
804:
685:
599:
496:
414:
340:
319:
300:
107:
32:
1008:, Mathematics, Computing, Language, and Life: Frontiers in Mathematical Linguistics and Language Theory, vol. 2, Imperial College Press, pp. 1–58,
175:
descriptional complexity of formal systems for applications (e.g. software reliability, software and hardware testing, modelling of natural languages)
860:
748:
657:
571:
521:
441:
111:
1013:
932:
181:
99:
56:
999:
262:
Basic information on each DCFS event, as well as on its precursors, DCAGRS and FSDR, is included in the following table.
178:
descriptional complexity aspects of nature-motivated (bio-inspired) architectures and unconventional models of computing
886:
776:
115:
393:
1119:
102:. Already since the very beginning, extended versions of selected papers are published as special issues of the
193:
144:
696:
665:
504:
449:
475:
170:
1039:
McQuillan, Ian; Pighizzini, Giovanni (2010), McQuillan, Ian; Pighizzini, Giovanni (eds.), "Preface",
904:
850:
822:
736:
647:
617:
589:
564:
539:
514:
487:
246:
88:
1066:
1048:
963:
153:
1019:
1009:
1058:
162:
92:
909:
881:
855:
827:
799:
771:
743:
713:
680:
652:
894:
794:
766:
700:
479:
432:
397:
41:
37:
955:
98:
Beginning with the 2011 edition, the proceedings of the workshop appear in the series
1108:
1086:
1070:
984:
213:
gave an overview about trends and directions in research papers presented at DCFS.
1003:
635:
167:
descriptional complexity in resource-bounded or structure-bounded environments
1099:
726:
579:
756:
285:
390:
422:
622:
1062:
784:
554:
85:
International
Workshop on Descriptional Complexity of Formal Systems
607:
594:
1078:
1053:
976:
947:
693:
971:
Talk held at the 11th DCFS in
Magdeburg, Germany, July 6–9, 2009.
150:
trade-offs between descriptional complexity and mode of operation
868:
188:
As such, the topics of the conference overlap with those of the
840:
812:
472:
221:
Chairs of the
Steering Committee of the DCFS workshop series:
529:
1100:
Descriptional
Complexity of Formal Systems: official website
990:
Electronic
Proceedings in Theoretical Computer Science,
935:
contains other academic conferences in computer science.
833:
International
Journal of Foundations of Computer Science
719:
International
Journal of Foundations of Computer Science
628:
International
Journal of Foundations of Computer Science
547:
International Journal of Foundations of Computer Science
465:
International Journal of Foundations of Computer Science
104:
International Journal of Foundations of Computer Science
991:
147:
of automata, grammars, languages and of related systems
1041:
Electronic Proceedings in Theoretical Computer Science
1000:"Descriptional Complexity — An Introductory Survey"
190:
International Federation for Information Processing
70:
62:
52:
47:
31:
23:
18:
917:Journal of Automata, Languages and Combinatorics
805:Journal of Automata, Languages and Combinatorics
686:Journal of Automata, Languages and Combinatorics
600:Journal of Automata, Languages and Combinatorics
497:Journal of Automata, Languages and Combinatorics
415:Journal of Automata, Languages and Combinatorics
341:Journal of Automata, Languages and Combinatorics
320:Journal of Automata, Languages and Combinatorics
301:Journal of Automata, Languages and Combinatorics
108:Journal of Automata, Languages and Combinatorics
159:succinctness of description of (finite) objects
8:
205:
1005:Scientific Applications of Language Methods
19:Descriptional Complexity of Formal Systems
1052:
204:In a survey on descriptional complexity,
156:of Boolean functions and related measures
1115:Theoretical computer science conferences
1076:Andreas Malcher: "Report on DCFS 2012."
264:
223:
998:Holzer, Markus; Kutrib, Martin (2010),
974:Ian McQuillan: "Report on DCFS 2009."
945:Bianca Truthe: "Report on DCFS 2008."
210:
15:
7:
933:list of computer science conferences
163:state complexity of finite automata
14:
100:Lecture Notes in Computer Science
57:Lecture Notes in Computer Science
1002:, in MartĂn-Vide, Carlos (ed.),
612:Saskatoon, Saskatchewan, Canada
1:
182:Kolmogorov–Chaitin complexity
899:Vienna, Austria (cancelled)
861:Theoretical Computer Science
749:Theoretical Computer Science
658:Theoretical Computer Science
572:Theoretical Computer Science
522:Theoretical Computer Science
509:Las Cruces, New Mexico, USA
442:Theoretical Computer Science
184:and descriptional complexity
112:Theoretical Computer Science
887:Information and Computation
777:Information and Computation
116:Information and Computation
1136:
761:Waterloo, Ontario, Canada
379:San Jose, California, USA
206:Holzer & Kutrib (2010)
365:Boca Raton, Florida, USA
1085::168-169, October 2012.
983::185-187, October 2009.
954::160-161, October 2008.
705:London, Ontario, Canada
454:London, Ontario, Canada
402:London, Ontario, Canada
311:London, Ontario, Canada
194:descriptional complexity
145:descriptional complexity
139:Typical topics include:
962:Dassow, JĂĽrgen (2009).
878:Stavros Konstantinidis
848:Stavros Konstantinidis
217:History of the workshop
987:accessed Nov 24, 2009.
559:Charlottetown, Canada
534:High Tatras, Slovakia
430:Erzsébet Csuhaj-Varjú
135:Topics of the workshop
1079:Bulletin of the EATCS
977:Bulletin of the EATCS
958:accessed Feb 9, 2009.
948:Bulletin of the EATCS
192:Working Group 1.2 on
171:structural complexity
845:Halifax, NS, Canada
143:various measures of
913:(collected papers)
905:Giovanni Pighizzini
851:Giovanni Pighizzini
823:Giovanni Pighizzini
789:Bucharest, Romania
648:Giovanni Pighizzini
618:Giovanni Pighizzini
590:Giovanni Pighizzini
584:Magdeburg, Germany
565:Giovanni Pighizzini
540:Giovanni Pighizzini
515:Giovanni Pighizzini
488:Giovanni Pighizzini
351:Paderborn, Germany
290:Magdeburg, Germany
247:Giovanni Pighizzini
89:academic conference
48:Publication details
795:Jeffrey O. Shallit
767:Jeffrey O. Shallit
764:Alexander Okhotin
740:Alexander Okhotin
699:2016-03-05 at the
478:2017-11-13 at the
427:Budapest, Hungary
396:2016-03-03 at the
154:circuit complexity
1025:on March 25, 2012
1015:978-1-84816-544-1
923:
922:
902:Galina Jirásková
876:Galina Jirásková
873:Košice, Slovakia
734:Helmut JĂĽrgensen
708:Helmut JĂĽrgensen
640:Giessen, Germany
407:Helmut JĂĽrgensen
314:Helmut JĂĽrgensen
260:
259:
91:in the field of
78:
77:
1127:
1120:Formal languages
1073:
1063:10.4204/EPTCS.31
1056:
1033:
1032:
1030:
1024:
1018:, archived from
992:official website
970:
968:
835:, 30(6-7), 2019
807:, 22(1-3), 2017
737:Juhani Karhumäki
688:, 17(2-4), 2012
670:Braga, Portugal
602:, 15(1-2), 2010
491:Detlef Wotschke
459:Detlef Wotschke
436:Detlef Wotschke
409:Detlef Wotschke
335:Detlef Wotschke
330:Vienna, Austria
327:3rd DCAGRS 2001
308:2nd DCAGRS 2000
295:Detlef Wotschke
265:
238:Detlef Wotschke
224:
93:computer science
42:formal languages
16:
1135:
1134:
1130:
1129:
1128:
1126:
1125:
1124:
1105:
1104:
1096:
1038:
1028:
1026:
1022:
1016:
997:
966:
964:"10 Years DCFS"
961:
942:
928:
912:
903:
877:
849:
821:
820:Cezar Câmpeanu
793:
792:Cezar Câmpeanu
779:, 259(2), 2018
765:
739:
735:
731:Turku, Finland
709:
701:Wayback Machine
676:
674:
646:
644:
616:
588:
574:410(35), 2009.
563:
562:Cezar Câmpeanu
538:
537:Viliam Geffert
513:
490:
480:Wayback Machine
458:
435:
433:Chandra Kintala
431:
408:
406:
398:Wayback Machine
334:
294:
286:1st DCAGRS 1999
219:
202:
137:
38:Automata theory
12:
11:
5:
1133:
1131:
1123:
1122:
1117:
1107:
1106:
1103:
1102:
1095:
1094:External links
1092:
1091:
1090:
1087:Online edition
1074:
1035:
1034:
1014:
995:
988:
985:Online edition
972:
959:
956:Online edition
941:
938:
937:
936:
927:
924:
921:
920:
919:, in progress
914:
907:
900:
897:
895:22nd DCFS 2020
891:
890:
884:
879:
874:
871:
869:21st DCFS 2019
865:
864:
858:
853:
846:
843:
841:20th DCFS 2018
837:
836:
830:
825:
818:
815:
813:19th DCFS 2017
809:
808:
802:
797:
790:
787:
785:18th DCFS 2016
781:
780:
774:
769:
762:
759:
757:17th DCFS 2015
753:
752:
746:
741:
732:
729:
727:16th DCFS 2014
723:
722:
721:, 25(7), 2014
716:
711:
706:
703:
694:15th DCFS 2013
690:
689:
683:
678:
675:Nelma Moreira
673:Martin Kutrib
671:
668:
666:14th DCFS 2012
662:
661:
655:
650:
645:Martin Kutrib
643:Markus Holzer
641:
638:
636:13th DCFS 2011
632:
631:
630:, 23(1), 2012
625:
620:
615:Ian McQuillan
613:
610:
608:12th DCFS 2010
604:
603:
597:
592:
587:JĂĽrgen Dassow
585:
582:
580:11th DCFS 2009
576:
575:
569:
567:
560:
557:
555:10th DCFS 2008
551:
550:
544:
542:
535:
532:
526:
525:
519:
517:
510:
507:
501:
500:
499:12(1/2), 2007
494:
492:
485:
482:
469:
468:
462:
460:
455:
452:
446:
445:
439:
437:
428:
425:
419:
418:
412:
410:
405:JĂĽrgen Dassow
403:
400:
387:
386:
384:
382:
380:
377:
376:3rd FSDR 2000
373:
372:
370:
368:
366:
363:
362:2nd FSDR 1999
359:
358:
356:
354:
352:
349:
348:1st FSDR 1998
345:
344:
338:
336:
333:JĂĽrgen Dassow
331:
328:
324:
323:
317:
315:
312:
309:
305:
304:
298:
296:
293:JĂĽrgen Dassow
291:
288:
282:
281:
280:Special issue
278:
275:
272:
269:
258:
257:
256:Martin Kutrib
254:
250:
249:
244:
240:
239:
236:
232:
231:
228:
218:
215:
201:
198:
186:
185:
179:
176:
173:
168:
165:
160:
157:
151:
148:
136:
133:
76:
75:
72:
68:
67:
64:
60:
59:
54:
50:
49:
45:
44:
35:
29:
28:
25:
21:
20:
13:
10:
9:
6:
4:
3:
2:
1132:
1121:
1118:
1116:
1113:
1112:
1110:
1101:
1098:
1097:
1093:
1088:
1084:
1081:
1080:
1075:
1072:
1068:
1064:
1060:
1055:
1050:
1046:
1042:
1037:
1036:
1021:
1017:
1011:
1007:
1006:
1001:
996:
993:
989:
986:
982:
979:
978:
973:
965:
960:
957:
953:
950:
949:
944:
943:
939:
934:
930:
929:
925:
918:
915:
911:
908:
906:
901:
898:
896:
893:
892:
888:
885:
883:
880:
875:
872:
870:
867:
866:
862:
859:
857:
854:
852:
847:
844:
842:
839:
838:
834:
831:
829:
826:
824:
819:
817:Milan, Italy
816:
814:
811:
810:
806:
803:
801:
798:
796:
791:
788:
786:
783:
782:
778:
775:
773:
770:
768:
763:
760:
758:
755:
754:
750:
747:
745:
742:
738:
733:
730:
728:
725:
724:
720:
717:
715:
712:
710:Rogério Reis
707:
704:
702:
698:
695:
692:
691:
687:
684:
682:
679:
677:Rogério Reis
672:
669:
667:
664:
663:
659:
656:
654:
651:
649:
642:
639:
637:
634:
633:
629:
626:
624:
621:
619:
614:
611:
609:
606:
605:
601:
598:
596:
593:
591:
586:
583:
581:
578:
577:
573:
570:
568:
566:
561:
558:
556:
553:
552:
548:
545:
543:
541:
536:
533:
531:
530:9th DCFS 2007
528:
527:
524:387(2), 2007
523:
520:
518:
516:
511:
508:
506:
505:8th DCFS 2006
503:
502:
498:
495:
493:
489:
486:
483:
481:
477:
474:
473:7th DCFS 2005
471:
470:
466:
463:
461:
456:
453:
451:
450:6th DCFS 2004
448:
447:
444:330(2), 2005
443:
440:
438:
434:
429:
426:
424:
423:5th DCFS 2003
421:
420:
417:9(2/3), 2004
416:
413:
411:
404:
401:
399:
395:
392:
391:4th DCFS 2002
389:
388:
385:
383:
381:
378:
375:
374:
371:
369:
367:
364:
361:
360:
357:
355:
353:
350:
347:
346:
342:
339:
337:
332:
329:
326:
325:
321:
318:
316:
313:
310:
307:
306:
302:
299:
297:
292:
289:
287:
284:
283:
279:
276:
273:
270:
267:
266:
263:
255:
252:
251:
248:
245:
242:
241:
237:
234:
233:
229:
226:
225:
222:
216:
214:
212:
211:Dassow (2009)
207:
199:
197:
195:
191:
183:
180:
177:
174:
172:
169:
166:
164:
161:
158:
155:
152:
149:
146:
142:
141:
140:
134:
132:
130:
126:
122:
117:
113:
109:
105:
101:
96:
94:
90:
87:is an annual
86:
82:
73:
69:
65:
61:
58:
55:
51:
46:
43:
39:
36:
34:
30:
26:
22:
17:
1082:
1077:
1044:
1040:
1027:, retrieved
1020:the original
1004:
980:
975:
951:
946:
889:, to appear
863:, 798, 2019
751:, 610, 2016
660:, 449, 2012
549:19(4), 2008
484:Como, Italy
467:16(5), 2005
457:Lucian Ilie
277:Proceedings
261:
243:2006 - 2017
235:1999 - 2005
220:
203:
200:Significance
187:
138:
97:
84:
80:
79:
24:Abbreviation
512:Hing Leung
343:7(4), 2002
322:6(4), 2001
303:5(3), 2000
1109:Categories
940:References
910:LNCS 12442
882:LNCS 11612
856:LNCS 10952
828:LNCS 10316
274:PC chairs
33:Discipline
1054:1008.1270
1029:March 16,
800:LNCS 9777
772:LNCS 9118
744:LNCS 8614
714:LNCS 8031
681:LNCS 7386
653:LNCS 6808
271:Location
114:, and of
71:Frequency
53:Publisher
1071:24469647
926:See also
697:Archived
623:EPTCS 31
476:Archived
394:Archived
595:EPTCS 3
253:2017 -
227:Period
63:History
1069:
1012:
268:Event
230:Chair
106:, the
83:, the
74:annual
1067:S2CID
1049:arXiv
1023:(PDF)
967:(PDF)
121:ICALP
110:, of
66:1999–
1031:2011
1010:ISBN
931:The
129:CIAA
127:and
81:DCFS
40:and
27:DCFS
1083:108
1059:doi
125:DLT
1111::
1065:,
1057:,
1047:,
1045:31
1043:,
981:99
952:96
196:.
131:.
123:,
95:.
1089:.
1061::
1051::
994:.
969:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.