Ivan Smith
(Royaume-Uni)
Professeur de géométrie au Département de mathématiques pures et statistiques mathématiques, Université de Cambridge, Royaume-Uni
Thématiques de recherche : Topologie symplectique, la théorie de Floer, symétrie miroir
Visite de MILYON : Un mois sur la période Septembre/Octobre 2012
Invitant et laboratoire d’accueil : Emmanuel Giroux, l’UMPA, ENS de Lyon
Objet de la visite : Une série de conférences sur les catégories Fukaya
https://www.dpmms.cam.ac.uk/people/is200/
Simona Ronchi della Rocca
(Italie)
Professeur d’informatique à l’Université de Turin, Italie
Thématiques de recherche : Sémantique formelle de langages de programmation, les théories de type, la complexité de calcul implicite
Thématiques de recherche conjointe : Direction de la thèse d’Erika De Benedetti
Visite de MILYON : 15 jours en juin 2012
Invitant et laboratoire d’accueil : Patrick Baillot, Laboratoire de l’Informatique et du Parallélisme, ENS de Lyon
Publication en lien avec la visite :
- Patrick Baillot, Erika De Benedetti et Simona Ronchi Della Rocca, « Characterizing Polynomial and Exponential Complexity Classes in Elementary Lambda-Calculus », TCS 2014, LNCS, 8705, pp. 151-163, Printemps 2014.
http://www.di.unito.it/~ronchi/
Yuly Billing
(Canada)
Professeur à l’École de mathématiques et de statistique, Université de Carleton, Ottawa, Canada
Thématiques de recherche : La théorie de représentation de Lie de dimension infinie algèbres, algèbres vertex
Thématiques de recherche conjointe : La théorie de la représentation
Visite de MILYON : Deux mois en 2012
Invitants et laboratoire d’accueil : Kenji Iohara, Olivier Mathieu et Bertrand Rémy, Institut Camille Jordan, Université Claude Bernard Lyon 1
http://people.math.carleton.ca/~billig/
Jingwei Chen
(Chine)
Assistant Professor, Chongqing Insitute of Green and Intelligent Technology (CIGIT), Académie chinoise des sciences, Chine
Thématiques de recherche : Constatation entier de la relation, la réduction treillis, factorisation polynomiale et leurs applications
Thématiques de recherche conjointe : La relation entière et la réduction de réseau.
Visite de MILYON : Un an en 2012
Invitants et laboratoire d’accueil : Damien Stehlé et Gilles Villard, Laboratoire de l’Informatique du Parallélisme, ENS de Lyon
Publication en lien avec la visite :
- Chen Jingwei, Damien Stehlé, Gilles Villard. Une nouvelle vision de HJLS et PSLQ : Sums and Projections of Lattices. En proc. ISSAC’13, pages 149-156, Boston, USA, 2013
Ça vous a plu ? Partagez ce contenu :