haskell

2022-02-01 - 2022-03-01 (12 messages)

2022-01-01 - 2022-02-01 (14 messages)

2021-12-01 - 2022-01-01 (10 messages)

  1. 2022-01-30  [2] [Haskell] Request for Nominations to the GHC Steering haskell   Chris Dornan 
  2. 2022-01-27  [1] [Haskell] LPNMR 2022 - Call for Workshops             haskell   cfp 
  3. 2022-01-25  [1] [Haskell] CMCS 2022: Deadline extension               haskell   Thorsten Wiss
  4. 2022-01-21  [1] [Haskell] CMCS 2022: Final Call for Papers            haskell   Thorsten Wiss
  5. 2022-01-19  [1] [Haskell] LPNMR 2022 - Call for Papers                haskell   cfp 
  6. 2022-01-18  [1] [Haskell] ETAPS Test of Time Award 2022, 2nd call for haskell   Tarmo Uustalu
  7. 2022-01-14  [1] [Haskell] TERMGRAPH 2022 workshop: First Call for Pap haskell   Clemens Grabm
  8. 2022-01-14  [1] [Haskell] Postdoc positions on Formal Verification fo haskell   Taro Sekiyama
  9. 2022-01-13  [1] [Haskell] Call for Participation: BOB 2022 (March 11, haskell   Stefan Wehr 
 10. 2022-01-11  [1] [Haskell] [TFP'22] second call for papers: Trends in  haskell   Peter Achten 
 11. 2022-01-10  [1] [Haskell] CMCS 2022: Second Call for Papers           haskell   Thorsten Wiss
 12. 2022-01-03  [1] [Haskell] Call for STSMs, deadline 16 January 2022    haskell   Ambrus Kaposi
 13. 2022-01-03  [1] [Haskell] PEPM 2022 - Call for Participation          haskell   Youyou Cong