- Theory Day in Computer Science 2014 (satellite workshop of ICTAC 2014)
- DACS 2015 (satellite workshop of CiE 2015).
- DACS 2016 (satellite event of DCFS 2016).
This year DACS 2017 takes place for the first time outside of Bucharest, as a satellite workshop of SYNASC 2017.
+ Submission of papers: July 1, 2017
+ Notification of acceptance: August 15, 2017
+ Registration: September 4, 2017
+ Final paper: September 4, 2017
+ Revised papers for post-proceedings: November, 2017
+Denisa Diaconescu, University of Bucharest, Romania.
+ Gabriel Istrate, West University of Timisoara, Romania
+ Florin Manea, Kiel University, Kiel, Germany
The program of DACS 2017 will host both a series of contributed talks on the topics of the workshop (see below), as well as a tutorial and a series of invited talks given by remarkable researchers (selected by the Program Committee), surveying recent relevant results in the same areas.
- 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
- 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 related topics are welcome.
We invite submissions in the form of:
+ research papers,
+ extended abstracts
Papers of up to 8 pages (in CPS Conference Style) should be electronically submitted through EasyChair. Proofs omitted due to space constraints may be put into an appendix, to be read by the reviewers at their discretion.
Research papers must contain original research results not submitted and not published elsewhere. Authors which want to present work in progress are welcome to submit an extended abstract (up to 4 pages). Papers will be refereed and accepted on the basis of their scientific merit and relevance to the Workshop topics.
The papers accepted for presentation will be included in a locally edited proceedings (electronic version on a memory stick). Accepted research papers should be presented at the conference. Contributed papers are eligible to be selected for publication in the post-proceedings of SYNASC 2017, published by Conference Publishing Services in the IEEE Digital Library.
The registration fee is (tentatively set to) 50 Euro. You may choose to register instead for SYNASC, and have access to all benefits of the main conference (including DACS). Please note that publication in SYNASC proceedings incurs a publication fee charged by I.E.E.E. This fee (100 Euros) is included in the SYNASC registration, but not in DACS registration.
+Dietmar Berwanger (Cachan)
+ Stefan Ciobâcă (Iași)
+ Denisa Diaconescu (Bucharest)
+ Gabriel Istrate (Timișoara)
+ Florin Manea (Kiel)
+ Marius Zimand (Towson)