UFBA » Instituto de Matemática »

Seminário DMAT - Setembro 2014

Período: 
04/09/2014 (16:00) - 16/09/2014 (16:00)
Local: 
Instituto de Matemática
Palestrante: 

Arúquia Peixoto - UFRRJ

Título:

 

Geração de Malhas: Geometria, Topologia e Aplicações a Engenharia

Data:  04 de Setembro de 2014 (QUINTA-FEIRA)
Hora: 16:00h
Lugar: Sala 20

 

Nesta palestra são tratadas características distintas e importantes de uma malha triangular gerada por uma função implícita. Do ponto de vista matemático são discutidas suas características geométricas e topológicas, e do ponto de vista de suas aplicações á Engenharias é discutida a qualidade dos triângulos que formam a malha. São apresentados resumidamente os trabalhos apresentados este ano nos congressos: ICCSA (International Conference in Computer and Applications), WCCC(World Conference in Computational Mechanics) e CNMAC (Congresso Nacional de Matemática Aplicada e Computacional).

 

Palestrante: 

Valeria de Paiva - Nuance Communications - EUA/ University of Birmingham

Título:

 

Edwardian Proofs For Futuristic Programs and Personal Assistants

Data:  16 de Setembro de 2014 (TERÇA-FEIRA)
Hora: 14:00h
Lugar: Sala 15

 

Mathematics is full of surprising and sweeping theorems that connect disparate areas of investigation. I want to discuss one of these, in this case an under-appreciated gem, the Curry-Howard Correspondence. It relates proofs in mathematical logic to morphisms in category theory and to programs in advanced programming languages like Haskell, Agda, ML, Scala or F#. The growing collection of theorems under the umbrella term Curry-Howard Isomorphism is truly multidisciplinary, allowing us to transfer results from Philosophy to Algebra or Programming Languages, with extensions to Computational Linguistics and Theoretical Physics. As it is to be expected different backgrounds lead to different ways of exploiting the correspondences, so this is a very personal take on how I navigate being a woman doing mathematical research in these changing areas of expertise. And why I think this kind of research is vital for mathematics, linguistics and computer science.