saqib · 565 Days ago

[TYPES/announce ] Four ( 4 ) #PhD student positions in dependent type theory for mathematics and computer science https://lists.seas.upenn.edu/pipermail/types-announce/2022/010425.html

None