Programa

Para mais informações sobre o curso de formação (25h) acreditado para professores, ver este documento.

10 de julho (quarta-feira)


Horas
09:00-09:15 Sessão de abertura
Auditório B1
09:15-09:30 Sessão Plenária 1
Pathwise stochastic control problems
Ana Bela Cruzeiro
9:15 - 10:05
Auditório B1		 Tenho uma história para vos contar: A interação entre Matemática e narrativa (Parte 1)
José Carlos Santos
9:15 - 10:05
Sala 2.07
09:30-09:45
09:45-10:00
10:00-10:15 Coffee-break
10:10 - 10:40
10:15-10:30
10:30-10:45 Sessão Plenária 2
Curvas, superfícies e outras coisas mais
Margarida Mendes Lopes
10:40 - 11:30
Auditório B1 		Tenho uma história para vos contar: A interação entre Matemática e narrativa (Parte 2)
José Carlos Santos
10:40 - 11:30
Sala 2.07
10:45-11:00
11:00-11:15
11:15-11:30
11:30-11:45 Sessão Plenária 3
Will computers prove theorems?
Kevin Buzzard
11:35 - 12:25
Auditório B1
11:45-12:00
12:00-12:15
12:15-12:30
12:30-12:45 Almoço
12:30 - 14:00
12:45-13:00
13:00-13:15
13:15-14:00
14:00-14:15 Sessões Paralelas A
14:00 - 15:30
Anfiteatros 0.01, 0.03, 0.05, Auditório B1, Salas 2.04, 2.05, 2.06, 2.07
14:15-14:30
14:30-14:45
14:45-15:00
15:00-15:15
15:15-15:30
15:30-15:45 Sessões Paralelas B
15:30 - 17:00
Anfiteatros 0.01, 0.03, 0.05, Auditório B1, Salas 2.04, 2.05, 2.06		 Anamorfoses imersivas e perspetivas esféricas (Parte I)
António Araújo
15:30 - 17:00
Sala 2.07
15:45-16:00
16:00-16:15
16:15-16:30
16:30-16:45
16:45-17:00
17:00-17:15 Coffee-break (17:00 - 17:20)
17:15-17:30 Sessão Plenária 4
Augmented Intelligence Theorem Proving in the Mathematical Literature
João Araújo
17:20 - 18:10
Auditório B1		 Anamorfoses imersivas e perspetivas esféricas (Parte II)
António Araújo
17:20 - 19:00
Sala 2.07
17:30-17:45
17:45-18:00
18:00-18:15
18:15-18:30 Mesa Redonda
Computer Mathematics
18:20 - 19:00
Auditório B1
18:30-18:45
18:45-19:00

11 de julho (quinta-feira)


Horas
09:00-09:15 Sessão Plenária 5
Two mathematical challenges in plasma physics
Daniel Peralta-Salas
09:00 - 09:50
Auditório B1 		Matemática, Ciências da Computação e Ensino da Computação
Luís Neves, José Oliveira, Luís Barbosa
09:00 - 09:50
Sala 2.07
09:15-09:30
09:30-09:45
09:45-10:00 Sessão Plenária 6
Will we one day be able to prove lower-bounds?
Bruno Loff
09:55 - 10:45
Auditório B1
10:00-10:15 10xA + 10xB + 10xC ou 10x(A+B+C)?
Célia Oliveira
10:00 - 10:50
Sala 2.07
10:15-10:30
10:30-10:45
10:45-11:00 Coffee-break
10:50 - 11:10
11:00-11:15
11:15-11:30 Sessões Paralelas C
11:10 - 12:40
Anfiteatros 0.01, 0.03, 0.05, Auditório B1, Salas 2.04, 2.05, 2.06		 Geometria Oculta
Marília Pires, Maria da Graça Marques
11:10 - 12:40
Sala 2.07
11:30-11:45
11:45-12:00
12:00-12:15
12:15-12:30
12:30-12:45
12:45-13:00 Almoço
12:40-14:30
13:00-13:15
13:15-14:00
14:00-14:15
14:15-14:30
14:30-14:45 Sessão Plenária 7
On the importance of a knowledge-rich curriculum for acquiring complex cognitive skills
Claudio Vanhees, Michiel Wils
14:30 - 15:20
Auditório B1
14:45-15:00
15:00-15:15
15:15-15:30
15:30-15:45 Sessão Plenária 8
Literacia Matemática no final do Ensino Básico
João Marôco
15:25 - 16:15
Auditório B1
15:45-16:00
16:00-16:15
16:15-16:30 Mesa Redonda
O Currículo importa?
16:20 - 17:20
Auditório B1
16:30-16:45
16:45-17:00
17:00-17:15
17:15-17:30 Coffee-break
17:20 - 17:50
17:30-17:45
17:45-18:00 Mesa Redonda
Matemática e Abril
17:50 - 18:40
Auditório B1
18:00-18:15
18:15-18:30
18:30-18:45
(...)
20:00 Jantar do Encontro

12 de julho (sexta-feira)


Horas
09:00-09:15 Sessão Plenária 9
Revoluções Necessárias: o Sonho e o Trabalho
António Machiavelo
09:00 - 09:50
Auditório B1
09:15-09:30
09:30-09:45
09:45-10:00 Sessões Paralelas D
09:55 - 11:25
Anfiteatros 0.01, 0.03, 0.05, Auditório B1, Salas 2.04, 2.05, 2.06		 As aulas de computação da ENSICO no ensino básico
Luís Neves, Daniela Freitas, Rita Mendes, Sara Araújo
09:55 - 11:25
Sala 2.07
10:00-10:15
10:15-10:30
10:30-10:45
10:45-11:00
11:00-11:15
11:15-11:30
11:30-11:45 Coffee-break (11:25 - 11:45)
11:45-12:00 Sessões Paralelas E
11:45 - 13:15
Anfiteatros 0.01, 0.03, 0.05, Auditório B1, Salas 2.04, 2.05, 2.06		 A imprescindibilidade da Escola, dos Professores e do Ensino
Maria Helena Damião
Maria Isabel Festas
11:45 - 13:15
Sala 2.07
12:00-12:15
12:15-12:30
12:30-12:45
12:45-13:00
13:00-13:15
13:15-14:00 Almoço
13:15 - 14:45
14:00-14:15
14:15-14:30
14:30-14:45
14:45-15:00 Sessão Plenária 10
Energy based mathematical modeling, simulation and control of digital twins in energy networks
Volker Mehrmann
14:45 - 15:35
Auditório B1
15:00-15:15
15:15-15:30
15:30-15:45
15:45-16:00 Mesa Redonda
Matemática Industrial
15:40 - 16:40
Auditório B1
16:00-16:15
16:15-16:30
16:30-16:45
16:45-17:00 Coffee-break (16:40 - 17:00)
17:00-17:15 Sessão Plenária 11
Local Langlands Correspondence for SL(2) in all characteristics
Marie-France Vignéras
17:00-17:50
Auditório B1
17:15-17:30
17:30-17:45
17:45-18:00
18:00-18:15 Sessão de encerramento
Auditório B1