aar

Author: jcailler

_tabs/miscellaneous.md

@@ -38,3 +38,22 @@ I went to various places, and met a lot of people, that I am unfortunately not a
 </div>
 
 
+## How Can I Initiate a Conversation with You?
+We are attending the same event right now, but you don't know how to talk to me? You have come to the right place!  
+First of all, if I am at a conference, it often means that I have accepted that I am going to be talking to people during this time, so any chat is welcome.  
+However, if you are really intimidated by me (I know, I am scary) or struggling about how to talk, here's a list of phrases to get the conversation started (you just need to adapt them to the corresponding situation):
+  * "Hi! I attended your talk, it was nice/terrible. In particular, you said something about X, can you tell me more about that?"
+  * "You talk about TOPIC, and I read/wrote/know something about that, do you know REFERENCE?"
+  * "Oh, you are from PLACE. I know SOMEONE/have been THERE sometimes, do you know this PERSON/PLACE?"
+  * "The last talk was great! Did you know anything about TOPIC before?"
+  * "Hi, do you plan to give a talk/have you already given a talk during the event?"
+  * "Your talk/beamer theme was great! How can you make so beautiful things in LaTeX?"
+  * "Hey! We met at PREVIOUS_EVENT, how have you been since then?"
+  * "Oh, you are associate professor! What do you teach?"
+  * "Hello, nice glasses/hat/hair/shirt/name tag/keyring/RANDOM THING I HAVE WITH ME!"
+  * "You attended the social event, right? I especially enjoyed the monkey trainer/shark rider/fier eater/food, wasn't that nice? "
+  * "Here is some food."
+  * "Germany is great, isn't it?"
+  * "<a href="{{ site.url }}{{ site.baseurl }}/assets/img/squirrel_dealer.png">Do you like squirrels?</a>"
+
+Note that this list is bound to grow, so don't be afraid to try something different, and it may end up on it one day!

assets/img/squirrel_dealer.png

@@ -111,13 +111,13 @@
         { name: 'SCALP Days 2024', location: [50.604850842022636, 3.146190270731473] },
         { name: 'LVP Days 2024', location: [48.827139742599854, 2.3807233719610057] },
         { name: 'IJCAR 2024', location: [48.69776160623848, 6.171918082976066] },
-        { name: 'GDR GPL 2024', location: [48.57987562774337, 7.763427406974662] },
+        { name: 'GDR GPL Days 2024', location: [48.57987562774337, 7.763427406974662] },
         { name: 'ETAPS 2024', location: [49.63965835067326, 6.154014486297844] },
         { name: 'Contract Lanuages Workshop', location: [52.168049544503766, 4.458929368337354] },
         { name: 'AVM 2023', location: [50.08873612839579, 14.403682282921451] },
         { name: 'ICGT 2022, ICSR 2022', location: [43.6319, 3.8615] },
         { name: 'IJCAR 2022', location: [32.77603062666881, 35.0223966964578] },
-        { name: 'GDR GPL 2022', location: [47.64526031123392, -2.746276246874239] }
+        { name: 'GDR GPL Days 2022', location: [47.64526031123392, -2.746276246874239] }
     ];
 
     var job = [

assets/map/event-map.html

@@ -8,10 +8,10 @@ order: 0
 
 Hi and welcome to my personal site! 
 
-I am Julie, and I am currently an associate professor within the [VeriDis Team](https://team.inria.fr/veridis/) at [University of Lorraine](https://www.univ-lorraine.fr/en/univ-lorraine/) & [Inria](https://inria.fr/en).  
+I am Julie, and I am currently an associate professor within the [VeriDis Team](https://team.inria.fr/veridis/) at [Loria](https://www.loria.fr/en/), [University of Lorraine](https://www.univ-lorraine.fr/en/univ-lorraine/) & [Inria](https://inria.fr/en).  
 
 My work focuses on automated deduction, especially on designing decision procedures (parallelization in first-order logic, application to other logics or theories) and interactions between interactive and automated tools. 
-Previously, I worked within the [Chair of Theoretical Computer Science](https://www.uni-regensburg.de/informatics-data-science/theoretical-informatics/startseite/index.html) at [University of Regensburg](https://www.uni-regensburg.de/en), and I my PhD at [University of Montpellier](https://www.umontpellier.fr/), during which I developed the [Goéland](https://github.com/GoelandProver/Goeland) theorem prover. 
+Previously, I worked within the [Chair of Theoretical Computer Science](https://www.uni-regensburg.de/informatics-data-science/theoretical-informatics/startseite/index.html) at [University of Regensburg](https://www.uni-regensburg.de/en), and I did my PhD at [University of Montpellier](https://www.umontpellier.fr/), during which I developed the [Goéland](https://github.com/GoelandProver/Goeland) automated theorem prover. 
 
 I am also very involved into sciences promotion (and the endless quest to find out [who killed Agatha](https://tptp.org/cgi-bin/SeeTPTP?Category=Problems&Domain=PUZ&File=PUZ001+1.p)).
 Finally, I am a huge fan of puzzles, especially Rubik's Cube, I like to traumatize my interns, and I bake delicious cookies!
@@ -20,7 +20,7 @@ You can find more information in my [CV](/assets/pdf/cv.pdf) (last update: Septe
 
 >
 News:
-* I am invited speaker at [LVP Days 2024](https://groupes.renater.fr/wiki/lvp/public/journee_lvp_novembre2024) and [SCALP Days 2024](https://gt-verif.lis-lab.fr/journees-annuelles-2024/). 
+* I am invited speaker at [LVP Days 2024](https://groupes.renater.fr/wiki/lvp/public/journee_lvp_novembre2024) and [SCALP Days 2024](https://www.irif.fr/gt-scalp/journees-2024). 
 * Together with [Nian-Ze Lee](https://nianzelee.github.io/), we will chair the [Artifact Evaluation](https://spin-web.github.io/SPIN2025/artifacts) at [SPIN 2025](https://spin-web.github.io/SPIN2025/).
 * After many years of loyal service, I am taking over from [Sophie Tourret](https://members.loria.fr/STourret/) as editor of the [AAR newsletter](https://aarinc.org//newletters). Feel free to send me any relevant information that you would like to include in the next edition! 
 {: .prompt-news }