Strings at MOSCA
Matthew Hague · ACM SIGLOG News · 2019
The first edition of MOSCA, the Meeting on String Constraints and Applications was held in May 2019 in the otherworldly location of Bertinoro [D'Antoni et al. 2019]. For one week, 43 participants presented surveys and discussed recent research into the analysis of string constraints.