diff --git a/content/authors/yacine/_index.md b/content/authors/yacine/_index.md
index c35e7a7..a15a396 100644
--- a/content/authors/yacine/_index.md
+++ b/content/authors/yacine/_index.md
@@ -10,7 +10,7 @@ authors:
 # Organizational groups that you belong to (for People widget)
 #   Set this to `[]` or comment out if you are not using People widget.
 user_groups:
-- Postdoctoral Researchers
+- Alumni - Postdoc graduates
 
 # Is this the primary user of the site?
 superuser: false
diff --git a/content/authors/yacine/avatar.jpg b/content/authors/yacine/avatar.jpg
index 79f38bd..acb6ac5 100644
Binary files a/content/authors/yacine/avatar.jpg and b/content/authors/yacine/avatar.jpg differ
diff --git a/content/publication/ECAI24/cite.bib b/content/publication/ECAI24/cite.bib
new file mode 100644
index 0000000..5f7a17e
--- /dev/null
+++ b/content/publication/ECAI24/cite.bib
@@ -0,0 +1,6 @@
+@inproceedings{IMS24,
+  title={Locally-Minimal Probabilistic Explanations},
+  author={Yacine Izza and Kuldeep S Meel and Joao Marques-Silva},
+  booktitle={Proceedings of ECAI},
+  year={2024},
+}
diff --git a/content/publication/ECAI24/index.md b/content/publication/ECAI24/index.md
new file mode 100644
index 0000000..00c0984
--- /dev/null
+++ b/content/publication/ECAI24/index.md
@@ -0,0 +1,19 @@
+---
+abstract: Formal abductive explanations offer crucial guarantees of rigor and so find application in high-stakes uses of machine learning (ML). One drawback of abductive explanations is explanation size, justified by the cognitive limits of human decision-makers. Probabilistic abductive explanations (PAXps) address this limitation, but their theoretical and practical complexity makes their exact computation most often unrealistic. This paper proposes novel efficient algorithms for the computation of locally-minimal PXAps, which offer high-quality approximations of PXAps in practice. The experimental results demonstrate the practical efficiency of the proposed algorithms.
+
+
+authors:
+- Yacine Izza,
+- Kuldeep S Meel,
+- Joao Marques-Silva
+date: 2024-10-21 00:00:00
+highlight: true
+image_preview: ''
+math: false
+publication: In *Proceedings of ECAI -  European Conference on Artificial Intelligence*
+publication_types:
+- '1'
+selected: true
+title: Locally-Minimal Probabilistic Explanations
+url_pdf: https://arxiv.org/pdf/2312.11831
+---
diff --git a/content/publication/IJCAI23_totvardist/index.md b/content/publication/IJCAI23_totvardist/index.md
index 9e8a12b..b804ab8 100644
--- a/content/publication/IJCAI23_totvardist/index.md
+++ b/content/publication/IJCAI23_totvardist/index.md
@@ -5,7 +5,7 @@ authors:
 - Sutanu Gayen
 - Kuldeep S. Meel
 - Dimitrios Myrisiotis
-- Pavan A.
+- A. Pavan
 - N. V. Vinodchandran
 date: 2023-07-01 00:00:00
 highlight: true
diff --git a/content/talk/23052024.md b/content/talk/23052024.md
new file mode 100644
index 0000000..7b6c6f6
--- /dev/null
+++ b/content/talk/23052024.md
@@ -0,0 +1,39 @@
++++
+date = 2024-05-23T00:00:00  # Schedule page publish date.
+
+title='<b>Our work on Quantum Circuit Mapping Based on Incremental and Parallel SAT Solving</a> has been accepted to  <a href="http://satisfiability.org/SAT24/">SAT 2024</a>.</b> <br> We introduce a novel circuit mapping method by combining incremental and parallel solving for Boolean Satisfiability (SAT). We present an innovative SAT encoding for circuit mapping problems, which significantly improves solver-based mapping methods and provides a smooth trade-off between compilation quality and compilation time. <br> Authors: Jiong Yang, Yaroslav A. Kharkov, Yunong Shi, Marijn Heule, and Bruno Dutertre <br> '
+time_start = 2024-05-23T01:00:00
+#time_end = 2030-06-01T15:00:00
+abstract = ""
+abstract_short = ""
+event = ""
+event_url = ""
+location = ""
+
+# Is this a selected talk? (true/false)
+selected = false
+
+# Projects (optional).
+#   Associate this talk with one or more of your projects.
+#   Simply enter the filename (excluding '.md') of your project file in `content/project/`.
+projects = []
+
+# Links (optional).
+url_pdf = ""
+url_slides = ""
+url_video = ""
+url_code = ""
+
+# Does the content use math formatting?
+math = true
+
+# Does the content use source code highlighting?
+highlight = true
+
+# Featured image
+# Place your image in the `static/img/` folder and reference its filename below, e.g. `image = "example.jpg"`.
+[header]
+image = ""
+caption = ""
+
++++