BEGIN:VCALENDAR VERSION:2.0 PRODID:-//GREYC UMR CNRS 6072 - Groupe de Recherche en Informatique, Image, et Instrumentation de Caen - ECPv5.7.0//NONSGML v1.0//EN CALSCALE:GREGORIAN METHOD:PUBLISH X-WR-CALNAME:GREYC UMR CNRS 6072 - Groupe de Recherche en Informatique, Image, et Instrumentation de Caen X-ORIGINAL-URL:https://www.greyc.fr X-WR-CALDESC:évènements pour GREYC UMR CNRS 6072 - Groupe de Recherche en Informatique, Image, et Instrumentation de Caen BEGIN:VTIMEZONE TZID:Europe/Paris BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:20240331T010000 END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:20241027T010000 END:STANDARD END:VTIMEZONE BEGIN:VEVENT DTSTART;TZID=Europe/Paris:20240531T080000 DTEND;TZID=Europe/Paris:20240915T160000 DTSTAMP:20260628T113220 CREATED:20240531T131443Z LAST-MODIFIED:20240625T121036Z UID:11537-1717142400-1726416000@www.greyc.fr SUMMARY:Recrutement pour une chaire de professeur junior "IA pour les sciences" DESCRIPTION:L’université de Caen et le GREYC recrutent un.e professeur.e pour une chaire de professeur junior en « IA pour les sciences ». \nL’offre est disponible sur le site internet de l’université et sur EURAXESS. \n\n\n\n\nLes candidatures sont ouvertes du 31 mai 2024\, 10h00 (heure de Paris) au 15 Septembre 2024\, 16h00 (heure de Paris). Les dossiers de candidature sont à déposer sur Galaxie. URL:https://www.greyc.fr/event/recrutement-dune-chaire-de-professeur-junior-ia-pour-les-sciences/ CATEGORIES:General,News END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/Paris:20240626T080000 DTEND;TZID=Europe/Paris:20240830T170000 DTSTAMP:20260628T113220 CREATED:20240626T073500Z LAST-MODIFIED:20240626T073718Z UID:11623-1719388800-1725037200@www.greyc.fr SUMMARY:Blended Intensive Program on Artificial Intelligence for Science DESCRIPTION:Des chercheurs du GREYC organisent un European Blended Intensive Program (BIP) sur le thème de « l’IA pour la Science » à Caen du 26 au 30 Août.\nCe BIP explorera l’utilisation de l’intelligence artificielle (IA) comme outil pour faire avancer la recherche scientifique et réaliser de nouvelles découvertes dans divers domaines de la science.\n\n\nPlus d’informations sont disponibles sur : https://acrosseu.unicaen.fr/evenement/bip-artificial-intelligence-for-science/\nLien d’inscription : https://unicaen.moveonfr.com/form/651fcf4cabd14bc918074bce/eng\n\n\nConsultez le programme ici URL:https://www.greyc.fr/event/blended-intensive-program-on-artificial-intelligence-for-science/ CATEGORIES:General,Image,News END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/Paris:20240702T100000 DTEND;TZID=Europe/Paris:20240702T110000 DTSTAMP:20260628T113220 CREATED:20240606T114646Z LAST-MODIFIED:20240628T073330Z UID:11597-1719914400-1719918000@www.greyc.fr SUMMARY:Séminaire Algorithmique : « StarMalloc : un allocateur de mémoire moderne renforcé formellement vérifié »\, Antonin Reitz (équipe Prosecco\, INRIA Paris) DESCRIPTION:Malgré la popularisation de langages modernes qui permettent une gestion sûre de la mémoire\, C et C++ restent des langages de choix pour le développement de nombreux logiciels très couramment utilisés. Si ces langages permettent d’obtenir de bonnes performances\, ils sont particulièrement vulnérables aux attaques par corruption mémoire.  Des études récentes estiment que des erreurs de gestion de la mémoire\, telles que des dépassements de tampon\, sont la cause principale de 70% des vulnérabilités dans des logiciels très utilisés comme Android ou Google Chrome. \nPour contrer ces attaques\, les allocateurs mémoire modernes adoptent généralement un design orienté pour la sécurité\, qui permet de limiter le risque de corruption mémoire.  Dans cet exposé\, nous présentons StarMalloc\, un allocateur moderne orienté pour la sécurité vérifié formellement en utilisant l’assistant de preuve F* et la logique de séparation concurrente Steel. Nous montrons comment spécifier et vérifier les invariants de cet allocateur\, dont l’architecture est inspirée de celle de hardened_malloc\, ainsi que la correction des mécanismes de sécurité implémentés. Enfin\, nous présentons des résultats expérimentaux comparant StarMalloc à d’autre allocateurs\, en évaluant leur performance sur différentes applications\, dont le navigateur Firefox. URL:https://www.greyc.fr/event/seminaire-algorithmique-titre-a-venir-antonin-reitz-equipe-prosecco-inria-paris/ LOCATION:Sciences 3- S3 351 CATEGORIES:Amacc,General,News,Séminaire Algo END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/Paris:20240711T140000 DTEND;TZID=Europe/Paris:20240711T150000 DTSTAMP:20260628T113220 CREATED:20240703T121349Z LAST-MODIFIED:20240703T121349Z UID:11628-1720706400-1720710000@www.greyc.fr SUMMARY:Séminaire IMAGE : "Phase Retrieval with Bregman-based Geometry"\, Jean-Jacques Godem DESCRIPTION:Nous aurons le plaisir d’écouter Jean-Jacques Godem\, doctorant de l’équipe IMAGE du GREYC\, qui vient de soutenir sa thèse.\nIl donnera un séminaire IMAGE\, le jeudi 11 juillet 2024\, à 14h00\, en salle de séminaire F-200. \nTitre: « Phase Retrieval with Bregman-based Geometry » \nRésumé: \nIn this work\, we investigate the phase retrieval problem of real-valued signals in finite dimension\, a challenge encountered across various scientific and engineering disciplines. It explores two complementary approaches: retrieval with and without regularization. In both settings\, our work is focused on relaxing the Lipschitz-smoothness assumption generally required by first-order splitting algorithms\, and which is not valid for phase retrieval cast as a minimization problem. The key idea here is to replace the Euclidean geometry by a non-Euclidean Bregman divergence associated to an appropriate kernel. We use a Bregman gradient/mirror descent algorithm with this divergence to solve the phase retrieval problem without regularization\, and we show exact (up to a global sign) recovery both in a deterministic setting and with high probability for a sufficient number of random measurements (Gaussian and Coded Diffraction Patterns). Furthermore\, we establish the robustness of this approach against small additive noise. Shifting to regularized phase retrieval\, we first develop and analyze an Inertial Bregman Proximal Gradient algorithm for minimizing the sum of two functions in finite dimension\, one of which is convex and possibly nonsmooth and the second is relatively smooth in the Bregman geometry. We provide both global and local convergence guarantees for this algorithm. Finally\, we study noiseless and stable recovery of low complexity regularized phase retrieval. For this\, we formulate the problem as the minimization of an objective functional involving a nonconvex smooth data fidelity term and a convex regularizer promoting solutions conforming to some notion of low-complexity related to their nonsmoothness points. We establish conditions for exact and stable recovery and provide sample complexity bounds for random measurements to ensure that these conditions hold. These sample bounds depend on the low complexity of the signals to be recovered. Our new results allow to go far beyond the case of sparse phase retrieval. \nKeywords: phase retrieval\, inverse problems\, stability to noise\, inertial Bregman proximal gradient\, partly smooth function\, trap avoidance\, variational regularization\, sparsity\, exact recovery\, low complexity prior\, robustness. URL:https://www.greyc.fr/event/seminaire-image-phase-retrieval-with-bregman-based-geometry-jean-jacques-godem/ LOCATION:ENSICAEN – Batiment F – Salle F-200\, 6 Bd Maréchal Juin\, Caen\, 14050\, France CATEGORIES:Image,Seminaire Image END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/Paris:20240720T080000 DTEND;TZID=Europe/Paris:20240910T170000 DTSTAMP:20260628T113221 CREATED:20240720T160954Z LAST-MODIFIED:20240720T161729Z UID:11635-1721462400-1725987600@www.greyc.fr SUMMARY:Recrutement pour une chaire de professeur junior « Intelligence Artificielle pour la Cybersécurité » DESCRIPTION:L’ENSICAEN et le GREYC recrutent un.e professeur.e pour une chaire de professeur junior en  » Intelligence Artificielle pour la Cybersécurité ». \nL’offre est disponible sur EURAXESS et dans la fiche de poste. \nLes candidatures sont ouvertes jusqu’au 10 Septembre 2024\, 16h00 (heure de Paris). Les dossiers de candidature sont à déposer sur Galaxie. URL:https://www.greyc.fr/event/recrutement-pour-une-chaire-de-professeur-junior-intelligence-artificielle-pour-la-cybersecurite/ CATEGORIES:General,News END:VEVENT END:VCALENDAR