6ª feira | 14 de Setembro | título |
16h00 | recepção | |
17h00 - 18h00 | Jorge Buescu (IST) | Detecção de erros, o ``bug'' do BI e o futuro |
18h15 - 19h00 | João Gouveia (UC-1º) | Partidos, deputados, cubóides e criaturas afins |
19h15 - 20h00 | Patrícia Engrácia (IST-3º) | Grupos finitos e suas representações, para principiantes |
20h00 | jantar | |
21h30 | debate | Vidas em Matemática |
Sábado | 15 de Setembro | título |
9h30 - 10h30 | Benjamin Steinberg (UP) | Uma introdução à noção de computabilidade |
10h30 - 11h00 | café | |
11h00 - 11h45 | Gonçalo Pena (UC-3º) | Mapas geográficos e diferenciais |
12h00 - 12h45 | Maria João Resende (UP-2º) | O teorema das cinco cores |
13h00 | almoço | |
15h30 - 16h15 | Ricardo Inglês (IST-1º) | Será que cos (p/q pi) pode ser escrito sob a forma de radicais? |
16h30 - 17h15 | Maria de Fátima Araújo (UL-2º) | Isometrias e superfícies |
17h15 | foto de grupo | |
17h30 - 18h00 | café | |
18h00 - 19h00 | Marcelo Viana (IMPA) | Rumo a uma teoria de sistemas caóticos |
19h30 | jantar | |
21h00 - 21h30 | Luís Magalhães (FCT) | - a anunciar brevemente - |
21h30 | debate | Matemática após a licenciatura |
Domingo | 16 de Setembro | título |
9h30 - 10h15 | Paulo Varandas (UP-3º) | Processos iterativos a uma variável |
10h30 - 11h15 | Luís Russo (IST-3º) | Códigos detectores de erros |
11h15 - 11h45 | café | |
11h45 - 12h45 | Luís Trabucho (UL) | A estrutura óssea do fémur |
12h45 | sessão de encerramento | |
13h30 | almoço |