A bientôt pour les prochaines RAIM à Nancy !

A bientôt pour les prochaines RAIM à Nancy !
Les journées RAIM auront lieu cette année à Nantes du 2 au 4 novembre 2022.
https://raim2022.sciencesconf.org/
Merci à notre organisatrice Anastasia Volkova
Les RAIM 2021 sont terminées !
Un succès avec 86 inscrits et souvent plus de 50 participants !
Merci à nos organisateurs, Thibault Hilaire et Théo Mary (LIP6, Sorbonne Université, CNRS) !
Les 12èmes Rencontres « Arithmétique de l’Informatique Mathématique » (RAIM) auront lieu cette année en virtuel du 26 au 28 Mai 2021 !
https://raim2021.sciencesconf.org/
Merci à nos organisateurs, Thibault Hilaire et Théo Mary (LIP6, Sorbonne Université, CNRS) !
Au vu de la situation, nous avons estimé que prévoir des RAIM en présentiel à l’automne, comme d’habitude, n’est pas souhaitable.
Nous souhaitons néanmoins avoir votre avis sur les prochaines RAIM et comment garder le contact. Veuillez donc remplir le sondage suivant :
avant le 1er juillet.
C’est la fin des RAIM, les journées de notre GT, merci à tous les participants et intervenants !
Au cours de notre AG, nous avons élu Laurent-Stéphane Didier comme co-responsable de notre GT avec Sylvie Boldo.
Le programme des RAIM 2019 est en ligne. Rappel: c’est à Toulon du 27 au 29 novembre 2019.
Les prochaines RAIM auront lieu à Toulon du 27 au 29 novembre 2019.
Les propositions d’exposé sont les bienvenues, contactez Laurent-Stéphane Didier et Sylvie Boldo.Le GT Arith vise à réunir autour de l’arithmétique informatique différents acteurs, du GDR IM mais pas seulement, tout en gardant comme point d’ancrage l’arithmétique des ordinateurs historiquement à son origine.
Chaque communauté construit très souvent ses propres algorithmes, ses propres outils, pour répondre au mieux à ses problèmes. Les réponses sont souvent originales et pleines d’intérêt. Se retrouvent ainsi parmi les thèmes développés par les membres du GT, comme dans les programmes des RAIM : systèmes dynamiques, cryptographie, logique, géométrie discrète, géométrique numérique, numération, calculabilité, preuves, vérification, analyse d’algorithmes, algorithmique numérique, calcul scientifique, calcul formel et bien sûr l’arithmétique des ordinateurs avec ses aspects tant logiciels que matériels.
Le groupe de travail « arithmétique » organise chaque année les RAIM. Ces Rencontres autour de l’Arithmétique de l’Informatique Mathématique sont composées de sessions thématiques variées qui illustrent comment l’arithmétique informatique prend forme selon les domaines mentionnés plus haut.
L’enjeu est scientifique mais aussi humain. Par le biais de l’arithmétique, nos étudiants ont ainsi l’opportunité de présenter leurs travaux à une communauté plus large pouvant leur offrir des possibilités de carrière scientifique.
Si vous êtes intéressés par ce groupe de travail, contactez-nous en envoyant votre adresse de messagerie électronique et votre thématique principale de recherche. Vous pouvez également accéder au contenu de la liste de diffusion du GT.