Saturday, February 29, 2020

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!

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!


No comments:

Post a Comment