HOME | SUBMISSIONS | SPECIAL SESSION
DACS: Days of Computer Science
(Produse 2m beauty associated workshop)

University of Bucharest, June 26-27, 2015
Following the success of the workshop “Theory Day in Computer Science”, that took place in September 2014 as a satellite workshop of ICTAC 2014, we shall organise in 2015 a second edition of the workshop, under the name “Days of Computer Science” (DACS 2015). DACS 2015 will be organised as a satellite event of the 11th edition of the Computability in Europe conference.

The long-term goal of this workshop-series is to build a solid and modern CS-research community in Romania, closely connected to the current global research-trends. Generally, our workshop aims also to attract participants from Romania and abroad, helping to establish international collaboration between researchers working on common topics.

Besides hosting invited presentations of the work of remarkable researchers (selected by the Program Committee) relevant to the topics of the workshop, we also invite submissions. We especially encourage contributions by young researchers (e.g., doctoral students, postdocs), offering them the possibility to disseminate their work in a workshop with high-quality standards.

The program of DACS 2015 will host both a series of contributed talks as well as a series of invited talks. For DACS 2015 we welcome submissions presenting original research results relevant to the topics of the workshop (see below). The invited talks will survey recent relevant results in the same areas. 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.

Special session

A special session in memory of Mihai Pătrașcu will also be hosted.

Invited speakers

This year's list of invited speakers includes:
  • Alexandru Baltag (Amsterdam)
  • Ștefan Ciobâcă (Iași)
  • Radu Curticapean (Saarbrücken)
  • Cătălin Dima (Paris)
  • Radu Ionescu (Bucharest)
  • Radu Mardare (Aalborg)
  • Marius Minea (Timișoara)
  • Daniela Petrișan (Lyon)
  • Alexandru Tomescu (Helsinki)

Important dates

Submission deadline: 16th of March 2015, 23:59 EET
Notification: 17th of April 2015
Camera-ready version: 24th of April 2015
Deadline for Registration: 12th of June 2015

Program Committee

Denisa Diaconescu (Bern) – chair
Radu Gramatovici (Bucharest)
Georgiana Ifrim (Dublin)
Gabriel Istrate (Timișoara)
Ioana Leuștean (Bucharest)
Florin Manea (Kiel) – chair
Robert Mercas (London)
Marius Popescu (Bucharest)

Organising Committee

Adela Georgescu (Bucharest)
Marius Popescu (Bucharest) – chair
Andrei Sipoș (Bucharest)

Past editions

  • DACS 2014: Theory Day in Computer Science


For any questions you might have, you may contact us at:
theory-day@fmi.unibuc.ro