Les chercheurs accueillis grâce à MILYON en 2012

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