[Haskell] Postdoc and PhD position in homotopy type theory

Dear all, I would like to invite applications for one postdoctoral position and one PhD position in homotopy type theory or related areas at the University of Nottingham, UK. Our group in Nottingham has three academics (Ulrik Buchholtz, Thorsten Altenkirch, myself) and multiple PhD students workin

[Haskell] The 19th International Conference on Mobile Systems and Pervasive Computing (MobiSPC)

-- Apologies for cross-posting. -- The 19th International Conference on Mobile Systems and Pervasive Computing (MobiSPC) Niagara Falls, Canada August 9-11, 2022 http://cs-conferences.acadiau.ca/mobispc-22/ -