Effective methods in metric analysis
Scope
The seminar is related to the research project Proof mining in metric analysis, geometric group theory and ergodic theory.
Proof mining is a paradigm of research concerned with the extraction of hidden finitary and combinatorial content, such as algorithms and effective bounds, from proofs that make use of highly infinitary principles.
Metric analysis concerns the use of analysis in order to get insigths on the various approximate algebraic structures, asymptotic or infinitesimal properties of interesting classes of metric spaces.
Coordinators
Marius Buliga, Laurentiu Leustean
Talks
An introduction to pseudocontractive mappings III
Speaker: Daniel Ivan
Nov 27, 2013, 14:00
Sala 306-307 "Constantin Banica", IMAR
An introduction to pseudocontractive mappings II
Speaker: Daniel Ivan
Nov 22, 2013, 10:00
Sala 306-307 "Constantin Banica", IMAR
An introduction to pseudocontractive mappings
Speaker: Daniel Ivan
Nov 15, 2013, 10:00
Sala 306-307 "Constantin Banica", IMAR
The reflection method to solve the convex feasibility problem in geodesic spaces
Speaker: Aurora Fernandez-Leon
(University of Seville)
Jun 12, 2013, 10:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
Baire categories for Alexandrov surfaces with curvature bounded below
Speaker: Joel Rouyer
Jun 5, 2013, 10:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
Distance funtions on convex surfaces
Speaker: Costin Vilcu
(IMAR)
May 29, 2013, 10:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
Ricci curvature of Markov chains on metric spaces, after Yann Ollivier
Speaker: Marius Buliga
Feb 27, 2013, 10:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
Introduction to Wasserstein distance
Speaker: Marius Buliga
Feb 20, 2013, 10:00
Sala 306-307 "Constantin Banica", IMAR
Convergence and fixed points in reflexive metric spaces
Speaker: Adriana Nicolae
Jan 23, 2013, 10:00
Sala 306-307 "Constantin Banica", IMAR
Reflexive metric spaces. Examples and properties
Speaker: Adriana Nicolae
Jan 16, 2013, 10:00
Sala 306-307 "Constantin Banica", IMAR
Model theory for metric structures
Speaker: Daniel Ivan
Jun 7, 2012, 13:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
Lambda calculus for spaces with dilations (III)
Speaker: Marius Buliga
Jun 5, 2012, 13:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
Lambda calculus for spaces with dilations (II)
Speaker: Marius Buliga
May 31, 2012, 13:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
Lambda calculus for spaces with dilations (I)
Speaker: Marius Buliga
May 29, 2012, 13:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
Logical metatheorems for metric analysis (IX)
Speaker: Laurentiu Leustean
Apr 5, 2012, 12:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
Logical metatheorems for metric analysis (VIII)
Speaker: Laurentiu Leustean
Mar 29, 2012, 12:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
Logical metatheorems for metric analysis (V)
Speaker: Laurentiu Leustean
Mar 15, 2012, 12:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
Logical metatheorems for metric analysis (IV)
Speaker: Laurentiu Leustean
Mar 12, 2012, 13:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
Logical metatheorems for metric analysis (III)
Speaker: Laurentiu Leustean
Mar 8, 2012, 12:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
Metric spaces with dilations (V)
Speaker: Marius Buliga
Mar 5, 2012, 13:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
Metric spaces with dilations (IV)
Speaker: Marius Buliga
Mar 1, 2012, 12:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
Logical metatheorems for metric analysis (II)
Speaker: Laurentiu Leustean
Feb 27, 2012, 13:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
Logical metatheorems for metric analysis (I)
Speaker: Laurentiu Leustean
Feb 23, 2012, 12:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
Metric spaces with dilations (III)
Speaker: Marius Buliga
Feb 21, 2012, 13:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
Metric spaces with dilations (II)
Speaker: Marius Buliga
Feb 16, 2012, 12:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
Metric spaces with dilations (I)
Speaker: Marius Buliga
Feb 9, 2012, 12:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
Nonexpansive mappings in uniformly convex geodesic spaces (IV)
Speaker: Laurentiu Leustean
Feb 7, 2012, 13:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
Nonexpansive mappings in uniformly convex geodesic spaces (III)
Speaker: Laurentiu Leustean
Jan 31, 2012, 13:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
Nonexpansive mappings in uniformly convex geodesic spaces (II)
Speaker: Laurentiu Leustean
Jan 26, 2012, 12:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
Nonexpansive mappings in uniformly convex geodesic spaces (I)
Speaker: Laurentiu Leustean
Jan 24, 2012, 13:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
An overview of proof mining
Speaker: Laurentiu Leustean
Jan 19, 2012, 12:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
The second Minkowski Theorem II
Speaker: Emanuel Vlad
Jan 17, 2012, 13:00
Sala 309-310 "Gheorghe Vranceanu", IMAR
The second Minkowski Theorem I
Speaker: Emanuel Vlad
Jan 11, 2012, 10:00
Sala 412 "Grigore Moisil", IMAR
The first Minkowski theorem
Speaker: Emanuel Vlad
Dec 14, 2011, 10:00
Sala 412 "Grigore Moisil", IMAR