[Haskell] Postdoc Position on Digitally Enforceable Data Sharing Contracts

2023-05-31 Thread Thomas van Binsbergen via Haskell
To whom may be interested, With this message I would like to bring your attention to a Postdoc vacancy with the following title and summary: Postdoc Position on Digitally Enforceable Data Sharing Contracts The University of Amsterdam (UvA) is looking for a Postdoctoral Researcher in the

[Haskell] Call for Papers: JFP Special Issue on Program Calculation

2023-05-31 Thread Graham Hutton via Haskell
Dear all, We're delighted to announce a Special Issue on Program Calculation for the Journal of Functional Programming. Please share, and submit your best papers! Best wishes, Graham Hutton and Nicolas Wu Guest Editors == JFP