Professeur en informatique à Sorbonne Université
Directeur adjoint du LIP6
Adresse Sorbonne Université
Campus Pierre et Marie Curie LIP6 (UMR CNRS 7606)
Équipe PEQUAN
Boîte courrier 169
4, place Jussieu
F-75252 Paris Cedex 05
France
Courriel :stef.graillat @ sorbonne-universite.fr Bureau : Tour 26-00, 3e étage, bureau 313 Téléphone fixe : +33 (0)1 44 27 87 90 Téléphone portable : +33 (0)6 19 81 51 85 Fax : +33 (0)1 44 27 75 41 Url :http://www-pequan.lip6.fr/~graillat
Si vous êtes intéressés par un stage (L3,M1,M2) dans le domaine de l'arithmétique des ordinateurs,
n'hésitez à me contacter; j'ai des sujets disponibles.
Domaines de recherche
Arithmétique des ordinateurs, arithmétique d'intervalles
Qualité numérique des logiciels scientifiques, analyse d'erreurs
SCAN 2002, 10th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, Paris France,
September 24 - 27, 2002
RWCA 2006, 10th Rhine Workshop on Computer Algebra, Basel, Switzerland, March 16-17, 2006
SAC 2006, The 21st Annual ACM Symposium on Applied Computing, Dijon, France, April 23-27, 2006
ICNAAM 2006, International Conference of Numerical Analysis and Applied Mathematics 2006, Hotel Belvedere Imperial, Hersonnisos, Crete, Greece, September 15-19, 2006
SCAN 2006, 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, Duisburg, Germany, September 26-29, 2006
NOLTA 2007, International Symposium on Nonlinear Theory and its Applications, Simon Fraser University, Vancouver, Canada, September 16-19, 2007
REC'08, Third International Worskhop on Reliable Engineering Computing, Savannah, Georgia, USA, February 20-22, 2008
RAIM 2008, Rencontres Arithmétique de l'Informatique Mathématique, Lille, 3-5 Juin 2008
RNC8, 8th Conference on Real Numbers and Computers, Santiago de Compostela, Spain, July 7-9, 2008 (photos)
SCAN 2008, 13th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, El Paso, Texas, USA, September 29 - October 3, 2008
NSV-3, Third International Workshop on Numerical Software Verification, Edinburgh, UK, July 15th, 2010
SYNASC 2010, 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, September 23-26, 2010
SCAN 2010, 14th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, Lyon, France, September 27-30, 2010
RAIM'11, 4èmes Rencontres "Arithmétique de l'Informatique Mathématique", Perpignan, France, 7-10 février 2011
CRC 2011, International Workshop on Certified and Reliable Computation, Nan Ning, Guang Xi, China, July 17-20, 2011
JSIAM Meeting
2011, Doshisha University, Kyoto, Japan, September 14-16,
2011
ARITH 21, 21st IEEE
Symposium on Computer Arithmetic, April 7-10, 2013, AT&T Conference
Center, Austin, Texas, USA
RAIM 2013, Rencontres
Arithmétique de l'Informatique Mathématique, IHP Paris, 18-20 novembre
2013
JNCF 2017, Journées Nationales de
Calcul Formel, CIRM, Luminy, 16-20 janvier 2017
CSE17, SIAM Conference on
Computational Science and Engineering, Hilton Atlanta, Atlanta, Georgia,
USA, February 27-March 3, 2017
INVA 2017, The International Workshop on Numerical Verification and its Applications 2017,
Miyako-jima, Okinawa, Japan, March 15-18, 2017
ACA 2017, 23rd Conference on Applications of Computer Algebra, Jerusalem, Israel, July 17-21, 2017
Dagstuhl Seminar 17481 "Reliable Computation and Complexity on the Reals", Dagstuhl, Germany, November 26 - December 1, 2017
SIAM PP18, SIAM Conference on Parallel Processing for Scientific Computing (PP18), Waseda University, Tokyo, Japan, March 7-10, 2018
PMAA18, 10th International Workshop on Parallel Matrix Algorithms and Applications, ETH Zurich, Zurich, Switzerland, June 27-29, 2018
SCAN 2018, 18th International Symposium on Scientific
Computing, Computer Arithmetic, and Verified Numerical Computation, Tokyo, Japan, September 10-14, 2018
ICIAM 2019, The International Congress on Industrial and Applied Mathematics, Valencia, Spain, July 15-19, 2019
CSE19, SIAM Conference on Computational Science and Engineering (CSE19), Spokane Convention Center, Spokane, Washington, USA, February 25 - March 1, 2019
ARITH, 26th IEEE Symposium on Computer Arithmetic, Kyoto, Japan, June 10-12, 2019
MEGA, Effective Methods in Algebraic Geometry, Madrid, Spain, Universidad Complutense, June 17-21, 2019
STOC, 51st Annual ACM Symposium on the Theory of Computing, Phoenix, AZ, USA, June 23-26, 2019
ISSAC, 44rd International Symposium on Symbolic and Algebraic Computation, Beihang University, Beijing, China, July 15-18, 2019
ACA, Applications of Computer Algebra 2019, Montréal, Canada, July 16-20, 2019
Stef Graillat
(Dernière modification : 15 mai 2024)
Si vous êtes intéressés par un stage (L3,M1,M2) dans le domaine de l'arithmétique des ordinateurs,
n'hésitez à me contacter; j'ai des sujets disponibles.