Regular meetings are on Wednesday 16-18h in the Computer Lab (Nastavni blok, III floor, 305)




  • PROJECT 174026 Representations of logical structures and formal languages and their application in computing

(Reprezentacije logičkih struktura i formalnih jezika i njihove primene u računarstvu)

  • EUTYPES - The European research network on types for programming and verification, COST CA15123 (2015-2019)
  • BETTY - Behavioural Types for Reliable Large-Scale Software Systems, COST IC1201 (2012-2016)
  • Rich-Model Toolkit - An Infrastructure for Reliable Computer Systems, COST IC0901 (2009-2013)
  • SEMACODE - Stratégies d'Évaluation, Machines Abstraites et COntrôle DElimité, INRIA équipe associée
  • DART - Dynamically and Autonomously Reconfigurable Types, bilateral project between Italy and Serbia