Passar para o conteúdo principal

CMAFcIO

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

Lição de Jubilação “INVESTIGAÇÃO OPERACIONAL em CIÊNCIAS - meio século (quase) de história(s)”.

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

A simple proof assistant for first-order logic and set theory

Mathematical Logic Webinar, por Clarence Protin (Universidade Aberta).

Ler mais acerca de A simple proof assistant for first-order logic and set theory

Sets as Properties

Mathematical Logic Seminar, por Bruno Jacinto (Universidade de Lisboa).

Ler mais acerca de Sets as Properties

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

Páginas