In January and February, Professor Fairouz Kamareddine was invited to Alberta, Canada as a Pacific Institute of Mathematics (PIMS) Distinguished Professor to give talks at the University of Lethbridge and the University of Calgary.

As a Professor of Theoretical Computer Science she was funded by PIMS to give the talks to a mixture of both students and academics and to complete a manuscript on types a la Curry and Church with Jonathan Seldin.

Professor Kamareddine's talks were titled “Computerising Mathematical texts with MathLang” and “Types and functions since Principia Mathematica and computerisation of language and mathematics” and were attended by over 50 participants.