diff --git a/index.html b/index.html index e755472..c9e6610 100644 --- a/index.html +++ b/index.html @@ -7,7 +7,7 @@ Quentin Rouland - + @@ -244,7 +244,7 @@

Quentin Rouland, Brahim Hamid, Jason Jaskolka. Formal Specification and Verification of Reusable Communication Models for Distributed Systems Architecture. - Future Generation Computer Systems, 2020. + Future Generation Computer Systems (FGCS), 2020.

@@ -426,6 +426,9 @@ + + + diff --git a/js/translate.js b/js/translate.js index 0fed657..7ca0efe 100644 --- a/js/translate.js +++ b/js/translate.js @@ -31,7 +31,7 @@ i18next experiences: { title: "Professionnal Experiences", phd: { - title: "2017-present (2 years and +) - PhD Student in IT", + title: "2017-present (3 years and +) - PhD Student in IT", location: "IRIT, Toulouse, France (31)", }, engie: { @@ -116,7 +116,7 @@ i18next experiences: { title: "Expériences Professionelles", phd: { - title: "2017-present (2 ans et +) - Doctorant en Informatique", + title: "2017-present (3 ans et +) - Doctorant en Informatique", location: "IRIT, Toulouse, France (31)", }, engie: {