Seminar on Provability, Interpretability, Intuitionism and Arithmetic (PIIA)
This is a seminar series on Provability, Interpretability, Intuitionism and Arithmetic, organized jointly by the universities of Amsterdam, Nijmegen and Utrecht. Each session will consist of informal technical talks, followed by elaborate discussion. The meetings will take place about once a month, either in Amsterdam or Utrecht.
For more information, see http://jeroengoudsmit.com/piia/.