[TYPES/announce] Special Issue on ``Quantum Software: Theory and Practice”--Second CfP

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Special Issue on ``Quantum Software: Theory and Practice” Journal: Quantum Machine Intelligence (Springer) Guest Editors: Alessandra Di Pierro Alejandro Perdomo-Ortiz Margherita Zorzi

[TYPES/announce] Special Issue on Quantum Software: Theory and Practice - Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Special Issue on ``Quantum Software: Theory and Practice” Journal: Quantum Machine Intelligence (Springer) Guest Editors: Alessandra Di Pierro and Margherita Zorzi Submission Deadline: June

[TYPES/announce] 1-year Post-Doc Position at University of Verona-- Quantum Programming Languages

://quilabverona.wordpress.com/). The scientific advisor of the project is Margherita Zorzi (email: margherita.zo...@univr.it). The research project is concerned with formal methods and quantum computation, with a particular focus on quantum languages design and implementation. Please find attached a flyer