CLIMT
Categorical and Logical Methods in Model Transformation
A basic research project funded by the French ANR agency
(ANR-11-BS02-016)