However, the con of this venue is that it’s expensive, and so I decided to stay at the less amazing Hampton Inn, and commute over in the morning. So far so good. For more information on the symposium check out the webpage.
My talk went quite well, and I am happy that I was not as nervous as I usually am; I think perhaps lecturing regularly has helped with my nerves. After the talk I got a number of good questions which is great. I always get nervous about not getting any.
One question was quite interesting which was “why hasn’t anyone done the cut-elimination and categorical models for non-commutative (full) intuitionistic logic?” I don’t know the answer to this question, but perhaps it would be interesting to write it down.
I might post more later.
Leave a comment by sending me an Email