News details

  • NOVA LINCS joins three new COST actions
  • Apr 2015
  • MPM4CPS is a network on multi-paradigm modelling for cyber-physical systems. The NOVA LINCS PI is Software Systems researcher Vasco Amaral, also national MC chair. Participating countries include Belgium, Croatia, Macedonia. Germany, Hungary, Ireland, Norway, Portugal, Romania, Slovenia, Spain, Sweden and the United Kingdom.

    More information here.

    Reversible computation focus on systems where computation can run backwards as naturally as it can go forwards. The NOVA LINCS PI is Software Systems researcher Carla Ferreira, also national MC. Participating countries are Belgium, Cyprus, Denmark, Finland, France, Germany, Iceland, Ireland, Italy, Netherlands, Poland, Portugal, Romania, Serbia, Slovenia, Spain, Sweden, United Kingdom.

    More information here.

    ARVI is a research network on runtime verification of software systems. The NOVA LINCS PI is Computer Systems researcher João Lourenço, also national MC. Participating countries include Belgium, Croatia, Macedonia. Germany, Hungary, Ireland, Norway, Portugal, Romania, Slovenia, Spain, Sweden and the United Kingdom.

    More information here.

    NOVA LINCS is involved in many other cost actions, and looking forward to join other networks in its area of expertise.