commit 5bf7c6017c3b61f50493b4d2be2959a83880f4a8 parent 00c64aa58fc2491318e667365832c05e6509279a Author: Antoine Amarilli <a3nm@a3nm.net> Date: Fri, 31 Mar 2023 15:22:09 +0200 fix Diffstat:
| talks | | | 2 | +- |
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/talks b/talks @@ -15,7 +15,7 @@ MiscFr: exposé en ligne, <a href="icdt2023/amarilli2023uniform_video.mp4">vidé en téléchargement direct</a> Url: icdt2023/amarilli2023uniform_slides.pdf -Title: Worst-case Analysis for Interactive Evaluation of Boolean Provenance +Title: Worst-Case Analysis for Interactive Evaluation of Boolean Provenance Date: 2023-03-27 Team: ANR CQFD TeamUrl: https://www.lirmm.fr/cqfd/