For DACS 2016 we welcome submissions presenting original research results on the topics of the workshop. The accepted papers, as well as extended abstracts of the invited talks, will be published in the proceedings volume that will appear as an issue of the Annals of the University of Bucharest.

The topics of interest for DACS 2016 include, but are not restricted to:

  • Algorithms and data structures
  • Computability and computational complexity
  • Knowledge representation, reasoning and logic
  • Formal verification
  • Data and text mining
  • Reasoning under uncertainty
  • Algebraic specification
  • Formal languages and automata theory
  • Machine learning
  • Cryptography
  • Combinatorics and algorithmics on words
  • Non-classical and graded logics
  • Natural language and speech automatic processing
  • Computational biology, bioinformatics and bio‚Äźinspired computing

Submissions on any other related topics are welcome.

We invite full research papers of up to 12 pages (Annals of the University of Bucharest style) that present new results or new applications relevant to the topics of DACS 2016. Proofs omitted due to space constraints may be put into an appendix, to be read by the reviewers at their discretion.

For this edition of DACS we accept extended abstracts as well (max. 2 pages, Annals of the University of Bucharest style).

Both types of submissions are handled by the EasyChair conference management system. To access DACS 2016 submission system, follow this link.