Departamento de Ciências Matemáticas FCUL

20/10/2026

18/10/2026

🌍🔢 Da Ilhas Faroé ao DCM, FCUL

No dia 30 de setembro, o Departamento de Ciências Matemáticas (DCM) recebeu um grupo de alunos do ensino secundário do Glaris-Tórshann College, das Ilhas Faroé, interessados em Matemática e Física.

A visita começou com uma breve apresentação da oferta formativa do DCM, conduzida pelo Professor Luís Sequeira. Seguiu-se uma fantástica sessão dinamizada pelo nosso estudante de mestrado Roy Lowe, intitulada "Beyond Gauss", que encantou os alunos visitantes e lhes mostrou novas perspetivas sobre as Ciências Matemáticas. ✨

Houve ainda oportunidade para conhecer melhor a vida académica na FCUL, através dos testemunhos dos nossos estudantes Inês Ramos (Matemática Aplicada), Leonor Solano (Matemática) e Vasco Martins (Estatística Aplicada), embaixadores das nossas licenciaturas, que partilharam um pouco das suas experiências.

Uma visita que aproximou estudantes de diferentes geografias através da curiosidade, da descoberta e do gosto pela ciência! 💙

16/10/2026

SEMINÁRIO DE LÓGICA MATEMÁTICA (SLM)
2026/2027 - year ###VIII
CEMS-UL

SLM :: SESSION #1 :: FRIDAY, October 23, 15:00 (Lisbon time) | 6.2.33

Clarence Protin (LanCog/CFUL)

TITLE :: Natural Term Logic and its applications

ABSTRACT ::
In this talk we give a brief introduction to Natural Term Logic (NTL), a formal system not employing quantified variables that aims at directly mirroring the core logical-syntactic mechanisms and intensional expressivity of natural language. The roots of NTL can be traced to Quine's reformulation of first-order logic in his paper "Variables Explained Away" (1960) and to the various semantic operators introduced in the 1980s by George Bealer and Edward Zalta. NTL has a logical expressivity at least as great as Bealer's first-order intensional logic (introduced in Quality and Concept (1983)) and is in fact considerably more fine-grained. Different NTL terms can share the same core logical content (which can be defined as having the same corresponding term in Bealer logic). In NTL we define a series of reductions (analogous to those in type theory but also capable of a graph-theoretic interpretation) that "simplify" NTL terms in some specific sense while preserving the core logical content. The main result involving this system of reductions is that each NTL term reduces to a unique "normal" term expressing the core logical content of a NTL term. In fact, there is an algorithm for transforming a closed Bealer term into the unique normal NTL term whose core logical content is expressed by such a term. In this talk, after motivating NTL by some considerations regarding the grammar of natural language, we present the basic tools required to set up NTL and then go through and explain the reductions as well as the fundamental result concerning normalization. We then briefly discuss some extensions and possible applications of NTL, including philosophical issues and applications to the formalization of natural language and Stoic logic.

15/10/2026

⏱ A Hipótese de Riemann e a busca pela distribuição ótima dos números primos em 90 segundos ⏱

Jorge Buescu, professor de CIÊNCIAS e investigador do Centro de Estudos Matemáticos da ULisboa, falou ao programa 90 Segundos de Ciência, da Antena1 , sobre a hipótese de Riemann, considerada um dos maiores desafios da matemática moderna, que procura explicar a distribuição dos números primos e continua por resolver há mais de 160 anos.

💬“A importância deste problema vai muito além de uma curiosidade sobre números primos. A sua resolução poderá ter ramificações profundas em outras áreas científicas, como a física, com aplicações diretas no estudo da equação do calor e na propagação de outros fenómenos físicos”, explica Jorge Buescu.

🔗Oiça o episódio completo: https://t.ly/4jOnr

15/10/2026

🎓Num quadro da sala de alunos do Departamento de Ciências Matemáticas, convivem demonstrações, ideias, desenhos e pequenos apontamentos que dão cor ao pensamento matemático.

Porque a matemática também se faz de criatividade, imaginação e liberdade para experimentar.❤️

14/10/2026

📊 Dia Europeu da Estatística | 20 de outubro
A Estatística está em todo o lado: da ciência aos negócios, da saúde à inteligência artificial.
Para assinalar o Dia Europeu da Estatística, o Departamento de Ciências Matemáticas FCUL, a Sociedade Portuguesa de Estatística e o CEAUL - Centro de Estatística e Aplicações da Universidade de Lisboa promovem um dia dedicado à descoberta, reflexão e debate sobre o papel da Estatística na sociedade.
📅 20 de outubro
📍Edifício C6 - CIÊNCIAS ULisboa
👉 Entrada gratuita, com inscrição prévia.
🔗 Programa completo: https://t.ly/ECpu3

13/10/2026

Rᴇꜱꜱᴜʀʀᴇɪçãᴏ Mᴀᴛᴇᴍáᴛɪᴄᴀ

Última lição do professor José Francisco Rodrigues
29 de outubro de 2026 | 17:00 | 3.2.14

06/10/2026

Lisbon WADE
Webinar in Analysis and Differential Equations
To be held online.
Online access password: lisbonwade
08/10/2026, Thursday, 13:30–14:30 Europe/Lisbon
Room 6.2.33, Faculty of Sciences of the Universidade de Lisboa — Online

Thomas Borsoni, Center for Mathematical Studies
Kinetic theory and how to model polyatomic gases
Kinetic theory describes gases and plasmas as large collections of interacting molecules, from a statistical point of view. Its most famous success, due to Boltzmann, is the first analytic derivation of the monotonicity in time of the entropy.
In most gases of practical interest, e.g. N2, O2 or CO2, molecules are polyatomic: composed of multiple atoms. This geometrical structure induces rotational and vibrational effects, which are a challenge to include in the theory. We present a general framework for modeling polyatomic molecules in kinetic theory, based on elementary physical ideas and formulated in a measure-theoretic setting. We show that within this framework one may adopt different perspectives, each relevant for a different kind of problem (physical modeling, mathematical analysis or numerical simulation), clarifying and unifying the previous approaches in the literature.

29/09/2026

🃏🌿 O Jardim deu cartas… e a Matemática fez magia!

No dia 10 de setembro, o Jardim Matemático voltou a florescer, no Departamento de Ciências Matemáticas da Faculdade de Ciências da Universidade de Lisboa (FCUL), com o workshop «Lógica ou Ilusão?».

A cargo de Ana Rute Domingos e Ana Catarina Monteiro, esta sessão foi uma viagem pelo fascinante mundo da magia matemática com cartas, onde a lógica se esconde por detrás de efeitos surpreendentes e onde nem tudo é aquilo que parece!

Entre truques, desafios e muitas descobertas, explorou-se como a Matemática pode transformar um simples baralho de cartas numa ferramenta de admiração, criatividade e pensamento.

Porque, no Jardim Matemático, até as cartas têm muito que ensinar! ♠️♥️♣️♦️