Lectures under the photo exhibition “Olha e Vê. Sente e Vive” and “Outros Retratos e Auto-retratos”
“Medical images and screening” by Fernando Tavares; “Medical images and artificial intelligence” by Aurélio Campilho and “Another way to perceive Health” by Constantino Sakellarides
Talk by Ruben Martins (CMU): “Conflict-Driven Synthesis”
Ruben Martins is a Systems Scientist at Carnegie Mellon University. His interests lie in the intersection of constraint programming with program synthesis, analysis, and verification.