TYREX - 2014

2014 Project-Team Activity Report
Types and Reasoning for the Web
Research centre: Grenoble - Rhône-Alpes
In partnership with: CNRS, Institut polytechnique de Grenoble, Université Pierre Mendes-France (Grenoble), Université Joseph Fourier (Grenoble)

In collaboration with: Laboratoire d'Informatique de Grenoble (LIG)

Field: Networks, Systems and Services, Distributed Computing

Theme: Distributed and High Performance Computing
Keywords: Formal Methods, Programming Languages, Multimedia, Web, Augmented Reality