Mathématiques expérimentales: méthodes et pratiques

	MathExp 2018 "Mathématiques expérimentales: méthodes et pratiques" 21 mai-1 juin 2018 Saint Flour (France)
(crédit image: Arnaud Chéritat)

MathExp 2018

L'école et l'atelier MathExp 2018 auront lieu du 21 mai au 1 juin à Saint-Flour dans le Cantal. Cet évènement est à destination des jeunes chercheur·euses francophones en mathématiques ou informatique fondamentales qui voudraient intégrer l'expérimentation informatique dans leur activité de recherche.

Le but de l'école MathExp (semaine 1) est d'introduire des outils permettant cette expérimentation. L'atelier MathExp (semaine 2) permettra aux jeunes chercheur·euses de développer des programmes en relation avec leur projet de recherche, et éventuellement les intégrer à des logiciels existants.

L'école et l'atelier sont indépendants mais forment un tout cohérent. Les participant·es sont encouragé·es à venir pour les deux évènements. Vous pouvez vous préinscrire dès à présent en utilisant le lien "Préinscription" dans le menu de gauche.

Ecole (21-25 mai)

Chaque matinée de l'école MathExp sera faite de deux séances de cours de 1h30, il y aura 4 cours au total (résumes sur la page emploi du temps):

Ana Bušić (Paris) : aspects probabilistes, chaines de Markov
Xavier Goaoc (Marne-la-Vallée) : aspects géométriques
Bruno Salvy (Lyon) : aspects calcul formel
Michaël Rao (Lyon) : aspects combinatoires, attaque de conjectures

Les après-midi seront consacrés aux travaux pratiques sur machine en autonomie (seul·es ou en groupe). Les participant·es travailleront en fonction de leurs niveaux et centres d'intérêt. Les supports pédagogiques seront publiés sous licence libre. En plus des thèmes abordés lors des cours, ils aborderont:

Découverte de certains logiciels existants adaptés au profil des participant·es : Sage, PARI/GP, CGAL, GAP, etc.
Techniques générales de résolution de problèmes : recherche en profondeur (e.g. dancing links), programmation linéaire réelle et entière, solveurs SAT, automates et chaînes de Markov, bases de Gröbner, réduction mod p et reconstruction rationnelle, etc.
Techniques et bonnes pratiques de programmation : représentations des nombres (sensibilisation des problèmes liés aux calculs en flottants, entiers en précision arbitraire, nombres algébriques, ...), algèbre linéaire creuse, évaluation paresseuse, parallélisme, reproductibilité des calculs, etc.
Outils de développement : gestionnaires de version (git, mercurial, svn), forges (trac, gitlab), profilage (valgrind), débogueurs (gdb, pdb), etc.

Ils seront encadrés par Vincent Delecroix, Nadia Lafrenière, Mélodie Lapointe, Thierry Monteil et Élise Vandomme (cette liste est non exhaustive).

Atelier (28 mai - 1 juin)

L'atelier MathExp permettra aux jeunes chercheur·euses de développer des programmes en relation avec leur projet de recherche. Le fonctionnement sera plus informel, essentiellement centré sur des ateliers en petits groupes et des discussions, sur le modèle des Sage Days, GAP Days, Ateliers PARI/GP. Cette semaine sera aussi ouverte aux développeur·euses aguérri·es afin de favoriser les rencontres et l'intégration des jeunes chercheur·euses sur le plus long terme. L'atelier se composera de :

petits groupes de travail autour des projets de recherche des participant·es.
présentations techniques courtes sur la prise en main de tel outil de développement.
présentations des participant·es (créneaux de 15 ou 30 minutes).
rapports d'étape (20 min en fin de journée).

Personnes connectées : 1