Paper Accepted at RP19

I recently had a paper accepted at RP19. I am very happy about this for a couple of reasons. Firstly, having a paper is always cool. Secondly, and maybe most importantly, this paper took a long time to finish, involved quite some programming – so it is nice to see that resulting in a accepted paper. Thirdly, it is my office mates first paper, so I am very happy on his behalf.

Enough talk about my happiness. The paper (arxiv version) is concerned with solving word equations. In particular, about solving a bounded fragment of word equations. As part of the paper we introduce the new tool Woorpje (hence the programming effort).