El encuentro está organizado por Julio Rubio, profesor del Departamento de Matemáticas y Computación de la Universidad de La Rioja. En el participan 25 investigadores del Instituto Fourier de Grenoble, el Laboratorio de Modelización y Cálculo de la Universidad Joseph Fourier, el Instituto de Informática para la Empresa de París, así como de las Universidades Técnica de Munich, Pierre et Marie Courie de París, de Heilderberg, Karlsruhe, País Vasco, Zaragoza, Cantabria, Politécnica de Cataluña y La Rioja.
PROGRAMA
Jueves 6 de abril de 2006.
– Working Group on ¿Diagrammatic specifications¿, leaded by D. Duval.
– Working Group on ¿FoCaL¿, leaded by R. Rioboo.
– Working Group on ¿Isabelle¿, leaded by C. Ballarin.
– Working Group on ¿The GIFT European Project¿, leaded by F. Sergeraert and M. Hausdorf.
