Joint Mathematics Meetings AMS Special Session
Current as of Saturday, January 13, 2024 03:30:04
- Program
- ·
- Deadlines
- ·
- Timetable
- ·
- Inquiries: meet@ams.org
2024 Joint Mathematics Meetings (JMM 2024)
- Moscone North/South, Moscone Center, San Francisco, CA
- January 3-6, 2024 (Wednesday - Saturday)
- Meeting #1192
Associate Secretary for the AMS Scientific Program:
Michelle Ann Manes, American Institute of Mathematics mmanes@secretariat.ams.org
AMS Special Session on Computable Mathematics: A Special Session Dedicated to Martin D. Davis
-
Wednesday January 3, 2024, 8:00 a.m.-12:00 p.m.
AMS Special Session on Computable Mathematics: A Special Session Dedicated to Martin D. Davis, I
Room 008, The Moscone Center
Organizers:
Valentina S Harizanov, George Washington University harizanv@gwu.edu
Alexandra Shlapentokh, East Carolina University
Wesley Calvert, Southern Illinois University
-
8:00 a.m.
Learnability of Borel Equivalence Relations
Dino Rossegger, TU Wien
Theodore Allen Slaman*, University of California, Berkeley
Tomasz Steifer, Polish Academy of Sciences
(1192-03-30680) -
8:30 a.m.
Dense Computability of Closed Sets
Douglas Cenzer*, University of Florida
(1192-03-28869) -
9:00 a.m.
Word problem of groups as ceers
Uri Andrews, University of Wisconsin-Madison
Meng-Che Ho*, California State University, Northridge
(1192-03-30868) -
9:30 a.m.
Feedback Computability
Cameron E. Freer*, Massachusetts Institute of Technology
(1192-03-29799) -
10:00 a.m.
CANCELLED Definability of Valuations over arithmetically significant Fields
Florian Pop*, University of Pennsylvania
(1192-11-29714) -
10:30 a.m.
Computable categoricity relative to a c.e. degree
Java Villano*, University of Connecticut
(1192-03-28470) -
11:00 a.m.
Recent Results in Differential Field Arithmetic
David Meretzky*, The University of Notre Dame
(1192-03-28792) -
11:30 a.m.
Complexity of well-ordered sets in an ordered Abelian group
Julia F. Knight*, University of Notre Dame, emerita
(1192-03-29607)
-
8:00 a.m.
-
Wednesday January 3, 2024, 1:00 p.m.-5:00 p.m.
AMS Special Session on Computable Mathematics: A Special Session Dedicated to Martin D. Davis, II
Room 008, The Moscone Center
Organizers:
Valentina S Harizanov, George Washington University harizanv@gwu.edu
Alexandra Shlapentokh, East Carolina University
Wesley Calvert, Southern Illinois University
-
1:00 p.m.
Non-injection principles and uniformity
David Belanger, Nanyang Technological University
Damir D. Dzhafarov*, University of Connecticut
Jun Le Goh, National University of Singapore
(1192-03-32344) -
1:30 p.m.
Diophantine parametrization of varieties with no rational points
Travis Morrison*, Virginia Tech
(1192-11-31455) -
2:00 p.m.
Cohesive ultrapowers of directed graphs
Valentina S Harizanov, George Washington University
Keshav Srinivasan*, The George Washington University
(1192-03-29143) -
2:30 p.m.
Embedding of well-known degrees to PAC/PACi degrees.
Gihanee Senadheera*, Winthrop University
(1192-03-32004) -
3:00 p.m.
Semi-retractions and reducing one Ramsey problem to another
Dana Bartosova, University of Florida
Lynn Scow*, California State University, San Bernardino
(1192-03-30336) -
3:30 p.m.
Definability and decidability for integral functions in infinite algebraic extensions of function fields
Alexandra Shlapentokh, East Carolina University
Caleb J Springer*, Heilbronn Institute for Mathematical Research
(1192-11-30740) -
4:00 p.m.
Diophantine equations exemplify Bennett's logical depth for automatic complexity
Bjørn Kjos-Hanssen*, University of Hawaii at Manoa
(1192-03-30320) -
4:30 p.m.
Geometric tools for the decidability of the existential theory of $F_p[[t]]$.
Hans Schoutens*, CUNY
(1192-14-30259)
-
1:00 p.m.
-
Thursday January 4, 2024, 8:30 a.m.-12:00 p.m.
AMS Special Session on Computable Mathematics: A Special Session Dedicated to Martin D. Davis, III
Room 008, The Moscone Center
Organizers:
Valentina S Harizanov, George Washington University harizanv@gwu.edu
Alexandra Shlapentokh, East Carolina University
Wesley Calvert, Southern Illinois University
-
8:30 a.m.
Model theory and algorithms
Maryanthe Malliaris*, University of Chicago
(1192-03-28974) -
9:00 a.m.
Scott Sentence Complexities of Linear Orderings
David Alex Vogel Gonzalez*, University of California, Berkeley
(1192-03-29798) -
9:30 a.m.
On the computability of graph Turing machines
Nathanael Leedom Ackerman*, Harvard University
(1192-03-29800) -
10:00 a.m.
On the complexity of spectra of bounded analytic functions
Timothy H. McNicholl, Department of Mathematics, Iowa State University
Brian Zilli*, Department of Mathematics, Iowa State University
(1192-03-31123) -
10:30 a.m.
An Upper Bound for the Average Rank of Elliptic Curves over Global Function Fields, via 2-Selmer Groups
Niven Achenjang*, MIT
(1192-11-31525) -
11:00 a.m.
Reticence in computable structure theory
Wesley Calvert, Southern Illinois University
Johanna N Y Franklin*, Hofstra University
Daniel Turetsky, Victoria University of Wellington
(1192-03-31799) -
11:30 a.m.
The tree pigeonhole principle in the Weihrauch degrees
David Reed Solomon*, University of Connecticut
(1192-03-29664)
-
8:30 a.m.