Project

Logal

Lógica y algoritmos

A Project coordinated by IIIA.

Web page:

Principal investigator:

Pedro Meseguer

Collaborating organisations:

Funding entity:

CSIC (Intramural 201450E045)

Funding call:

Funding call URL:

Project #:

Logal

Total funding amount:

0,00€

IIIA funding amount:

Duration:

01/Dec/2014

30/Nov/2017

Extension date:

No publications uploaded yet

Gonçal E. Imaz
Tenured Scientist
Phone Ext. 431818

Francesc Esteva
Adjunct Professor Ad Honorem

Lluís Godo
Research Professor
Phone Ext. 431857

Jordi Levy
Tenured Scientist
Phone Ext. 431860

Felip Manyà
Scientific Researcher
Phone Ext. 431854

Pedro Meseguer
Scientific Researcher
Phone Ext. 431862

Logal
Logal