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 58, 2007 (Friday  Monday)
Meeting #1023
Associate secretaries:
Susan J Friedlander, AMS susan@math.northwestern.edu
James J Tattersall, MAA tat@providence.edu
AMSASL Special Session on Logical Methods in Computational Mathematics

Friday January 5, 2007, 8:00 a.m.10:55 a.m.
AMSASL 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
(1023031468)

8:30 a.m.
New effective uniformity results in fixed point theory.
Ulrich Kohlenbach*, Darmstadt University of Technology
(102303361)

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
(1023031261)

9:30 a.m.
Model elimination and cut elimination.
Grigori Mints*, Stanford University
(10230379)

10:00 a.m.
Phase transitions in logic and combinatorics.
Andreas Weiermann*, Ghent University
(1023031102)

10:30 a.m.
Primitive Recursive Selection Functions for Provable Existential Assertions over Abstract Algebras.
Jeffery Zucker*, McMaster University, Hamilton, Canada
(102303628)

Friday January 5, 2007, 2:15 p.m.4:40 p.m.
AMSASL 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 NPComplete Problem.
Andrew G. Borden*, St. Mary';s University, San Antonio, Texas
(102368321)

2:45 p.m.
Computational power of bounded arithmetic from the predicative viewpoint.
Sam Buss*, University of California, San Diego
(102303604)

3:15 p.m.
Mystery of Point Charges.
Andrei Gabrielov*, Purdue University
Dimitri Novikov, The Weizmann Institute of Science
Boris Shapiro, Stockholm University
(102314756)

3:45 p.m.
Constructing expansions of the real field by restricted transcendental analytic functions with decidable theories.
Daniel J. Miller*, Emporia State University
(10230388)

4:15 p.m.
Quantitative results in ominimal topology.
Thierry Zell*, Georgia State University
(102303153)
MAA Online
Inquiries: meet@ams.org