Numeral completeness of S^1_2: Part B
Mathematical Logic Webinar, por Paulo Santos (Universidade Nova de Lisboa - CMA).
CMAFcIO
Numeral completeness of S^1_2: Part A
Mathematical Logic Webinar, por Paulo Santos (Universidade Nova de Lisboa - CMA).
The role of functions in Frege’s lingua characterica
Mathematical Logic Webinar, por José Mestre (Stirling/St Andrews and LanCog - CFUL).
Algebraic theory of ODEs depending on parameters
Geometry Webinar, por João Pedro dos Santos (Universidade de Paris-Sorbonne e Universidade de Montpellier).
Frege’s Begriffsschrift and second-order logic
Seminário de Lógica Matemática, por Joan San-Millán (Centro de Filosofia das Ciências da Universidade de Lisboa).
On a conjecture of De Giorgi on the first variation of the Modica-Mortola functional
Lisbon Webinar in Analysis in Differential Equations, por Giovanni Bellettini (ICTP / Università di Siena).
Workshop on Combinatorial Optimization
This Workshop will gather specialists in the field of Combinatorial Optimization, from several countries, to present and discuss recent research work around this subject. Luís Gouveia, coordinator of CMAFcIO and José Rui Figueira, president of CEG-IST will present the Opening Session.
On proper direct image in o-minimal expansions of groups
Mathematical Logic Webinar, por Mário Edmundo (Ciências ULisboa, CMAFcIO).
Decidability of Logical Theories and their Combination
Mathematical Logic Webinar, por João Rasga e Cristina Sernadas (Instituto Superior Técnico, Universidade de Lisboa e Instituto de Telecomunicações).
Regularity of transition layers in Allen-Cahn equation
Lisbon Webinar in Analysis in Differential Equations, por Kelei Wang (Wuhan University).
Páginas
- « primeira
- ‹ anterior
- …
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
- 23
- …
- seguinte ›
- última »