AMS Sectional Meeting AMS Special Session
Current as of Monday, July 10, 2017 10:39:11
Special Event or Lecture · Inquiries: meet@ams.org
Spring Central Sectional Meeting
Indiana University, Bloomington, IN
April 1-2, 2017 (Saturday - Sunday)
Meeting #1127
Associate secretaries:
Georgia Benkart, AMS benkart@math.wisc.edu
Special Session on Computability and Inductive Definability over Structures
-
Saturday April 1, 2017, 8:30 a.m.-11:15 a.m.
Special Session on Computability and Inductive Definability over Structures, I
BH135, Ballantine Hall
Organizers:
Siddharth Bhaskar, Indiana University skbhaska@iu.edu
Lawrence Valby, Indiana University
Alex Kruckman, Indiana University
-
8:30 a.m.
Traversal-invariant elementary definability for logarithmic-space computation.
Steven Lindell*, Haverford College
Scott Weinstein, University of Pennsylvania
(1127-03-212) -
9:30 a.m.
A Survey of Approaches to Computability over Structures.
Siddharth Bhaskar*, Dept. of Mathematics, Indiana University, Bloomington
(1127-03-394) -
10:30 a.m.
Optimal Scott sentences of finitely generated groups.
Matthew Harrison-Trainor*, University of Callifornia, Berkeley
Meng-Che ``Turbo'' Ho, University of Wisconsin-Madison
(1127-03-371)
-
8:30 a.m.
-
Saturday April 1, 2017, 3:00 p.m.-4:45 p.m.
Special Session on Computability and Inductive Definability over Structures, II
BH135, Ballantine Hall
Organizers:
Siddharth Bhaskar, Indiana University skbhaska@iu.edu
Lawrence Valby, Indiana University
Alex Kruckman, Indiana University
-
3:00 p.m.
Discussion -
4:00 p.m.
Generic Muchnik reducibility.
Uri Andrews, University of Wisconsin, Madison
Julia F. Knight*, University of Notre Dame
Rutger Kuyper, University of Wisconsin, Madison, and Victoria University of Wellington
Joseph S. Miller, University of Wisconsin, Madison
Mariya Soskova, Sofia University and University of Wisconsin, Madison
(1127-03-112)
-
3:00 p.m.
-
Sunday April 2, 2017, 8:00 a.m.-11:45 a.m.
Special Session on Computability and Inductive Definability over Structures, III
BH135, Ballantine Hall
Organizers:
Siddharth Bhaskar, Indiana University skbhaska@iu.edu
Lawrence Valby, Indiana University
Alex Kruckman, Indiana University
-
8:00 a.m.
Behavioural equivlance in coalgebras of finitary functors.
David Sprunger*, Indiana University
(1127-03-382) -
9:00 a.m.
Discussion -
10:00 a.m.
Decomposition, amalgamation, and something like logic programming.
Cameron Donnay Hill*, Wesleyan University
(1127-03-236) -
11:00 a.m.
On the computability of graph Turing machines.
Nathanael L. Ackerman, Harvard University
Cameron E. Freer*, Remine
(1127-03-278)
-
8:00 a.m.
-
Sunday April 2, 2017, 1:00 p.m.-2:45 p.m.
Special Session on Computability and Inductive Definability over Structures, IV
BH135, Ballantine Hall
Organizers:
Siddharth Bhaskar, Indiana University skbhaska@iu.edu
Lawrence Valby, Indiana University
Alex Kruckman, Indiana University
-
1:00 p.m.
Computability in uncountable binary trees.
Reese Johnston*, University of Wisconsin - Madison
(1127-03-248) -
2:00 p.m.
Measures of complexity in computable structure theory.
Noah Schweber*, University of Wisconsin - Madison
(1127-03-405)
-
1:00 p.m.
Inquiries: meet@ams.org