Special Session on Proof Theory @ Irvine 2020 CANCELLED!

Really sad to report that the ASL Annual Meeting at Irvine https://sites.uci.edu/asl2020/ has just been cancelled, due to the public health concerns over COVID-19. we (Elaine Pimentel, Reuben Rowe and I) had a lovely Special Session in Proof Theory organized for it!

General Information The 2020 North American Annual Meeting of the ASL will be held March 25-28 at the University of California, Irvine. Laguna Beach: less than 20 minutes away. Program Committee Liron Cohen (Cornell) James Cummings (Carnegie Mellon) Denis Hirschfeldt (Chicago | Chair) Phokion Kolait...

Elaine Pimentel and Reuben Rowe organized a special session on Proof Theory as part of the 2020 North American Annual Meeting of the Association for Symbolic Logic, at the  University of California, Irvine Irvine, California March 25–28, 2020. They invited me to join them, as they might not be able to come to California. So I'm doing it!

The full program is in this link. Quite a lot happening in the special session, see below!

Amazing how things that look very simple can end up being more complicated than you think.
Life has a habit of changing things when you least expect it.

And yes, I do not think that we're going to see any of the San Joaquin marsh (picture above), but who knows? It showed up when I looked for pictures of Irvine!