top of page

University of Bucharest, September 15-16, 2014

WHAT it is all about

For Theory Day in Computer Science 2014 we invite original research papers 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. 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.

In order to emphasise the workshop character of Theory Day 2014, also short informal contributions of up to 4 pages are invited. 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.

The topics of interest for Theory Day 2014 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                                                       


Submissions on any other topics related to Theoretical Computer Science are welcome. See the Submissions page.


The venue of the worshop is 

Faculty of Mathematics and Computer Science, University of Bucharest, Amphitheater “Titeica”, Floor 3


The tentative schedule of the workshop is available on the Schedule Page.


Besides the tutorial and invited speakers, we will host on the 16th of September at 12:00 a Special Session.

This Special Session is organised to honour the founding Professors of University of Bucharest's school of Theoretical Computer Science.



Invited speakers

This year's invited speakers are the following:

Important dates:


Submission deadline: 14th of July 2014, 23:59 EET (extended deadline)
Notification: 4th of August 2014
Camera-ready version: 10th of August 2014

Deadline for Registration: 5th of September 2014


Date of the workshop: 15th and 16th of September 2014

Venue: Faculty of Mathematics and Computer Science, University of Bucharest, Amphitheater "Titeica" (floor 3)


For questions contact us at the e-mail address:



- 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

bottom of page