Recrutement pour une chaire de professeur junior « IA pour les sciences »
L'université de Caen et le GREYC recrutent un.e professeur.e pour une chaire de professeur junior en "IA pour les sciences". L'offre est disponible sur le site internet de l'université et … Continue reading Recrutement pour une chaire de professeur junior « IA pour les sciences »
Blended Intensive Program on Artificial Intelligence for Science
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. Ce BIP explorera l'utilisation … Continue reading Blended Intensive Program on Artificial Intelligence for Science
Séminaire Algorithmique : « StarMalloc : un allocateur de mémoire moderne renforcé formellement vérifié », Antonin Reitz (équipe Prosecco, INRIA Paris)
Sciences 3- S3 351Malgré 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 … Continue reading Séminaire Algorithmique : « StarMalloc : un allocateur de mémoire moderne renforcé formellement vérifié », Antonin Reitz (équipe Prosecco, INRIA Paris)