Joint Mathematics Meetings Program by Special Session
Current as of Saturday, January 13, 2007 12:54:12

Program |
Deadlines |
Inquiries: meet@ams.org
Joint Mathematics Meetings
New Orleans, LA, January 5-8, 2007 (Friday - Monday)
Meeting #1023
Associate secretaries: Susan J Friedlander , AMS susan@math.northwestern.edu
James J Tattersall , MAA tat@providence.edu
AMS-ASL Special Session on Logical Methods in Computational Mathematics

Friday January 5, 2007, 8:00 a.m.-10:55 a.m. AMS-ASL Special Session on Logical Methods in Computational Mathematics, I
Organizers: Saugata Basu , Georgia Institute of Technology saugata@math.gatech.edu
Charles N. Delzell , Louisiana State University delzell@math.lsu.edu

8:00 a.m.
General logical metatheorems for functional analysis.
Philipp Gerhardy* , Department of Philosophy, Carnegie Mellon University
(1023-03-1468)
8:30 a.m.
New effective uniformity results in fixed point theory.
Ulrich Kohlenbach* , Darmstadt University of Technology
(1023-03-361)
9:00 a.m.
Proof mining in $CAT(0)$-spaces and $\mathbb R$-trees.
Laurentiu Leustean* , TU Darmstadt, Germany and Institute of Mathematics "Simion Stoilow'' of the Romanian Academy, Bucharest, Romania
(1023-03-1261)
9:30 a.m.
Model elimination and cut elimination.
Grigori Mints* , Stanford University
(1023-03-79)
10:00 a.m.
Phase transitions in logic and combinatorics.
Andreas Weiermann* , Ghent University
(1023-03-1102)
10:30 a.m.
Primitive Recursive Selection Functions for Provable Existential Assertions over Abstract Algebras.
Jeffery Zucker* , McMaster University, Hamilton, Canada
(1023-03-628)

Friday January 5, 2007, 2:15 p.m.-4:40 p.m. AMS-ASL Special Session on Logical Methods in Computational Mathematics, II
Organizers: Saugata Basu , Georgia Institute of Technology saugata@math.gatech.edu
Charles N. Delzell , Louisiana State University

2:15 p.m.
Managing an NP-Complete Problem.
Andrew G. Borden* , St. Mary';s University, San Antonio, Texas
(1023-68-321)
2:45 p.m.
Computational power of bounded arithmetic from the predicative viewpoint.
Sam Buss* , University of California, San Diego
(1023-03-604)
3:15 p.m.
Mystery of Point Charges.
Andrei Gabrielov* , Purdue University
Dimitri Novikov , The Weizmann Institute of Science
Boris Shapiro , Stockholm University
(1023-14-756)
3:45 p.m.
Constructing expansions of the real field by restricted transcendental analytic functions with decidable theories.
Daniel J. Miller* , Emporia State University
(1023-03-88)
4:15 p.m.
Quantitative results in o-minimal topology.
Thierry Zell* , Georgia State University
(1023-03-153)
MAA Online
Inquiries: meet@ams.org