09.30 -- 10.15 | Matemática e Cidadania Luís S. Barbosa (Dep. Informática, UM) |
10.15 -- 11.15 | "Quien sabe por Algebra sabe scientificamente" José Nuno Oliveira (Dep. Informática, UM) |
11.15 -- 11.30 | Café |
11.30 -- 12.00 | A matemática dos algoritmos: um exemplo João Ferreira (Univ. Nottingham e UM) |
12.00 -- 12.30 | Discussão em grupo |
12.30 -- 14.00 | Almoço (livre) |
14.00 -- 14.45 | Cálculo, prova e invariantes João Ferreira (Univ. Nottingham e UM) |
14.45 -- 15.15 | Puzzles lógicos revisitados João Ferreira (Univ. Nottingham e UM) |
15.15 -- 15.45 | café |
15.45 -- 16.30 | Ferramentas de suporte Alexandra Mendes (Univ. Nottingham e UM) |
16.30 -- 17.00 | Discussão em grupo |