O Departamento de Matemática da Faculdade de Ciências e o Núcleo de Estudantes de Matemática e Matemática Aplicada anunciam as Jornadas de Matemática em Ciências, que irão decorrer na Faculdade de Ciências da Universidade de Lisboa (edifício C6), e estão abertas a todos os interessados, mediante inscrição (a inscrição é obrigatória, mas gratuita).

Mini-cursos, palestras, mesa-redonda com antigos alunos, momentos empresariais, circo matemático e algumas surpresas. A não perder!

Nesta palestra veremos como se pode desenhar em Perspetiva Esférica - com régua e compasso, ou mesmo "à mão" - imagens que capturam numa única folha tudo aquilo que nos rodeia. Estes desenhos podem por sua vez ser visualizados de forma imersiva usando o mesmo software de Realidade Virtual que permite visualizar fotografias "a 360 graus”. Veremos ainda que isto é apenas a encarnação mais recente de uma classe de ilusões visuais que têm tomado as mais diversas formas desde o Renascimento, com variadas técnicas e suportes, mas baseadas num mesmo princípio geométrico: a Anamorfose.

Por Jiří Lipovský (Department of Physics, Faculty of Science, University of Hradec Kralove).

Por José Oliveira (Universidade do Minho).

Por Daniel Graça (Universidade do Algarve).

Por Anna Barbieri (University of Sheffield).

Abstract: I will give a brief and gentle introduction through examples from quivers to Bridgeland stability conditions and wall-crossing formulae for invariants counting semistable objects. Such stability conditions are encoded in the formal notions of BPS structures or Kontsevich-Soibelman stability data. I will show how Riemann-Hilbert problems naturally appears in this context.

Marco António de Sousa e Silva dos Santos Mendes defende a tese "Deformations of Legendrian Curves".

Com o objetivo de assinalar o Ano Europeu do Património Cultural 2018, a Academia de Ciências de Lisboa acolhe o colóquio Matemática e Património Cultural.

A disciplina de Atividade Seguradora é oferecida aos alunos do Mestrado em Matemática Aplicada à Economia e Gestão ao abrigo de um protocolo de colaboração assinado entre Ciências ULisboa e a Fidelidade. O seu principal objetivo é dar formação técnico-profissional avançada para a prática na área dos seguros e do atuariado. Nesse sentido, a disciplina está dividida em módulos, que são lecionados por atuários e diferentes diretores de departamentos da Multicare e da Fidelidade.

Por Pedro Filipe (Instituto Superior Técnico, Universidade de Lisboa).

Abstract: The compactness theorem is one of the key ingredients used in Lindstrom's Theorem that characterizes first-order logic and follows directly from Godel's completeness theorem, given the finite nature of proofs. In time, alternative proofs were found that don't require the usage of a formal proof system. In this seminar we will show one of these alternative proofs using ultrafilters and ultraproducts.