Annunci | STEM

List of discussions. Showing 8 of 8 discussions
Discussion	Started by	Last post
info on the course TYPE THEORY 2022/2023	Maria Emilia Maietti 28 Feb 2023	Maria Emilia Maietti 28 Feb 2023
NO lecture on Thursday 6th April	Maria Emilia Maietti 31 Mar 2023	Maria Emilia Maietti 31 Mar 2023
urgent: please answer the question about the starting date of Prof. Blechschmidt's lectures	Maria Emilia Maietti 4 Apr 2023	Maria Emilia Maietti 4 Apr 2023
urgent rectification: please write to me your preference about the starting date of Prof. ...	Maria Emilia Maietti 5 Apr 2023	Maria Emilia Maietti 5 Apr 2023
next lectures of Type Theory- 13 and 21 April and from 27 April onwards	Maria Emilia Maietti 11 Apr 2023	Maria Emilia Maietti 11 Apr 2023
memo: today last theory lecture of Type Theory but at 3 pm	Maria Emilia Maietti 21 Apr 2023	Maria Emilia Maietti 21 Apr 2023
tomorrow at 4.30 pm: beginning of the lectures on Agda	Maria Emilia Maietti 26 Apr 2023	Maria Emilia Maietti 26 Apr 2023
TODAY-TOMORROW LECTURES ONLINe + zoom link + email prof. Ingo Blechschmidt -	Maria Emilia Maietti 4 May 2023	Maria Emilia Maietti 4 May 2023