Dos Santos, José Manuel, Instituto GeoGebra de Portugal, Portugal