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:20260422T012338
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:20260422T012338
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:20260422T012338
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:20240720T080000
DTEND;TZID=Europe/Paris:20240910T170000
DTSTAMP:20260422T012338
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