Date: Friday February 16, 2017 Time: 15:30 Place: University of Tokyo Title: Categorical accounts for computing systems Speaker: Jérémy Dubut (NII) Abstract: In this talk, I will give you a big picture of one use of category theory in computer science. The motto is…
Mois : février 2018
JFLI News in January 2018
Marc Pouzet (UPMC and ENS), Xavier Rival (Inria and ENS), Hoeteck Wee (CNRS and ENS) visited JFLI in January 2018. Jérémy Dubut joined JFLI as a NII post-doc from November 2017. Congratulations to Benjamin Renoust, who joined Osaka University from…