Submissions
The topics of interest for Theory Day 2014 include:
- Algorithms and data structures - Formal languages and automata theory
- Computability and computational complexity - Machine learning
- Knowledge representation, reasoning and logic - Cryptography
- Formal verification - Combinatorics and algorithmics on words
- Data and text mining - Non-classical and graded logics
- Reasoning under uncertainty - Natural language and speech automatic processing
- Algebraic specification - Computational biology, bioinformatics and bio‐inspired computing
Submissions on other related topics are also welcome.
We invite full research papers of up to 12 pages (LNCS style) that present new results or new applications relevant to the topics of Theory Day, as well as surveys of recent relevant results in these areas. Proofs omitted due to space constraints may be put into an appendix to be read by the reviewers at their discretion.
Accepted papers will be published in the proceedings that will appear as an issue of the Annals of the University of Bucharest. In addition, extended and carefully revised versions of selected contributions will be published in a special issue of an international journal.
We also welcome short informal contributions of up to 4 pages. Short papers are expected to report on recent results or ongoing work. If accepted, their abstracts will appear in a technical report that will also be available at the workshop.
Both full research papers and informal contributions will be the subject of a thorough review process. The type of the submitted manuscript (full research paper, survey, extended abstract of an informal presentation) should be made clear in the paper.
The submissions are handled by the EasyChair conference management system. To access the Theory Day 2014 submission system, follow this link:
https://www.easychair.org/conferences/?conf=dacs2014
Submission deadline: 14th of July 2014 (23:59 EET).