DACS: Days of Computer Science
(CiE 2015 associated workshop)

University of Bucharest, June 26-27, 2015
For DACS 2015 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 2015 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 2015. Proofs omitted due to space constraints may be put into an appendix, to be read by the reviewers at their discretion.

The submissions are handled by the EasyChair conference management system. To access DACS 2015 submission system, follow this link.

Submission deadline: March 31, 2015, 23:59 EET