Cette page énumère tout ce à quoi j'ai pris part depuis le début de ma thèse (ou un peu avant). Ce n'est donc pas un curriculum vitae, mais plutôt un aide-mémoire.

Activités scientifiques

Séminaires d'équipe

• Géométrica à l'INRIA Sophia-Antipolis, le 25 novembre 2004.
• Logical/Proval à l'École Polytechnique, le 15 avril 2005.
• Dali à l'Université de Perpignan, le 9 juin 2005.
• Intel Hillsboro, le 22 juin 2005.
• Calfor/Salsa au LIP6 Paris, le 10 mars 2006.
• Lama/Plume à Chambéry, le 18 janvier 2007.
• Cacao au LORIA, le 8 février 2007.
• Micelab à l'Université de Gérone, les 8 et 15 mars 2007.
• Géométrica à l'INRIA Sophia-Antipolis, le 5 juin 2007.
• Cacao au LORIA, le 7 février 2008.
• Marelle à l'INRIA Sophia-Antipolis, le 12 février 2008.
• Typical à l'École Polytechnique, le 15 février 2008.
• Arénaire à l'ÉNS Lyon, le 25 avril 2008.
• Gallium à l'INRIA Rocquencourt, le 24 novembre 2008.
• Typical à l'École Polytechnique, le 3 décembre 2009.
• Arénaire à l'ÉNS Lyon, le 18 novembre 2010.

Conférences

• RNC 5. Lyon, du 3 au 5 septembre 2003.
• RNC 6. Schloss Dagsthul, du 15 au 17 novembre 2004.
• ARITH 17. Cape Cod, du 27 au 29 juin 2005.
• IMACS 17. Paris, du 11 ai 15 juillet 2005.
• FLOC '06 - IJCAR 3. Seattle, du 16 au 20 août 2006.
• SCAN '06. Duisburg, du 26 au 29 septembre 2006.
• ARITH 18. Montpellier, du 25 au 27 juin 2007.
• RNC 8. Saint-Jacques de Compostelle, du 7 au 9 juillet 2008.
• IJCAR 4. Sydney, du 10 au 15 août 2008.
• SCAN '08. El Paso, du 29 septembre au 3 octobre 2008.
• ARITH 19. Portland, du 8 au 10 juin 2009.
• Calculemus 16. Grand Bend, du 6 au 7 juillet 2009.
• SCAN '10. Lyon, du 27 au septembre 2010.

Ateliers

• Arinews. Dijon, les 27 et 28 mars 2003.
• Arinews. Lyon, les 17 et 18 novembre 2003.
• Calcul formel, algorithmes certifiés, preuves constructives. Luminy, du 12 au 16 janvier 2004.
• Arinews. Paris (LIP6), les 25 et 26 mai 2004.
• Arinews. Lyon, les 7 et 8 mars 2005.
• Arinews. Perpignan, les 28 et 29 novembre 2005.
• Reliable Implementation of Real Number Algorithms: Theory and Practice. Schloss Dagsthul, du 8 au 13 janvier 2006.
• JNAO. Lyon, du 31 mai au 2 juin 2006.
• TYPES Workshop on Numbers and Proofs. Orsay, les 12 et 13 juin 2006.
• GT Méthodes Ensemblistes pour l'Automatique. Cachan, le 7 décembre 2006.
• RAIM. Montpellier, du 22 au 25 janvier 2007.
• ANR Cerpan. Orsay, le 9 octobre 2007.
• Numerical Validation in Current Hardware Architecture. Schloss Dagstuhl, du 6 au 11 janvier 2008.
• RAIM. Lille, du 3 au 5 juin 2008.
• RAIM. Lyon, du 26 au 28 octobre 2009.

Reviews

• Conférences : ARITH (2005), IJCAR (2010), ISSAC (2005, 2006, 2010), ITNG (2008), JFLA (2011), MEGA (2007), NSV (2010), PLMMS (2009), RNC (2008), SAS (2008), SCAN (2006)
• Journaux : DROPS (2008), Transactions on Computers (2007 * 2, 2009)

Séjours dans des laboratoires étrangers

• CIS, Polytechnic University New York, USA, de juin à août 2002.
• Micelab, Université de Gérone, Espagne, de mars à avril 2007.

Divers

• Organisation des journées Arinews en mars 2005.
• Réunion IEEE-754 à HP Cupertino les 15 et 16 juin 2005.
• Réunion IEEE-1788 à Lyon le 30 septembre 2010.

Activités doctorales et d'enseignement

Monitorat

• Qualité des calculs numériques (interrompu, 4h). ENS Lyon L3, 2004-2005 S1.
• Bases de données. INSA Lyon L1, 2004-2005 S1.
• Algorithmique. INSA Lyon L1, 2004-2005 S2.
• Algorithmes pour l'arithmétique. ENS Lyon M1, 2005-2006 S1.
• Algorithmique. INSA Lyon L1, 2005-2006 S2.
• Programmation. ENS Lyon L3, 2006-2007 S1.
• Architecture/PPI. INSA Lyon L1, 2006-2007 S1.
• Base de données. INSA Lyon L1, 2006-2007 S1.

Écoles et cours suivis

• École thématique sur l'arithmétique des ordinateurs. Dijon, du 24 au 27 mars 2003.
• Cours : mobilité et preuve (Daniel Hirschkoff). DEA ENS Lyon, 2003-2004.
• École jeunes chercheurs en algorithmique et calcul formel. Grenoble, du 29 mars au 2 avril 2004.
• Cours : applications de l'informatique à la recherche et au développement technologique (Nathalie Revol). ED Lyon, 2003-2004.
• Cours : preuves et types (Tom Hirschowitz). M2 ENS Lyon, 2005-2006.
• Cours : histoire et philosophie des sciences (Philippe Jaussaud). ED Lyon, 2005-2006.

Stages CIES

• Stage central.
• L'animation scientifique auprès du grand public.
• Travail et expression de la voix.
• Développement du site support du CIES.

Divers

• Membre élu du Conseil Scientifique de l'ENS Lyon, 2004.
• Surveillance de l'épreuve pratique pour le concours d'entrée à l'ENS, 2005.
• Membre du jury pour les candidats auditeurs à l'ENS Lyon, 2005.
• Membre du jury pour les stages L3 à l'ENS Lyon, 2006.