| CARVIEW |
Select Language
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Tue, 22 Oct 2019 16:13:12 GMT
access-control-allow-origin: *
strict-transport-security: max-age=31556952
etag: W/"5daf2a98-11bc"
expires: Fri, 16 Jan 2026 12:27:45 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: 0C24:377A50:2C520:31972:696A2C68
accept-ranges: bytes
age: 0
date: Fri, 16 Jan 2026 12:17:45 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210093-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1768565865.497874,VS0,VE241
vary: Accept-Encoding
x-fastly-request-id: bbdc0e36962b9238c53db44547f2befa7938a020
content-length: 1573
Home
Meeting on String Constraints and Applications
Anthony W. Lin, Oxford University, UK
Philipp Rümmer, Uppsala University, Sweden
BiCi
MOSCA'19: Meeting on String Constraints and Applications
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
News
No news is good news.
© 2007 BiCi