[TYPES/announce] one year fellowship in Padova on "Homotopy type theoretic aspects within MF"

[Maria Emilia Maietti]

Dear all

in http://www.math.unipd.it/it/news/?id=2142

you find the application form for a one year fellowship in Padova

to work on "Homotopy type theoretic aspects within the Minimalist 
Foundation".

Deadline of applications: 8th January 2018

For any kind of information please do not hesitate to contact me.

Best wishes

Maria Emilia Maietti