Theory Day @ Bucharest: DACS 2015

Later update: The submission deadline was extended to March 31.

The second edition of our workshop Days of Computer Science takes place as a satellite event of CiE 2015, at the Faculty of Mathematics and Computer Science, University of Bucharest, on June 26 and 27, 2015.

Days of Computer Science (DACS 2015) is the second edition of a workshop-series interested in building a solid and modern CS-research community in Romania, closely connected to the current global research-trends. Here is a link to DACS 2014, last year's event, and here is a link to its description on this blog.

Generally, our workshop aims to attract participants from Romania and other European countries, helping to establish international collaborations between researchers working on common topics.

This year the program consists mainly in a series of very interesting invited presentations of the work of remarkable researchers (selected by the Program Committee) relevant to the topics of the workshop. Besides these, we also invite submissions, especially by researchers at early stages of their career (e.g., doctoral students, postdocs), offering them the possibility to disseminate their work in a workshop with high-quality standards.

As highlight in our program, we host a special session dedicated to the memory of Mihai Patrascu, that will include an one hour scientific lecture given by Mikkel Thorup (Copenhagen).

Coming back to the main program, this year's list of invited speakers consists of:
  • Alexandru Baltag (Amsterdam)
  • Ștefan Ciobâcă (Iași)
  • Radu Curticapean (Saarbrücken)
  • Cătălin Dima (Paris)
  • Cezara Drăgoi (Paris) - tutorial
  • Radu Ionescu (Bucharest)
  • Marius Minea (Timișoara)
  • Daniela Petrișan (Nijmegen)
  • Alexandru Tomescu (Helsinki)

  • I am very happy to have such amazing speakers, and I thank all of them for accepting to come and give talks at our workshop!.

    As said, 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). Proof omitted due to space constraints may be put into an appendix, to be read by the reviewers at their discretion. Submit here.

    As our higher goal is to allow the Romanian community easy access to quality research, this year the participation to the workshop is free of any charge. However, for logistic purposes, we ask the persons that wish to participate to the workshop to register prior to the event by sending an e-mail to with the name and affiliation.

    Note the important dates: Submission deadline: 23rd 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

    Organising this workshop would not have been possible without the help of my colleagues from the Program Committee:
  • Denisa Diaconescu (Bern) – chair
  • Radu Gramatovici (Bucharest)
  • Georgiana Ifrim (Dublin)
  • Gabriel Istrate (Timișoara)
  • Ioana Leuștean (Bucharest)
  • Robert Mercas (London)
  • Marius Popescu (Bucharest)
  • ... as well as the local Organising Committee:
  • Adela Georgescu (Bucharest)
  • Marius Popescu (Bucharest) – chair
  • Andrei Sipoș (Bucharest)
  • For questions about the workshop details please write e-mail to: theory-day[at]