[TYPES/announce] PhD Vacancy: Position on Verifying Quantum Programs

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies for multiple copies.] We are looking for applicants for the PhD project “Towards Zero-Defect Quantum Programs” at RWTH Aachen University. The aim of the project

[TYPES/announce] 2nd CfP AIM37 : Agda Implementors' Meeting XXXVII in Taipei, 20-25 November 2023

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] --- Agda Implementors’ Meeting XXXVII co-located with