Programme
| Heures |
événement |
|
|
11:00 - 12:30
|
Accueil - Accueil |
|
|
12:30 - 14:00
|
Déjeuner (RU lombarderie) |
|
|
14:00 - 16:00
|
Langages de programmation probabilistes (Amphi) - Christine Tasson et Guillaume Baudart |
|
|
16:00 - 16:30
|
Pause café (Hall bâtiment 34) |
|
|
16:30 - 18:30
|
Présentation CNU et section 6 CoNRS (Amphi) - Morgan Magnin - Jérémie Bourdon |
|
| Heures |
événement |
|
|
09:00 - 09:30
|
Common information in well-mixing graphs and applications to information-theoretic cryptography (Amphi) - Geoffroy Caillat-Grenier, Andrei Romashchenko, Rustam Zyavgarov |
|
|
09:30 - 10:00
|
Un système de type linéaire pour l'analyse de sensibilité selon les métriques Lp (Amphi) - Victor Sannier, Patrick Baillot |
|
|
10:00 - 10:30
|
Pause café (Hall bâtiment 34) |
|
|
10:30 - 12:30
|
Langages de programmation probabilistes (Amphi) - Christine Tasson et Guillaume Baudart |
|
|
12:30 - 14:00
|
Déjeuner (RU lombarderie) |
|
|
14:00 - 16:00
|
Combinatoire et applications en probabilité (Amphi) - Mathilde Bouvel |
|
|
16:00 - 18:00
|
Pause café (Hall bâtiment 34) |
|
| Heures |
événement |
|
|
08:30 - 09:30
|
Complexité et sécurité dans un cadre probabiliste (Amphi) - Marine Minier |
|
|
09:30 - 10:00
|
Pause café (Hall bâtiment 34) |
|
|
10:00 - 12:00
|
Complexité et sécurité dans un cadre probabiliste (Amphi) - Marine Minier |
|
|
12:00 - 13:00
|
Déjeuner (RU lombarderie) |
|
|
13:00 - 15:00
|
Combinatoire et applications en probabilité (Amphi) - Mathilde Bouvel |
|
|
16:00 - 19:00
|
Visite des Machines de l'Île - https://www.lesmachines-nantes.fr |
|
|
19:00 - 23:00
|
Apéritif dînatoire, Cañas y Tapas - https://www.canasytapas-nantes.fr |
|
| Heures |
événement |
|
|
09:30 - 10:00
|
Pause café (Hall bâtiment 34) |
|
|
10:00 - 12:00
|
Bio-informatique et probabilités (Amphi) - Romain Azaïs |
|
|
12:00 - 13:30
|
Déjeuner (RU lombarderie) |
|
|
13:30 - 15:30
|
Bio-informatique et probabilités (Amphi) - Romain Azaïs |
|
|
15:30 - 16:00
|
Pause café (Hall bâtiment 34) |
|
|
16:00 - 16:30
|
Element-free probability distributions and random partitions (Amphi) - Victor Blanchi, Hugo Paquet |
|
|
16:30 - 17:00
|
Inférence de protéines : le modèle Global Spectrum Interpretation (Amphi) - Aurélien Berthier, Emile Benoist, Guillaume Fertin, Géraldine Jean, , Helene Rogniaux |
|
|
17:00 - 17:30
|
Vers la résolution de l'identification de peptides en peptidomique avec ProSpect (Amphi) - Emile Benoist, Guillaume Fertin, Géraldine Jean, Hélène Rogniaux, Dominique Tessier |
|
| Heures |
événement |
|
|
08:00 - 10:00
|
Vérification de logiques probabilistes (Amphi) - Damien Busatto-Gaston |
|
|
10:00 - 10:30
|
Pause café (Hall bâtiment 34) |
|
|
10:30 - 12:30
|
Vérification de logiques probabilistes (Amphi) - Damien Busatto-Gaston |
|
|
12:30 - 14:00
|
Déjeuner (RU lombarderie) |
|
|
14:00 - 14:00
|
Fin de l'école - Fin de l'école |
|
|
