Vasco Garcez presentations