## Distinguished Lecture

**Martin Davis**

#### Professor Emeritus, Courant Institute of Mathematical Sciences, New York University

#### University Public Lecture: Algorithms, Equations, and Logic

October 10, 2017 at 4pm in Schenker 151.

#### Department of Mathematics Colloquium: Unsolvability and Undecidability in the Diophantine Realm

October 12, 2017 at 4pm in Monteith 214.

#### Logic Group Colloquium: Pragmatic Platonism

October 13, 2017 at 2pm in Laurel Hall 214.

## Colloquium Series

**Natasha Dobrinen**

#### Professor of Mathematics, University of Denver

#### The universal triangle-free graph has finite big Ramsey degrees

September 21, 2017 at 4pm in Monteith 214.

Reception at 3:30 in Monteith 2nd Floor Lounge.

**Barbara Csima**

#### Professor of Mathematics, University of Waterloo

#### How hard is it to compute an isomorphism?

October 5, 2017 at 4pm in Monteith 214.

Reception at 3:30 in Monteith 2nd Floor Lounge.

**Julia Knight**

#### Charles L. Huisking Professor of Mathematics, University of Notre Dame

#### Complexity in felds of generalized power series

October 19, 2017 at 4pm in Monteith 214.

Reception at 3:30 in Monteith 2nd Floor Lounge.

**Antonio Montalbán**

#### Associate Professor of Mathematics, University of California, Berkeley

#### Vaught’s conjecture in Computability theory

October 26, 2017 at 4pm in Monteith 214.

Reception at 3:30 in Monteith 2nd Floor Lounge.

**Theodore Slaman**

#### Professor of Mathematics, University of California, Berkeley

#### Computability Theory and Diophantine Approximation

November 9, 2017 at 4pm in Schenker 151.

Reception at 3:30 in Monteith 2nd Floor Lounge.