RAIM 2016 : 8ème Rencontres Arithmétique de l'Informatique Mathématique

28-30 juin 2016 - Banyuls-sur-mer (France)

banyuls03.jpg

Présentation

Les 8-èmes Rencontres Arithmétique de l'Informatique auront lieu du mardi 28 juin au jeudi 30 juin 2016 à l' observatoire océanographique de Banyuls-sur-mer dans les Pyrénées Orientales en France. 

Ces Rencontres Arithmétique de l'Informatique Mathématique 2016 aborderont les problèmes liés à l'arithmétique pour les thèmes principaux du GT arithmétique du GDR IM : arithmétique des ordinateurs, validation numérique et preuve formelle, calcul formel, calcul scientifique, geométrie arithmétique, cryptographie, calcul haute performance.  Les exposés seront organisés en sessions avec un cours (1h) et deux ou trois exposés courts (30mn).


Les sessions seront les suivantes:

Session 1 : Arithmétique flottante - Mioara Joldes (LAAS, CNRS, Toulouse)

Session 2 : Calcul formel - Pascal Giorgi (LIRMM, Université de Montpellier)

Session 3 : Reproductibilité, Validation et Vérification - Guillaume Revy (DALI/LIRMM, UP)

Session 4 : Opérateurs - Christoph Lauter (LIP6, UPMC)

Session 5 : Arithmétique et Cryptographie - Christophe Negre (DALI/LIRMM, UP)

 

Appel à soumission


Date limite de soumission : lundi 4 avril 2016

Les doctorants et jeunes docteurs émargeant au GT arithmétique du GDR IM sont invités à soumettre un titre et un résumé pour un exposé aux RAIM afin de faire connaître leurs travaux au reste de la communauté. Ces soumissions se font dans l'onglet "Soumission" de ce site.

Hébergement

Nous disposons de 50 chambres individuelles pour les RAIM 2016 à la résidence du laboratoire Arago de Banyuls-sur-Mer pour le lundi 27 juin, le mardi 28 juin et le mercredi 29 juin. Date limite pour les réservations : le 6 juin.

VGCentreHebergement_FGuerra_2014_v1.jpg

L'hébergement et les petits-déjeuners sont à votre charge (60 euros pour une nuit et 2,5 euros par petit-déjeuner). Merci de les régler directement auprès du secrétariat de la résidence le jour de votre arrivée (ouvert jusqu'à 17h) ou le lendemain matin en cas d'arrivée tardive.

Les RAIM prennent en charge les repas et pauses café du 28 juin au matin au 30 juin midi.


 

Personnes connectées : 1