SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
Tue 24 Oct 2023 10:00 - 10:30 at Room VII - Session IV Chair(s): John P. Gallagher

Tue 24 Oct

Displayed time zone: Lisbon change

09:00 - 10:30
Session IVLOPSTR at Room VII
Chair(s): John P. Gallagher Roskilde University
09:00
60m
Keynote
On-The-Fly Verification via Incremental, Interactive Abstract Interpretation with CiaoPP and VeriFlyKeynote
LOPSTR
Manuel Hermenegildo Technical University of Madrid (UPM) and IMDEA Software Institute
10:00
30m
Research paper
A Term Matching Algorithm and Substitution Generality
LOPSTR
Marija Kulaš Fernuniversität in Hagen