As Tardes de Trabalho SPM/CIM são uma iniciativa conjunta entre a Sociedade Portuguesa de Matemática e o Centro Internacional de Matemática que visa incentivar a colaboração de Matemáticos portugueses em todas as áreas da Matemática.

Programa

• 14:00-14:50 - Aplicações da Lógica à Geometria, Mário Edmundo (Univ. Aberta e CMAF).
• 15:00-15:50 - Profundidade Computacional: Conceitos e Aplicações, Luís Antunes (Univ. Porto e LIACC).
• Café
• 16:20-17:10 - Problemas de Computabilidade em Equações Diferenciais, Daniel Graça (Univ. Algarve e IT).
• 17:20-18:00 - Debate: Papel da Lógica e Computação na Matemática Contemporânea, Moderadores: Fernando Ferreira (Univ. Lisboa e CMAF) e Paulo Mateus (IST-UTL e IT)

Organizadora: Professora Doutora Cristina Sernadas (e-mail)
Inscrição: Contacte por email a Organizadora, caso pretenda participar no evento.
Informações Locais: Durante este ano lectivo todas as Tardes SPM/CIM realizar-se-ão no Hotel Quinta das Lágrimas.