Computational Logics and Higher Algebra - CoLoHA

(Logika u računarstvu i viša algebra)

Bilateral project between France and Serbia, program "Pavle Savić - Partenariat Hubert Curien" (2016-2017)

Partner institutions:

• Universite Paris Diderot - Paris 7
• Mathematical Institute SANU, Belgrade

Dates: 1/2/2016-31/12/2017

• Objectives ColoHA
• Results ColoHA

French team

• Pierre-Louis Curien, Principal Investigator
• Hugo Herbelin
• Alexis Saurin
• Jovana Obradovic

Serbian team

• Silvia Ghilezan, Principal Investigator
• Zoran Petric
• Zoran Ognjanovic
• Jelena Ivetic
• Nenad Savic
• Jelena Ivanovic