Update

Author: jcailler

_posts/2024-10-24-ATVA.md

@@ -0,0 +1,13 @@
+---
+title: "Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)"
+conf: 22nd International Symposium on Automated Technology for Verification and Analysis (ATVA 2024)
+author: Parosh Aziz Abdulla, Mohamed Faouzi Atig, Julie Cailler, Chencheng Liang & Philipp Rümmer
+publisher: Springer
+date: 2024-10-24
+categories: [conferences]
+math: true
+mermaid: true
+attachment: atva2024.pdf
+bibtex: atva2024.txt
+doi: https://doi.org/10.48550/arXiv.2411.15194
+---

_tabs/activities.md

@@ -24,6 +24,7 @@ order: 3
 
 ## Science Popularization & Other Events (mostly in French)
 
+* [Chiche](https://chiche.inria.fr/): 1 scientifique, 1 classe
 * [Les cigognes](https://iecl.univ-lorraine.fr/cigognes/)
 * [GDR GPL 2024](https://gdrgpl2024.sciencesconf.org/) and recruitment preparation workshop
 * [MT180](https://www.youtube.com/watch?v=LdVQyov38sQ) --- Regional Final East Occitanie 2023

_tabs/teaching.md

@@ -7,6 +7,9 @@ order: 2
 
 ### University of Nancy
 
+* Student's projects supervision --- 2nd year of bachelor's degree  --- 2024-2025 
+* System: processes, memory and files --- 2nd year of bachelor's degree --- 2024-2025
+* Functional Programming --- 3rd year of bachelor's degree --- [Exercises](https://github.com/jcailler/programmation-fonctionnelle-ul)
 * ACL (Software Analysis and Design) --- 1st year of master's degree --- 2024-2025
 * Logic --- 2nd year of bachelor's degree --- 2024-2025
 * API (Algorithms and Imperative Programming) --- 1st year of bachelor's degree --- 2024-2025

assets/bibtex/atva2024.txt

@@ -0,0 +1,6 @@
+@article{abdulla2024guiding,
+  title={Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)},
+  author={Abdulla, Parosh Aziz and Atig, Mohamed Faouzi and Cailler, Julie and Liang, Chencheng and R{\"u}mmer, Philipp},
+  journal={arXiv preprint arXiv:2411.15194},
+  year={2024}
+}