[Haskell] 3-year Research Associate or Research Assistant position in formal verification, using a proof assistant (preferably Isabelle), at the University of Sheffield

Dear colleagues, We have an opening for a 3-year position of either research associate or research assistant at the University of Sheffield, UK. It is on a project called "Safe and secure concurrent programming for advanced hardware architectures" and involves modelling and verification using a

[Haskell] [CFP] HOPE'23: ACM SIGPLAN Workshop on Higher-Order Programming with Effects (2nd CFP)

TL;DR Deadline for HOPE 2023 abstracts is on May 31, 2023. Details below. -- HOPE 2023 The 11th ACM SIGPLAN Workshop on Higher-Order Programming with Effects

[Haskell] SAS 2023 - Final CFP - Extended deadlines (updates until May 1st)

(Apologies for multiple postings) NEW! Are you running late in preparing your SAS paper? No worries! Submit what you have (e.g., title and abstract) and you will have one extra week until May 1 for updating your paper (and May 6 for your artifact).

[Haskell] SEIT 2023 CfPs: Deadline extension (FINAL): Apr. 21, 2023]: The 13th International Conference on Sustainable Energy Information Technology (SEIT 2023)

The 13th International Conference on Sustainable Energy Information Technology (SEIT) Halifax, Nova Scotia, Canada August 14-16, 2023 Conference Website: http://cs-conferences.acadiau.ca/seit-23/ The goal of the SEIT