Visits

  • COQ Spring School, EPIT 2015, Mechanizing proofs of programs, Frejus, France, May 2015
  • ESSLLI summer school, Barcelona, August 2015
  • Mathematical Data Science Workshop, Belgrade, June 2015

  • Participated, with short talks, at conferences LAP 2014 and LAP 2015, held in Dubrovnik, Croatia.

  • In May 2015, was the leader of a group for the competition in Mathematics I, at the famous international meeting of students of engineering, called Elektrijada that was held in Becici, Montenegro.
  • In May 2016, was the leader of a group for the competition in Mathematics I, at the famous international meeting of students of engineering, called Elektrijada that was held in Rimini, Italy.