Passar para o conteúdo principal

CMAFcIO

Seminários de Sistemas Dinâmicos

Seminários de Sistemas Dinâmicos, por Marcelo Durães e Aline Melo (PUC-Rio - Pontifícia Universidade Católica do Rio de Janeiro).

Ler mais acerca de Seminários de Sistemas Dinâmicos

Workshop on Combinatorial Optimization

The second edition of the Workshop on Combinatorial Optimization is organized by CMAFcIO and CEG-IST and will occur in an online format.

Ler mais acerca de Workshop on Combinatorial Optimization

On logic and randomized computation

Mathematical Logic Webinar, por Melissa Antonelli (University of Bologna).

Ler mais acerca de On logic and randomized computation

Bound extraction theorems for proofs involving monotone operators

Mathematical Logic Webinar, por Nicholas Pischke (TU Darmstadt).

Ler mais acerca de Bound extraction theorems for proofs involving monotone operators

A proof theoretic analysis of Littlewood’s Tauberian theorems

Mathematical Logic Webinar, por Thomas Powell (University of Bath).

Ler mais acerca de A proof theoretic analysis of Littlewood’s Tauberian theorems

The Yoneda Reduction of Polymorphic Types

Mathematical Logic Webinar, por Luca Tranchini (University of Tubingen).

Ler mais acerca de The Yoneda Reduction of Polymorphic Types

Towards Logical Foundations for Randomized Computability

Mathematical Logic Webinar, por Paolo Pistone (Università di Bologna).

Ler mais acerca de Towards Logical Foundations for Randomized Computability

Introduction to Model Theory and its relation to Algebraic Geometry

Mathematical Logic Webinar, por Guilherme Velez (Ciências ULisboa).

Ler mais acerca de Introduction to Model Theory and its relation to Algebraic Geometry

Halpern and Mann iterative schemas

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

Ler mais acerca de Halpern and Mann iterative schemas

CMAFcIO Open Meetings 2022

This is the second edition of the CMAFcIO Open Meetings.

Ler mais acerca de CMAFcIO Open Meetings 2022

Páginas