Simpson: Recent and Upcoming Talks

I am Stephen G. Simpson, a mathematician at Penn State University.

A writeup of my invited talk at the Feferman Symposium (Stanford, December 1998) is available.
A writeup of my invited talk at the CTA Conference (Boulder, June 1999) is available.
Transparencies for my invited presentations at the New York City Logic Conference (November 1999) are available.
Transparencies for my invited talk at the CMU Philosophy of Mathematics Workshop (December 2000) are available.
Transparencies and other materials for my invited talk at the Workshop on Berechenbarkeitstheorie (Oberwolfach, January 2001) are available.
I organized a Special Session on Reverse Mathematics and gave an invited talk at the 2001 Annual Meeting of the Association for Symbolic Logic in Philadelphia, March 11-13, 2001. My transparencies are available.
I gave an invited one-hour talk in a Symposium on Hilbert's Problems Today in Pisa, Italy, April 5-7, 2001. My abstract and transparencies are available.
I gave an invited one-hour talk at a MAMLS meeting in Washington DC, April 21-22, 2001. My transparencies are available.
I gave an invited one-hour talk at the University of Minnesota, May 2, 2001. My abstract and transparencies are available.
I gave an invited one-hour talk as part of a Symposium on Reverse Mathematics and Computability Theory, at a meeting of the American Philosophical Association, in Minneapolis, May 3-5, 2001. My abstract and transparencies are available.
I gave an invited talk at CMAF at the University of Lisbon, Portugal, July 19, 2001. My abstract and transparencies are available.
I gave an invited 45-minute talk as part of a Special Session on Proof Theory and Foundations of Mathematics, at a sectional meeting of the American Mathematical Society, in Columbus, Ohio, September 21-23, 2001. My abstract and transparencies are available.
I gave an invited 60-minute plenary talk at the 2002 Annual Meeting of the Association for Symbolic Logic, in Las Vegas, Nevada, June 1-4, 2002. My abstract and transparencies are available.
I gave an invited 25-minute talk at a special session on Computability and Models, at the American Mathematical Society Annual Meeting in Baltimore, January 15-18, 2003. My abstract and transparencies are available.
On February 19, 2003, I gave an invited 1-hour talk in the Mathematical Logic Seminar at Carnegie Mellon University.
On February 20, 2003, I gave a talk in the Pure and Applied Logic Colloquium at Carnegie Mellon University.
On June 23-27, 2003, I gave a series of 5 lectures at the Summer School and Workshop on Proof Theory, Computation and Complexity, at the Technical University of Dresden, Germany. My lecture notes are available.
On August 26, 2003 I gave an invited talk in the Mathematical Logic Seminar at Carnegie Mellon University.
On March 6, 2004 I gave an invited one-hour talk at a MAMLS meeting, held at Hofstra University, in Hempstead, Long Island, NY. My abstract and transparencies are available.
In October 24, 2004 I gave an invited 20-minute talk in a special session on Computability Theory and Applications, part of a sectional meeting of the American Mathematical Society, at Northwestern University, Evanston, Illinois. My abstract and transparencies are available.
In January 2005 I gave an invited 45-minute talk in a special session on Reverse Mathematics, part of the AMS-ASL-MAA Joint Mathematics Meetings, January 5-8, 2005, in Atlanta, Georgia. My abstract and transparencies are available.
On August 4 and August 8, 2005, I gave two invited 1-hour talks at a workshop on Recursion Theory, part of a program on Computational Prospects of Infinity at the Institute for Mathematical Sciences of the National University of Singapore. My abstracts and transparencies are available. A paper based on one of my talks is available.
On October 6, 2005 I gave an invited talk in the Mathematical Logic Seminar at Carnegie Mellon University. My abstract and transparencies are available. (This talk was originally scheduled for September 1, 2005.)
During August 7-11, 2006 I attended and gave an invited talk at a workshop on algorithmic randomness at the American Institute of Mathematics in Palo Alto, California. My transparencies are available.
During August 28 - September 1, 2006 I gave a series of invited talks while visiting the Department of Mathematics of the University of Notre Dame in South Bend, Indiana. In particular, I gave a Logic Seminar talk entitled Mass Problems and Degrees of Unsolvability. My transparencies are available.
During October 28-29, 2006 I gave an invited talk at a regional meeting of the American Mathematical Society in Storrs, Connecticut, as part of a special session, Computability Theory, in honor of Manuel Lerman's retirement. I spoke on Mass Problems and Hyperarithmeticity. My abstract is available.
During November 1-5, 2006 I attended and gave a two-hour invited tutorial at the Third International Conference on Computability and Complexity in Analysis, at the Department of Mathematics of the University of Florida. This conference was part of a special logic year at the University of Florida, September 2006 - June 2007, sponsored by the National Science Foundation.
During November 14-17, 2006 I visited the Department of Mathematics at the University of Florida. I gave a talk in the Logic Colloquium. My abstract and transparencies are available.
On January 21, 2007 I gave an invited 50-minute talk at the Massachusetts Institute of Technology as part of a small conference, Topics in Computability, in honor of Richard Shore's 60th birthday. My abstract and transparencies are available.
I gave an invited talk as part of a special session on Computability Theory at the 2007 Annual Meeting of the Association for Symbolic Logic, in Gainesville, Florida, March 10-13, 2007. My abstract and transparencies are available.
From May 27 to June 10, 2007, I participated in a special program on Proof Theory at the Max Planck Institute for Mathematics in Bonn, Germany. My abstracts and slides are available.
On Friday September 14, 2007 I visited the Department of Mathematics at the University of Chicago. I gave a seminar talk on mass problems. My abstract and slides are available.
During September 15-19, 2007 I participated in a workshop on algorithmic randomness at the University of Chicago. This is part of our large collabortive research project which is funded by the National Science Foundation. As part of the workshop I gave a 2-hour tutorial and a 1-hour research talk. My abstract and slides are available.
During Fall 2007 I gave a series of talks in the Penn State Logic Seminar. The theme of the talks is mass problems. My abstracts and slides are available.
During October 18-21, 2007 I participated in a Dynamical Systems Workshop here at the Pennsylvania State University. I gave a one-hour talk on degrees of unsolvability of 2-dimensional subshifts of finite type. My abstract and slides are available.
During February 20-23, 2008 I visited the Mathematical Institute of Tohoku University, in Sendai, Japan. I spoke on mass problems at a workshop in Sendai and a spring school in Matsushima. My abstracts and slides are available.
During April 6-12, 2008 I was an invited participant in a conference on Proof Theory and Constructive Mathematics, held at the Mathematical Research Institute in Oberwolfach, Germany. My research report and slides are available.
During May 19-23, 2008 I participated as an invited plenary speaker in a conference on Computability, Complexity and Randomness held at Nanjing University, Nanjing, China. My abstract and slides are available.
During July 3-8, 2008 I participated as an invited plenary speaker at Logic Colloquium 2008, the annual summer meeting of the Association for Symbolic Logic, held in Bern, Switzerland. My abstract and slides are available.
On November 13, 2008 I gave a talk in the Dynamical Systems Seminar in the Department of Mathematics at the University of Maryland. My abstract and slides are available.
During December 7-12, 2008 I participated as an invited plenary speaker at a conference on Computability, Reverse Mathematics and Combinatorics at the Banff International Research Station for Mathematical Innovation and Discovery in Banff, Canada. My abstract and slides are available.
During January 5-6, 2009 I participated as organizer and speaker in a Special Session on Logic and Dynamical Systems, sponsored by the American Mathematical Society and the Association for Symbolic Logic. The session was part of the Joint Mathematics Meetings in Washington, DC. Some additional information about the session is available. My abstract and slides are available.
During January 30 - February 1, 2009 I participated as an invited plenary speaker at the 15th Very Informal Gathering of Logicians at UCLA. This VIG was in honor of the 60th birthday of my former Ph.D. student John Steel. My abstract and slides are available.
During April 3-5, 2009 I participated as an invited speaker at a philosophy of mathematics conference at New York University. My slides and the text of my talk are available.
During May 27-31, 2009 I participated in a workshop on algorithmic randomness at the University of Wisconsin. This is part of our large collabortive research project which is funded by the National Science Foundation. As part of the workshop I gave a 1-hour talk. My abstract and slides are available.
During June 22-29, 2009 I participated as an invited plenary speaker at the 11th Asian Logic Conference in Singapore. My abstract and slides are available.
On September 14, 2009 I gave a talk in the Computer Science Theory Seminar in the Department of Computer Science and Engineering here at Penn State. My slides are available.
During November 6-8, 2009 I participated as an organizer and invited speaker in a workshop on Reverse Mathematics: Foundations and Applications at the University of Chicago. My slides are available.
During January 4-8, 2010 I participated in a workshop on algorithmic randomness at the University of Hawaii. This is part of our large collabortive research project which is funded by the National Science Foundation. As part of the workshop I gave a 1-hour talk. My abstract and slides are available.
During February 8-12, 2010 I will participate in a workshop on dynamics and computation at the Centre International de Rencontres Mathematiques (CIRM) in Marseille, France. As part of the workshop I will lead an afternoon session on degrees of unsolvability and symbolic dynamics.
During March 27-28, 2010 I will give an invited talk as part of a special session on Interactions between Logic, Topology, and Complex Analysis, at a regional meeting of the American Mathematical Society in Lexington, Kentucky.
During May 24-28, 2010 I will attend the 5th Conference on Logic, Computability and Randomness. This conference will be held at Notre Dame University.

Some of my recent publications are available.


simpson@math.psu.edu    /    14 January 2010