CEMS.UL

Presheaf model theory

Seminário de Lógica Matemática, por Charles Morgan (UFBA).

Ler mais acerca de Presheaf model theory

Monodromies, Clusters, and the WKB Approximation for q-Difference Equations

Seminário de Geometria e Física, por Fabrizio Del Monte (University of Birmingham, UK).

Ler mais acerca de Monodromies, Clusters, and the WKB Approximation for q-Difference Equations

When statistics meets computability

Seminário de Lógica Matemática, por Eduardo Skapinakis (Universität Tübingen / NOVA FCT).

Ler mais acerca de When statistics meets computability

Laver tables and Large Cardinals (part II)

Seminário de Lógica Matemática, por Luís Pereira (Universidade de Lisboa).

Ler mais acerca de Laver tables and Large Cardinals (part II)

GEMS - GEometry MeetingS

A collaborative initiative supported by five Portuguese research centers, aimed at strengthening and connecting the geometry research community in Portugal.

Ler mais acerca de GEMS - GEometry MeetingS

Laver tables and Large Cardinals

Seminário de Lógica Matemática, por Luís Pereira (Universidade de Lisboa).

Ler mais acerca de Laver tables and Large Cardinals

Elementary nonstandard axiomatic systems and standard real numbers

Seminário de Lógica Matemática, por Imme van den Berg (CIMA, University of Évora).

Ler mais acerca de Elementary nonstandard axiomatic systems and standard real numbers

Some extremal problems in de Branges spaces

Seminário de Análise e Equações Diferenciais, por Antonio Pedro Ramos (Scuola Internazionale Superiore di Studi Avanzati).

Ler mais acerca de Some extremal problems in de Branges spaces

Session-typed Staged Metaprogramming

Seminário de Lógica Matemática, por Pedro Ângelo (Universidade de Lisboa - LASIGE).

Ler mais acerca de Session-typed Staged Metaprogramming

Character Varieties in Knot Theory

Seminário de Geometria e Física, por Alejandro Calleja (Univ. Complutense, Madrid).

Ler mais acerca de Character Varieties in Knot Theory

Ciências ULisboa