From ce02199890670210d81c1f14ba1d65aa45ac250c Mon Sep 17 00:00:00 2001 From: "mi.ki" Date: Sun, 28 Jul 2024 23:12:01 +0200 Subject: [PATCH] Update heydari-tabar.md --- talks/heydari-tabar.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/talks/heydari-tabar.md b/talks/heydari-tabar.md index 3c6acb0..cd338b2 100644 --- a/talks/heydari-tabar.md +++ b/talks/heydari-tabar.md @@ -1,5 +1,5 @@ --- -author: "Asmae Heydari-Tabar" +author: "Asmae Heydari Tabar" kind: "Short Talk (10 min. + 5 min.)" track: "Common Track, KeY-only Track" title: "Data Dependence Analysis Program Logic: Applications"