From b24570f63a9a54e8dc28962b90c67b440abf54bb Mon Sep 17 00:00:00 2001
From: Luca Olivieri <oli.luca93@gmail.com>
Date: Sun, 25 Feb 2024 11:02:02 +0100
Subject: [PATCH] minors

---
 index.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/index.html b/index.html
index 4c34393..912d05e 100644
--- a/index.html
+++ b/index.html
@@ -164,11 +164,11 @@ <h2>Talks</h2>
             <ul>
                 <li><strong>07/11/2023</strong> Title: <em>Towards Compliance of Smart Contracts with the European Union Data Act</em>. 5th Workshop on Artificial Intelligence and FormalVerification, Logic, Automata, and synthesis (OVERLAY’23) - Rome, Italy. [<a
 							href="https://overlay.uniud.it/workshop/2023/program/">link</a>]</li>
-				<li><strong>11/09/2023</strong> Title: <em>Design and implementation of static analyses via formal methods for blockchain</em>. Workshop on Distributed Ledger Technologies and Formal Methods (DLT-FM’23) - Cagliari, Italy. [<a
+				<li><strong>11/09/2023</strong> Title: <em>Design and implementation of static analyses via formal methods for blockchain</em>. 1st Workshop on Distributed Ledger Technologies and Formal Methods (DLT-FM’23) - Cagliari, Italy. [<a
 							href="https://dlt-fm-workshop.github.io/programme.html#september-11-2023">link</a>]</li>
                 <li><strong>19/07/2023</strong> Title: <em>Information Flow Analysis for Detecting Non-Determinism in Blockchain</em>. 37th European Conference on Object-Oriented Programming (ECOOP’23) - University of Washington, Seattle, Washington, United States. [<a
 							href="https://2023.ecoop.org/details/ecoop-2023-papers/9/Information-Flow-Analysis-for-Detecting-Non-Determinism-in-Blockchain">link</a>]</li>
-                <li><strong>25/05/2023</strong> Title: <em>Software Verification Challenges in Blockchain</em>. 2nd SoftwareVerification Challenges in Blockchain Symposium (CSV’23) - Ca’ Foscari University of Venice, Venice, Italy. [<a
+                <li><strong>25/05/2023</strong> Title: <em>Software Verification Challenges in Blockchain</em>. 2nd Software Verification Challenges in Blockchain Symposium (CSV’23) - Ca’ Foscari University of Venice, Venice, Italy. [<a
 							href="https://unive-ssv.github.io/events/2023/05/25/csv.html">link</a>]</li>
 				<li><strong>13/03/2023</strong> Title: <em>MichelsonLiSA: a Static Analyzer for Tezos</em>. 4th Workshop on Blockchain theory and ApplicatIoNs (BRAIN’23) - Georgia State University, Atlanta, Georgia, United States. [<a
 							href="https://sites.google.com/view/brain-2023/workshop-program">link</a>]</li>