Grant-Holders

Universidad EAFIT

Chalmers University of Technology

Andrés Sicard Ramírez
General Recursion in Type Theory

Universiteit Utrecht

Universidad Politécnica de Valencia

Arístides Juan Dasso
Aprendizaje automático, generalización y distancia
Mauricio Fernando Alba Castro
Certificación automática de propiedades de seguridad de código fuente Java en lógica de reescritura

Universidad Católica de Santiago del Estero

Institut National de la Recherche en Informatique et Automatique (INRIA)

Salvador V. Cavadini
Utilización del Slicing de Programas en la Validación y Modificación de Las Propiedades De Un Programa

Universidade do Minho

Pablo L. Berdaguer Ferrari
Funcional Projection

Universidad Politécnica de Valencia

Diego Cheda
Debugging automático de programas funcionales

Universidad de la República

Universidad de Castilla-La Mancha (UCLM)

Andrea Delgado
A service oriented and model driven framework for the business process improvement

Universiteit Utrecht

Universidad Nacional de San Luis

Universidad de Castilla-La Mancha (UCLM)

Mario Peralta
A Framework for the Modeling and Measurement of Workflow Systems
Julio Dondo Gazzano
Desarrollo de un ambiente de diseño para sistemas embebidos usando FPGA y hardware reconfigurable generico

Chalmers University of Technology

Miguel Pagano
Conversion and Rewriting Systems for Dependent Types

Institut National de la Recherche en Informatique et Automatique (INRIA)

Gustavo Petri
Specification and verification of the Java Memory Model for multi-threaded applications

Universidade do Minho

Claudia Necco
Point-free Program Calculation - Theory and Applications
Mario Berón
Modelos Cognitivos para la Comprensión de Algoritmos de Ruteo

Universidad Politécnica de Valencia

Sonia Flores
Modelado y Análisis de sitios Web
Daniel Romero
Formal Verification of Sites and Web Applications
Ana María Funes
Aprendizaje de árboles de decisión basados en distancias