diff --git a/index.html b/index.html index e225f66..ed51e5d 100644 --- a/index.html +++ b/index.html @@ -229,7 +229,7 @@

Affiliates

CUPLV authors Benno Stein and Bor-Yuh Evan Chang with collaborators has had a paper "Interactive Abstract Interpretation with Demanded Summarization" published in - TOPLAS + TOPLAS.
2023.11.01: diff --git a/news.html b/news.html index 37f0066..497492d 100644 --- a/news.html +++ b/news.html @@ -46,7 +46,7 @@

2024.01.19

CUPLV authors Benno Stein and Bor-Yuh Evan Chang with collaborators has had a paper "Interactive Abstract Interpretation with Demanded Summarization" published in - TOPLAS + TOPLAS.

diff --git a/pl.xml b/pl.xml index 09514e7..d4f629a 100644 --- a/pl.xml +++ b/pl.xml @@ -16,7 +16,7 @@ CUPLV authors and with collaborators has had a paper "" published in - + .