Meeting on String Constraints and Applications

May 6-9 2019
Bertinoro international Center for informatics (BiCi)
University Residential Center
Bertinoro (Forlì-Cesena), Italy

In the past decade, there has been no shortage of exciting research results in string constraints that were tailored towards or have been applied to program analysis, formal verification, and database query language design. The primary aim of the workshop is to provide a forum for researchers with interests in string constraints and various application domains to exchange ideas and techniques.


Organizers

Loris D'Antoni, University of Wisconsin-Madison, USA
Anthony W. Lin, Oxford University, UK
Philipp Rümmer, Uppsala University, Sweden
News