[TYPES/announce] PhD Position

2020-04-30 Thread Matthijs Vákár
Matthijs Vákár (m.i.l.va...@uu.nl) Kind regards, Matthijs -- https://www.uu.nl/staff/MILVakar

[TYPES/announce] LAFI 2024 - Call for Extended Abstracts (deadline Oct. 27)

2023-09-03 Thread Matthijs Vákár
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] = Call for Extended Abstracts LAFI 2024 Tenth Workshop on Languages for