Passar para o conteúdo principal

CMAFcIO

Introduction to isomonodromy deformations and applications

Geometry & Physics Seminar, por Davide Guzzetti (SISSA, Italy).

Ler mais acerca de Introduction to isomonodromy deformations and applications

Fraenkel-Mostowski Models (Part II)

Mathematical Logic Seminar, por António Marques Fernandes (IST - Universidade de Lisboa).

Ler mais acerca de Fraenkel-Mostowski Models (Part II)

Fraenkel-Mostowski Models

Mathematical Logic Seminar, por António Marques Fernandes (IST - Universidade de Lisboa).

Ler mais acerca de Fraenkel-Mostowski Models

Explicit solutions to the cubic wave equation

Lisbon Webinar in Analysis and Differential Equations, por Giuseppe Negro (CAMGSD, Instituto Superior Técnico).

Ler mais acerca de Explicit solutions to the cubic wave equation

Jumping finite automata

Mathematical Logic Seminar, por Alexander Meduna (Brno University of Technology).

Ler mais acerca de Jumping finite automata

Iterating reflection over Heyting Arithmetic

Mathematical Logic Webinar, por Emanuele Frittaion (University of Leeds).

Ler mais acerca de Iterating reflection over Heyting Arithmetic

Lição de Jubilação do Professor Doutor José Manuel Pinto Paixão

Sessão adiada, por motivos de força maior.

Ler mais acerca de Lição de Jubilação do Professor Doutor José Manuel Pinto Paixão

Proof mining on PDE theory

Mathematical Logic Webinar, por Pedro Pinto (Technische Universität Darmstadt).

Ler mais acerca de Proof mining on PDE theory

Why is solving the P vs NP problem so damn hard?

Mathematical Logic Seminar, por Bruno Loff (Universidade do Porto).

Ler mais acerca de Why is solving the P vs NP problem so damn hard?

The abstract type of the real numbers

Mathematical Logic Seminar, por Fernando Ferreira (Universidade de Lisboa).

Ler mais acerca de The abstract type of the real numbers

Páginas