Results CoLoHA

Visits and meetings:

• 2017

• Pierre Lescanne visit to University of Novi Sad, 23-28/10/2017.
• Zoran Petric visited Paris 29/08-03/09/2017.
• Pierre-Louis Curien and Jovana Obradovic visited Mathematical Institute SANU Belgrade, 07/2017
• Silvia Ghilezan visited Universite Paris Diderot, Paris 7 14-21/01/2017.
  • 2016
• Jelena Ivanovic visited Universite Paris Diderot, Paris 7, 22-29/11/2016.
• Pierre-Louis Curien visited Mathematical Institute SANU Belgrade and University of Novi Sad, 24-30/09/2016.
• Jovana Obradovic visited Mathematical Institute SANU Belgrade and University of Novi Sad, 24-30/09/2016.
• Pierre-Louis Curien visited Mathematical Institute SANU Belgrade and University of Novi Sad, 12-26/05/2016.
• Jovana Obradovic visited Mathematical Institute SANU Belgrade and University of Novi Sad, 12-26/05/2016.

Seminars:

• 2017

• Pierre Lescanne: Quantitative aspects of linear and affine closed lambda terms Seminar CMS, University of Novi Sad, October 27, 2017, Novi Sad, Serbia.
• Zoran Petric: Frobenius spheres,Seminaire Preuves, programmes et systèmes, Universite Paris Diderot, Avgust 31, 2017, Paris, France.
  • 2016
• Silvia Ghilezan: Preciseness of Subtyping on Intersection and Union Types,Seminaire Preuves, programmes et systèmes, Universite Paris Diderot, April 21, 2016, Paris, France.
• Jovana Obradovic: Weak cyclic Cat-operads, Seminar Center for Mathematics and Statistics, 28/09/2016, Novi Sad, Serbia.
• Jovana Obradovic: Categorificated cyclic operads, Proof Theory Seminar, 26/12/2016, Mathematical Institute SANU, Belgrade, Serbia.