AMS-ASL Special Session on Logic and Analysis
Friday January 7, 2011, 8:00 a.m.-11:50 a.m. AMS-ASL Special Session on Logic and Analysis, I
Napoleon C2, 3rd Floor, Sheraton Organizers: Jeremy Avigad , Carnegie Mellon University avigad@cmu.edu
Ulrich W. Kohlenbach , Technische Universität Darmstadt
Henry Towsner , University of California Los Angeles
8:00 a.m.
Inverting the Furstenberg correspondence.
Jeremy Avigad* , Department of Philosophy, Carnegie Mellon University
(1067-37-1533)
8:30 a.m.
Beyond the Correspondence Principle.
Henry P Towsner* , University of California at Los Angeles
(1067-03-750)
9:00 a.m.
Algorithmic randomness and ergodic theorems.
Mathieu Hoyrup* , LORIA, INRIA Nancy - France
(1067-68-808)
9:30 a.m.
Invariant measures on countable models.
Nathanael L. Ackerman , University of California, Berkeley
Cameron E. Freer* , University of Hawaii at Manoa
Rehana R. Patel , Harvard University
(1067-03-794)
10:00 a.m.
A constructive law of large numbers with applications.
Peter Gacs* , Boston University
(1067-60-2076)
10:30 a.m.
Computability and Complexity of Computable Cauchy Problems.
Ning Zhong* , University of Cincinnati
(1067-03-741)
11:00 a.m.
Recursive analysis of singular ordinary differential equations.
Peter Buser* , Ecole Polytechnique F{é}d{é}rale de Lausanne
Bruno Scarpellini , University of Basel
(1067-03-2034)
11:30 a.m.
Exploratory Experimentation and Computation.
David H Bailey , Lawrence Berkley National Labs
Jonathan M Borwein* , University of Newcastle, NSW Australia
(1067-33-223)
Friday January 7, 2011, 1:00 p.m.-3:50 p.m. AMS-ASL Special Session on Logic and Analysis, II
Napoleon C2, 3rd Floor, Sheraton Organizers: Jeremy Avigad , Carnegie Mellon University avigad@cmu.edu
Ulrich W. Kohlenbach , Technische Universität Darmstadt
Henry Towsner , University of California Los Angeles
MAA Sectional Meetings
|
AMS Sectional Meetings
|
MAA National Meetings
|
AMS National Meetings
|
Inquiries: meet@ams.org