## Joint Mathematics Meetings Other Invited Addresses

Current as of Saturday, January 25, 2014 00:29:03

### Joint Mathematics Meetings

Baltimore Convention Center, Hilton Baltimore, and Baltimore Marriott Inner Harbor Hotel, Baltimore, MD

January 15-18, 2014 (Wednesday - Saturday)

Meeting #1096

#### Associate secretaries:

**Georgia Benkart**, AMS benkart@math.wisc.edu

**Gerard A. Venema**, MAA venema@calvin.edu

Links to abstracts will be available approximately one week (for sectional meetings) to four weeks (for national meetings) after the abstracts deadline.

#### Invited Addresses of Other Organizations

**Jeremy Avigad**, Departments of Philosophy and Mathematical Sciences, Carnegie Mellon University,*Formal verification, interactive theorem proving, and automated reasoning.*(ASL)**Georgia Benkart**, University of Wisconsin-Madison,*Walking on graphs the Representation Theory way.*(AWM)**Nathaniel Dean**, Texas State University, San Marcos,*Solving our human problems.*(NAM)**Damir D Dzhafarov**, University of Connecticut,*New directions in reverse mathematics.*(ASL)**Su Gao**, University of North Texas,*The complexity of isomorphism problems in symbolic dynamics.*(ASL)**Arthur D. Grainger**, Morgan State University,*On the structure of $\beta S_J$.*(NAM)**Joel David Hamkins**, The City University of New York, College of Staten Island & CUNY Graduate Center,*Embeddability amongst the countable models of set theory.*(ASL)**Maryanthe Malliaris**, University of Chicago,*The asymptotic structure of unstable theories.*(ASL)**Alice Medvedev**, City College of New York, CUNY,*A model theorist's geometry: Lascar rank, (non)orthogonality, triviality.*(ASL)**Eitan Tadmor**, University of Maryland,*On variational formulation of entropy solutions to nonlinear conservation laws.*(SIAM)