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.
Bertinoro international Center for informatics (BiCi)
University Residential Center
Bertinoro (Forlì-Cesena), Italy
Organizers
Loris D'Antoni, University of Wisconsin-Madison, USAAnthony W. Lin, Oxford University, UK
Philipp Rümmer, Uppsala University, Sweden