- Mnshs.docs.strasbourg

[Postdocs] [Current] TR: [Lrde] [Lrde Annonce] L'algorithmique du Knuth-Plass

by Thierry Geraud

FYI ________________________________ De : Didier Verna <didier(a)lrde.epita.fr> Envoyé : jeudi 7 décembre 2023 16:41 À : Annonces du LRE <annonce(a)lrde.epita.fr> Objet : [Lrde] [Lrde Annonce] L'algorithmique du Knuth-Plass Chers tous, j'ai le plaisir de vous annoncer une visioconférence en français sur le « Knuth-Plass », l'algorithme de mise en forme / justification de paragraphes de TeX. Cette conférence aura lieu le 11 Janvier 2024 à 20h, dans le cadre des exposés mensuels de l'association GUTenberg. La page d'annonce avec le résumé est disponible à cette adresse: https://www.gutenberg-asso.fr/11-janvier-2024-Expose-sur-l-algorithme-de-Kn… Au plaisir de vous y télé-retrouver... -- Resistance is futile. You will be jazzimilated. Other sites: http://www.didierverna.info ______________________ Annonce mailing list -- annonce(a)lrde.epita.fr https://lists.lrde.epita.fr/postorius/lists/annonce.lrde.epita.fr// ______________________ Lrde mailing list -- lrde(a)lrde.epita.fr https://lists.lrde.epita.fr/postorius/lists/lrde.lrde.epita.fr// ______________________ Current mailing list -- current(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/current.ml.lre.epita.fr// ______________________ Postdocs mailing list -- postdocs(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/postdocs.ml.lre.epita.fr//

9 months, 2 weeks

1
0
0 0

[Postdocs] [Current] Soutenance de thèse de Baptiste Esteban

by Baptiste Esteban

Bonjour à vous, J'ai le plaisir de vous inviter à ma soutenance de thèse, intitulée "*Une approche générique, performante et interactive du traitement d’images avec des applications en morphologie mathématique"* Cette soutenance aura lieu en Amphi 0 du Bâtiment Voltaire à l'EPITA le Jeudi 21 Décembre à 9h30 (un ICS est fourni pour ne pas faire d'erreur dans votre calendrier). Cette soutenance sera en français. Venez nombreux !!! *Jury:* * Pr. Pascal MONASSE, LIGM / ENPC / Université Gustave Eiffel, Rapporteur * Pr. Benjamin PERRET, LIGM / ESIEE / Université Gustave Eiffel, Rapporteur * Pr. Olivier LEZORAY, GREYC / Université de Caen, Examinateur * Dr. Frédéric PESCHANSKI, LIP6 / Sorbonne Université, Examinateur * Dr. Deise SANTANA MAIA, CRIStAL / Université de Lille, Examinatrice * Pr. Didier VERNA, LRE / EPITA, Directeur de thèse * Dr. Edwin CARLINET, LRE / EPITA, Encadrant * Dr. Guillaume TOCHON, LRE / EPITA, Encadrant *Résumé* (en français): Les bibliothèques de traitement d’images jouent un rôle important dans la boîte à outils du chercheur et devraient respecter trois critères : généricité, performance et interactivité. La généricité favorise la réutilisation du code et la flexibilité des algorithmes pour diverses structures de données en entrée, tandis que la performance accélère les expériences et permet l’utilisation d’algorithmes dans le cas d’applications en temps réel. De plus, l’interactivité dans la chaîne de traitement d’une image permet d’effectuer des expérimentations en échangeant des données avec cette dernière. Ce dernier critère est généralement obtenu en ajoutant du dynamisme à la bibliothèque, et plus particulièrement en interfaçant ses fonctionnalités à un langage dynamique. Les deux premiers critères peuvent être atteints avec des langages statiques tels que C++ ou Rust, qui exigent la connaissance de certaines informations au moment de la compilation pour optimiser le code machine généré en fonction des différents types de données d’entrée et de sortie d’un algorithme. Le dernier critère nécessite généralement d’attendre jusqu’à l’exécution pour obtenir des informations sur le type, et est donc réalisé au détriment de la vitesse d’exécution. Le travail présenté dans cette thèse vise à dépasser cette limitation dans le contexte d’algorithmes de traitement d’images. Pour ce faire, une méthodologie visant à développer des algorithmes génériques dont les informations sur les types d’entrée et de sortie peuvent être connues soit au moment de la compilation, soit à l’exécution, est présentée. Cette méthode est évaluée sur différents schémas algorithmiques de traitement d’images, et il est conclu que l’écart de performance entre les versions où l’information de type est connu à la compilation et à l’exécution de l’algorithme de construction pour les représentations hiérarchiques d’images est négligeable. En tant qu’application, les représentations hiérarchiques sont utilisées pour étendre l’applicabilité de l’estimation du niveau de bruit en niveaux de gris aux images en couleur afin d’améliorer leur caractère générique. Cela soulève l’importance d’étudier l’impact d’une telle altération dans les images à partir desquelles les représentations hiérarchiques sont construites pour améliorer l’efficacité de leurs applications en présence de bruit. Il est démontré que le bruit a un impact sur la structure arborescente, et cet impact est lié à certains types de fonctionnelles dans le cas où les hiérarchies sont contraintes par une énergie. *Résumé* (en anglais): Image processing libraries play an important role in the researcher toolset and should respect three criteria: genericity, performance, and interactivity. In short, genericity boosts code reuse and algorithm flexibility for various data inputs, while performance speeds up experiments and supports real-time applications. Additionally, interactivity allows software evolution and maintenance without full recompilation, often through integration with dynamic languages like Python or Julia. The first two criteria are not straightforward to reach with static languages such as C++ or Rust which require knowing some information at compile-time to optimize generated machine code related to the different input and output data types of an algorithm. The latest criterion usually requires waiting until runtime to obtain type information and is thus performed at the cost of runtime efficiency. The work presented in this thesis aims to go beyond this limitation in the context of image processing algorithms. To do so, a methodology to develop generic algorithms whose type information about its input and output data may be known either at compile-time or at runtime is presented. This methodology is evaluated on different image processing algorithmic schemes, and it is concluded that the performance gap between the runtime and compile-time versions of the construction algorithm for hierarchical representations of images is negligible. As an application, hierarchical representations are employed to expand the applicability of grayscale noise level estimation to color images to enhance its genericity. That raises the importance of studying the impact of such corruption in the hierarchies built on noisy images to improve their efficiency in the presence of noise. It is demonstrated that the noise has an impact on the tree structure, and this impact is related to some kinds of functional in the context of energy optimization on hierarchies. -- Cordialement, Baptiste ESTEBAN ______________________ Current mailing list -- current(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/current.ml.lre.epita.fr// ______________________ Postdocs mailing list -- postdocs(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/postdocs.ml.lre.epita.fr//

9 months, 2 weeks

1
0
0 0

[Postdocs] [Current] TR: [Lrde] [Lrde Annonce] Soutenance de thèse de Anissa Kheireddine

by Thierry Geraud

________________________________ De : akheireddine <akheireddine(a)lrde.epita.fr> Envoyé : mercredi 6 décembre 2023 10:45 À : Annonces du LRDE <annonce(a)lrde.epita.fr> Objet : [Lrde] [Lrde Annonce] Soutenance de thèse de Anissa Kheireddine Bonjour, J'ai le plaisir de vous inviter à la soutenance de ma thèse intitulée : "Contributions au Bounded model-checking basé sur SAT La soutenance sera présentée en français. Elle aura lieu le mardi 19 décembre 2023 à partir de 10h00 (heure de Paris), en Amphi 401, EPITA, 14-16 Rue Voltaire, 94270 Le Kremlin-Bicêtre. Vous êtes cordialement invité au pot qui suivra. Composition du jury: Rapporteur: Vijay Ganesh, Professeur, GT, Georgia Institute of Technology. Rapporteur: Ahmed Bounekkar, Maître de Conférences, ERIC, Université Claude Bernard Lyon 1. Examinatrice: Laure Petrucci, Professeure, LIPN, Université Sorbonne Paris Nord. Examinatrice: Emmannuelle Encrenaz, Professeure, LIP6, Sorbonne Université. Directeur: Souheib Baarir, Enseignant-Chercheur, LRE, EPITA. Encadrant: Étienne Renault, SiPearl. Résumé : Les systèmes informatiques sont devenus omniprésents dans notre vie quotidienne. Garantir la fiabilité et la robustesse de ces systèmes est une nécessité absolue. La Vérification de Modèles (Model Checking) est l'une des approches dédiées à cette fin. Son objectif est de prouver l'absence de défaillances ou d'identifier d'éventuelles erreurs. Le model checking se décline en plusieurs techniques. Parmi celles-ci, on trouve la Vérification de Modèles Bornée (Bounded Model Checking - BMC), une technique qui repose sur la satisfiabilité booléenne (SAT). L'idée centrale derrière le BMC est de vérifier qu'un modèle, limité à des exécutions bornées par un entier k, satisfait sa spécification, définie comme un ensemble d'expressions logiques temporelles. Dans cette approche, les comportements du système sont exprimés sous forme de problèmes SAT. Contrairement à d'autres méthodes de vérification formelle, le BMC basé sur SAT n'est généralement pas sensible au problème de l'explosion de l'espace d'états, ce qui peut poser problème lors de la conception de systèmes impliquant des millions de variables et de contraintes. Cependant, le compromis réside dans la complexité temporelle, car les problèmes SAT sont connus pour être NP-complets. Au cours des dernières décennies, d'importantes avancées ont été réalisées dans la résolution séquentielle de problèmes SAT. Ces développements se sont principalement concentrés sur l'utilisation d'informations dynamiques, acquises lors du processus de résolution (par exemple, l'apprentissage de clauses binaires) ou d'informations statiques, extraites de la structure inhérente du problème SAT (par exemple, la structure en communauté). Toutefois, moins d'attention a été accordée aux informations structurelles du problème initial. Par exemple, lorsque qu'un problème BMC est réduit à une formule booléenne, des données cruciales sont perdues lors de la traduction. Comme le souligne cette thèse, la réintégration de ces informations perdues peut considérablement améliorer le processus de résolution. Ce travail explore des moyens d'améliorer la résolution de problèmes BMC basés sur SAT, tant dans des contextes séquentiels que parallèles, en exploitant et en valorisant les informations pertinentes extraites des caractéristiques inhérentes du problème. Cela peut impliquer l'amélioration d'heuristiques génériques existantes ou la décomposition efficace de la formule en partitions. Cordialement, Anissa Kheireddine ______________________ Annonce mailing list -- annonce(a)lrde.epita.fr https://lists.lrde.epita.fr/postorius/lists/annonce.lrde.epita.fr// ______________________ Lrde mailing list -- lrde(a)lrde.epita.fr https://lists.lrde.epita.fr/postorius/lists/lrde.lrde.epita.fr// ______________________ Current mailing list -- current(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/current.ml.lre.epita.fr// ______________________ Postdocs mailing list -- postdocs(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/postdocs.ml.lre.epita.fr//

9 months, 2 weeks

1
0
0 0

[Docs.lyon] [Docs] [Doctorants] [Séminaire Sécurité/ Systèmes - Jeudi 07/12 à 10h30] , Yackolley Amoussou-Guenou "Ethereum Proof-of-Stake under Scrutiny"

by Ghada Gharbi

Bonjour tout le monde, Dans le cadre des séminaires de l'équipe Sécurité /Systèmes, nous écouterons Yackolley Amoussou-Guenou, MCF à l'Université Paris-Panthéon-Assas et le centre de recherche CRED, jeudi 07/12/2023 à 10h30. Yackolley Amoussou-Gueno nous parlera de ses travaux sur "Ethereum Proof-of-Stake under Scrutiny". Résumé : Ethereum has undergone a recent change called the Merge, which made Ethereum a Proof-of-Stake blockchain shifting closer to BFT consensus. Ethereum, which wished to keep the best of the two protocol designs (BFT and Nakomoto-style), now has a convoluted consensus protocol as its core. The result is a blockchain being possibly produced in a tree-like form while participants try to finalize blocks. We categorize different attacks jeopardizing the liveness of the protocol. The Ethereum community has responded by creating patches against some of them. We discovered a new attack on the patched protocol. To support our analysis, we propose a new high-level formalization of the properties of liveness and availability of the Ethereum blockchain, and we provide a pseudo-code. We believe this formalization to be helpful for other analyses as well. Our results yield that the Ethereum Proof-of-Stake has safety but only probabilistic liveness. The probability of the liveness is influenced by the parameter describing the time frame allowed for validators to change their mind about the current main chain. Joint work with Ulysse Pavloff and Sara Tucci-Piergiovanni (CEA-List, Université Paris-Saclay). Bio : Yackolley Amoussou-Guenou is associated professor (maître de conférences) in computer science at Université Paris-Panthéon-Assas, in the CRED research center. He was previously researcher at CEA-List, Université Paris-Saclay. He holds a PhD from Sorbonne Université and a M.Sc. from Université Paris Cité (ex- Paris-Diderot), both degrees in theoretical computer science. He works on various aspects of distributed systems, and in particular on the blockchain technologies: the consensus protocols, the distribution of rewards, and the use of game theory to study the incentives. More generally, his research interests span from distributed systems to algorithmic game theory and their combination. Cordialement, Ghada Gharbi ________________________________________________________________________________ Réunion Microsoft Teams Participez à partir de votre ordinateur, de votre application mobile ou de l’appareil de la salle Cliquez ici pour rejoindre la réunion<https://teams.microsoft.com/l/meetup-join/19%3ameeting_ZGI5YzFhZGEtZDhiNi00…> ID de la réunion : 355 366 181 466 Code secret : jSvE2T Télécharger Teams<https://www.microsoft.com/en-us/microsoft-teams/download-app> | Rejoindre sur le web<https://www.microsoft.com/microsoft-teams/join-a-meeting> Pour en savoir plus<https://aka.ms/JoinTeamsMeeting> | Options de réunion<https://teams.microsoft.com/meetingOptions/?organizerId=7c5194f6-08ca-45e8-…> ________________________________________________________________________________ ______________________ Doctorants mailing list -- doctorants(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/doctorants.ml.lre.epita.fr// ______________________ Docs mailing list -- docs(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/docs.ml.lre.epita.fr// ______________________ Docs.lyon mailing list -- docs.lyon(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/docs.lyon.ml.lre.epita.fr//

9 months, 2 weeks

1
0
0 0

[Docs.lyon] [Docs] [Doctorants] [Séminaire Sécurité/ Systèmes - Jeudi 07/12 à 10h30] , Yackolley Amoussou-Guenou "Ethereum Proof-of-Stake under Scrutiny"

by Ghada Gharbi

Bonjour tout le monde, Dans le cadre des séminaires de l'équipe Sécurité /Systèmes, nous écouterons Yackolley Amoussou-Guenou, MCF à l'Université Paris-Panthéon-Assas et le centre de recherche CRED, jeudi 07/12/2023 à 10h30. Yackolley Amoussou-Gueno nous parlera de ses travaux sur "Ethereum Proof-of-Stake under Scrutiny". Résumé : Ethereum has undergone a recent change called the Merge, which made Ethereum a Proof-of-Stake blockchain shifting closer to BFT consensus. Ethereum, which wished to keep the best of the two protocol designs (BFT and Nakomoto-style), now has a convoluted consensus protocol as its core. The result is a blockchain being possibly produced in a tree-like form while participants try to finalize blocks. We categorize different attacks jeopardizing the liveness of the protocol. The Ethereum community has responded by creating patches against some of them. We discovered a new attack on the patched protocol. To support our analysis, we propose a new high-level formalization of the properties of liveness and availability of the Ethereum blockchain, and we provide a pseudo-code. We believe this formalization to be helpful for other analyses as well. Our results yield that the Ethereum Proof-of-Stake has safety but only probabilistic liveness. The probability of the liveness is influenced by the parameter describing the time frame allowed for validators to change their mind about the current main chain. Joint work with Ulysse Pavloff and Sara Tucci-Piergiovanni (CEA-List, Université Paris-Saclay). Bio : Yackolley Amoussou-Guenou is associated professor (maître de conférences) in computer science at Université Paris-Panthéon-Assas, in the CRED research center. He was previously researcher at CEA-List, Université Paris-Saclay. He holds a PhD from Sorbonne Université and a M.Sc. from Université Paris Cité (ex- Paris-Diderot), both degrees in theoretical computer science. He works on various aspects of distributed systems, and in particular on the blockchain technologies: the consensus protocols, the distribution of rewards, and the use of game theory to study the incentives. More generally, his research interests span from distributed systems to algorithmic game theory and their combination. Cordialement, Ghada Gharbi ________________________________________________________________________________ Réunion Microsoft Teams Participez à partir de votre ordinateur, de votre application mobile ou de l’appareil de la salle Cliquez ici pour rejoindre la réunion ID de la réunion : 355 366 181 466 Code secret : jSvE2T Télécharger Teams | Rejoindre sur le web Pour en savoir plus | Options de réunion ________________________________________________________________________________ [cid:206faf58-e98c-4f57-afb4-99312c055790]<https://www.epita.fr/> Ghada GHARBI Enseignante - Chercheure EPITA Toulouse [cid:a1051f2e-87b2-4245-b32f-77bd4c872fd3]<https://www.facebook.com/epita/> [cid:51a3bc82-95ba-42e6-a531-a2aae2e65f85] <https://www.instagram.com/epita.national/> [cid:8dfe7ccb-c5af-41ec-9fa3-74e425bab26a] <https://www.linkedin.com/school/epita-ecole-ingenieurs-informatique> [cid:bee4ed5b-f540-4b37-9019-6661a176d062] <https://twitter.com/epita> [cid:76b31b86-fe95-4eb9-82fc-4b8e32c213f2] <https://www.epita.fr/> [cid:b28098f7-14b4-4078-8606-ef5ac44088c8] <https://www.youtube.com/channel/UC33NtVL7bStj4FmWeIstKqg> ______________________ Doctorants mailing list -- doctorants(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/doctorants.ml.lre.epita.fr// ______________________ Docs mailing list -- docs(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/docs.ml.lre.epita.fr// ______________________ Docs.lyon mailing list -- docs.lyon(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/docs.lyon.ml.lre.epita.fr//

9 months, 2 weeks

1
0
0 0

[Docs.lyon] [Docs] Fwd: [Ima.perms.paris] [Perms.paris] [Perms] [Permanents] [Current] Newsletter #14

by Elodie Puybareau

-------- Courriel original -------- Objet: [Ima.perms.paris] [Perms.paris] [Perms] [Permanents] [Current] Newsletter #14 Date: 2023-11-24 13:30 De: Elodie Puybareau <elodie.puybareau(a)epita.fr> À: "current(a)ml.lre.epita.fr" <current(a)ml.lre.epita.fr> Cc: Corentin Gorin <corentin.gorin(a)epita.fr>, florence moreau <florence.moreau(a)epita.fr>, Claire Lecocq <claire.lecocq(a)epita.fr>, Olivier Gendry <olivier.gendry(a)epita.fr>, Fabrice Hesling <fabrice.hesling(a)epita.fr>, Evelyne Rebut <evelyne.rebut(a)epita.fr>, Lionel Brosius <lionel.brosius(a)epita.fr> Bonjour ! La Newsletter de novembre du LRE est accessible en ligne ici [1] ! Bonne journée ! Links: ------ [1] https://epitafr.sharepoint.com/:b:/s/Communication_LRE/ESTO8TBljQRIvsBtdpco… ______________________ Current mailing list -- current(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/current.ml.lre.epita.fr// ______________________ Permanents mailing list -- permanents(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/permanents.ml.lre.epita.fr// ______________________ Perms mailing list -- perms(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/perms.ml.lre.epita.fr// ______________________ Perms.paris mailing list -- perms.paris(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/perms.paris.ml.lre.epita.fr// ______________________ Ima.perms.paris mailing list -- ima.perms.paris(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/ima.perms.paris.ml.lre.epita.fr… -- Elodie Puybareau Enseignante Chercheure // Assistant Professor LRE, EPITA 24, rue Pasteur 94270 Le Kremlin-Bicêtre ______________________ Docs mailing list -- docs(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/docs.ml.lre.epita.fr// ______________________ Docs.lyon mailing list -- docs.lyon(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/docs.lyon.ml.lre.epita.fr//

10 months

1
0
0 0

[Docs.strasbourg] [Strasbourg] Séminaire recherche lundi

by Pierre Parrend

Salut à tous, On relance lundi les séminaires interne recherche. Merci à chacun de préparer 4 slides (+ page de titre) pour une prés de 10 min, avec le contenu suivant : * sujet de recherche * résultats récents * projets et partenariats en cours * publication en cours L'ordre du jour est : * 1h: avancement de chacun * 1h: Roadmap 'Recherche SXB' * En particulier: évènements et séminaires ++, Pierre [Une image contenant texte, clipart, signe Description générée automatiquement]<https://www.epita.fr/> Pierre PARREND LRE - Laboratoire de Recherche de l'EPITA - Directeur Adjoint Resp Equipe Sécu-Systèmes Professeur HDR [cid:image002.png@01D9EC6C.F011C5E0]<https://www.facebook.com/StrasbourgEPITA> [cid:image003.png@01D9EC6C.F011C5E0] <https://www.instagram.com/epita_strasbourg/> [cid:image004.png@01D9EC6C.F011C5E0] <https://www.linkedin.com/school/epita-ecole-ingenieurs-informatique> [cid:image005.png@01D9EC6C.F011C5E0] <https://twitter.com/epita> [cid:image006.png@01D9EC6C.F011C5E0] <https://www.epita.fr/> [Une image contenant texte, clipart Description générée automatiquement] <https://www.youtube.com/channel/UC33NtVL7bStj4FmWeIstKqg> 03 67 18 04 01 [cid:image008.png@01D9EC6C.F011C5E0] ______________________ Strasbourg mailing list -- strasbourg(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/strasbourg.ml.lre.epita.fr// ______________________ Docs.strasbourg mailing list -- docs.strasbourg(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/docs.strasbourg.ml.lre.epita.fr…

12 months

1
0
0 0

Test (1/3)

by Pierre Parrend

Salut les doctorants, Ceci est un test. p. [Une image contenant texte, clipart, signe Description générée automatiquement]<https://www.epita.fr/> Pierre PARREND LRE - Laboratoire de Recherche de l'EPITA - Directeur Adjoint en charge de la coordination nationale Resp Equipe Sécu-Systèmes Professeur HDR [cid:image002.png@01D9C099.AFDD8580]<https://www.facebook.com/StrasbourgEPITA> [cid:image003.png@01D9C099.AFDD8580] <https://www.instagram.com/epita_strasbourg/> [cid:image004.png@01D9C099.AFDD8580] <https://www.linkedin.com/school/epita-ecole-ingenieurs-informatique> [cid:image005.png@01D9C099.AFDD8580] <https://twitter.com/epita> [cid:image006.png@01D9C099.AFDD8580] <https://www.epita.fr/> [Une image contenant texte, clipart Description générée automatiquement] <https://www.youtube.com/channel/UC33NtVL7bStj4FmWeIstKqg> 03 67 18 04 01 [cid:image008.png@01D9C099.AFDD8580]

1 year, 1 month

1
1
0 0

[Doctorants] [Current] Newsletter #12

by Elodie Puybareau

[Capture d’écran 2023-07-27 à 15.30.27] Newsletter #12 du LRE Bonjour ! Voici la dernière Newsletter avant les vacances, il s'en est passé des choses encore ce mois-ci ! Et n'oubliez pas, si vous avez une information à faire remonter, écrivez un mail avec [News] en objet à news(a)ml.lre.epita.fr et elodie.puybareau(a)epita.fr ! Bonnes vacances ! Récompenses [IMG_8363] Félicitations ! L'équipe Automates et Applications s'est distinguée à l'occasion de deux compétitions : * A l'International Parallel SAT Competition 2023<https://djdbt504.eu1.hubspotlinksfree.com/Ctc/RL+113/djDBt504/VWZNXJ4sVWDGW…>, leur outil, Painless<https://djdbt504.eu1.hubspotlinksfree.com/Ctc/RL+113/djDBt504/VWZNXJ4sVWDGW…>, a été récompensé de la médaille de bronze. * A Syntcomp<https://djdbt504.eu1.hubspotlinksfree.com/Ctc/RL+113/djDBt504/VWZNXJ4sVWDGW…>, l'équipe a terminé 1ere sur l'épreuve "Sequential Synthesis of parity games" et 2e sur "Sequential LTL realizability" et "Sequential LTL synthesis" Rayonnement National [humanistica-logo] "Humanistica est l’association francophone des humanités numériques/digitales. Elle cherche à réunir autour d’actions communes toutes les personnes intéressées par le mouvement des digital humanities telles qu’elles peuvent s’exercer et se penser en langue française. " En savoir plus<https://djdbt504.eu1.hubspotlinksfree.com/Ctc/RL+113/djDBt504/VWZNXJ4sVWDGW…> [Capture d’écran 2023-07-27 à 16.56.20] Marie Puren a été élue le 13 Juillet présidente de l'association Humanistica. Félicitations ! Nicolas Boutry est passé dans l'émission "La nuit de l'IA" le 5 Juillet sur BFM Buisiness, vers 2h32. Revoir l'émission ici<https://djdbt504.eu1.hubspotlinksfree.com/Ctc/RL+113/djDBt504/VWZNXJ4sVWDGW…> Nicolas Boutry va également passer sur France 2, sur le sujet "Comment l’IA se nourrit d’elle-même avec nos comportements, nos actions, etc.". La date de diffusion n'est pas encore connue, plus d'informations à venir... Collaborations [logoOPPSL] En savoir plus<https://djdbt504.eu1.hubspotlinksfree.com/Ctc/RL+113/djDBt504/VWZNXJ4sVWDGW…> Dans la continuité du rapprochement initié avec l'IMCCE (Observatoire de Paris - PSL), Guillaume Tochon est maintenant chercheur associé avec l'IMCCE pour une durée de 2 ans. Evènement Marie Puren organise la conférence Computational Humanities Research (CHR) à l'EPITA du 6 au 8 décembre. Les keynotes speakers sont les suivants : Richard McElreath (Max Planck Institute for Evolutionary Anthropology, Germany), Roberta Sinatra (University of Copenhagen) et Olivier Morin (Institut Jean Nicod, PSL, France). Il y aura également un workshop consacré à la manipulation des données géographiques par Giovanni-Pietro Vitali (UVSQ). En savoir plus sur la conférence<https://djdbt504.eu1.hubspotlinksfree.com/Ctc/RL+113/djDBt504/VWZNXJ4sVWDGW…> Ajoutez l'évènement à votre agenda ! Apple<https://djdbt504.eu1.hubspotlinksfree.com/Ctc/RL+113/djDBt504/VWZNXJ4sVWDGW…> • Google<https://djdbt504.eu1.hubspotlinksfree.com/Ctc/RL+113/djDBt504/VWZNXJ4sVWDGW…> • Office 365<https://djdbt504.eu1.hubspotlinksfree.com/Ctc/RL+113/djDBt504/VWZNXJ4sVWDGW…> • Outlook Web<https://djdbt504.eu1.hubspotlinksfree.com/Ctc/RL+113/djDBt504/VWZNXJ4sVWDGW…> • Outlook<https://djdbt504.eu1.hubspotlinksfree.com/Ctc/RL+113/djDBt504/VWZNXJ4sVWDGW…> • Yahoo<https://djdbt504.eu1.hubspotlinksfree.com/Ctc/RL+113/djDBt504/VWZNXJ4sVWDGW…> Un atelier sera co-colocalisé avec la conférence, et sera organisé le jour précédent le début de CHR. Il portera sur BookNLP et sera animé par Thierry Poibeau (LATTICE/ENS) et David Bamman (UC Berkeley) Pour en savoir plus sur le projet BookNLP, c'est par ici<https://djdbt504.eu1.hubspotlinksfree.com/Ctc/RL+113/djDBt504/VWZNXJ4sVWDGW…> Publications * Marie Puren est intervenue le 26 Juin à la conférence Humanistica sur : "Explorer les débats parlementaires français de la Troisième République par leurs sujets : Une approche méthodologique pour étudier de grands corpus de textes historiques". L'article est disponible ici<https://djdbt504.eu1.hubspotlinksfree.com/Ctc/RL+113/djDBt504/VWZNXJ4sVWDGW…> ! * Nicolas Boutry a deux articles de journaux acceptés dans JMIV : "Discrete Morse Functions and Watersheds" et "Introducing PC n-Manifolds and P-well-composedness in Partially Ordered Sets" * Philipp Schlehuber a un article accepté à FORMATS 2023 dans le cadre de l'ANR ticktac, intitulé "Layered controller synthesis for dynamic multi-agent systems" * Marie Puren a effectué une intervention sur "Colette, Curnonsky and the Willy workshop: assessing relative contributions and influences beyond "collaborative authorship" à la conférence Digital Humanities 2023. Et n'oubliez pas ! Participez au questionnaire sur la refonte de l'intranet ici<https://djdbt504.eu1.hubspotlinksfree.com/Ctc/RL+113/djDBt504/VWZNXJ4sVWDGW…> ! Newsletter #12 28 Juillet 2023 ______________________ Current mailing list -- current(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/current.ml.lre.epita.fr// ______________________ Doctorants mailing list -- doctorants(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/doctorants.ml.lre.epita.fr//

1 year, 1 month

1
1
0 0

[Strasbourg] test - RSVP

by Pierre Parrend

[Une image contenant texte, clipart, signe Description générée automatiquement]<https://www.epita.fr/> Pierre PARREND LRE - Laboratoire de Recherche de l'EPITA - Directeur Adjoint en charge de la coordination nationale Resp Equipe Sécu-Systèmes Professeur HDR [cid:image002.png@01D9BE1F.5520B210]<https://www.facebook.com/StrasbourgEPITA> [cid:image003.png@01D9BE1F.5520B210] <https://www.instagram.com/epita_strasbourg/> [cid:image004.png@01D9BE1F.5520B210] <https://www.linkedin.com/school/epita-ecole-ingenieurs-informatique> [cid:image005.png@01D9BE1F.5520B210] <https://twitter.com/epita> [cid:image006.png@01D9BE1F.5520B210] <https://www.epita.fr/> [Une image contenant texte, clipart Description générée automatiquement] <https://www.youtube.com/channel/UC33NtVL7bStj4FmWeIstKqg> 03 67 18 04 01 [cid:image008.png@01D9BE1F.5520B210] ______________________ Strasbourg mailing list -- strasbourg(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/strasbourg.ml.lre.epita.fr//

1 year, 1 month

1
0
0 0

2024

2023

Mnshs.docs.strasbourg ----- 2024 ----- September 2024 August 2024 July 2024 June 2024 May 2024 April 2024 March 2024 February 2024 January 2024 ----- 2023 ----- December 2023 November 2023 October 2023 September 2023 August 2023 July 2023

Mnshs.docs.strasbourg