haskell

2024-01-01 - 2024-02-01 (5 messages)

2023-12-01 - 2024-01-01 (8 messages)

2023-11-01 - 2023-12-01 (19 messages)

  1. 2023-12-22  [1] [Haskell] [TFP (and TFPiE) 2024] Call For Participation (January 9-12, S haskell      Peter Achten via Hask
  2. 2023-12-16  [1] Re: [Haskell] 31st Netherlands Functional Programming Day (FP Dag): Call haskell      Jesper Cockx via Hask
  3. 2023-12-15  [1] [Haskell] Call for Participation: BOB 2024 (Berlin, March 15)            haskell      Stefan Wehr 
  4. 2023-12-12  [1] [Haskell] ICFP 2024: Call for Workshops and Co-Located Events            haskell      ICFP Publicity via Ha
  5. 2023-12-10  [1] [Haskell] Certified Programs and Proofs (CPP'24) - Call for Participatio haskell      Brigitte Pientka 
  6. 2023-12-09  [1] [Haskell] Call for STSMs and ITC conference grants, deadline 7 January 2 haskell      simona.k
  7. 2023-12-03  [1] [Haskell] [Deadline Extension] FormaliSE 2024 - Call for Papers          haskell      Abhishek Tiwari 
  8. 2023-12-02  [1] [Haskell] (Extended deadline) CfP: Automated Program and Proof Synthesis haskell      Kristopher K Micinski