Universiteit van Amsterdam


Institute for Logic, Language and Computation

Seminar on Provability, Interpretability, Intuitionism and Arithmetic (PIIA)

Date: Irregular, monthly
Location: Room varies, Science Park 904, Amsterdam

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/.

The websites of the UvA make use of cookiesThis site uses cookies More informationMore info Hide this message XHide X