Schedule

Distinguished Lecture

Martin Davis

Martin Davis

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

Martin Davis
Download Poster


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

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

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

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 Montalban

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

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.