haskell

2024-04-01 - 2024-05-01 (14 messages)

2024-03-01 - 2024-04-01 (14 messages)

2024-02-01 - 2024-03-01 (11 messages)

  1. 2024-03-30  [1] [Haskell] PostDoc in using Formal Methods for finding haskell   Achim D. Bruc
  2. 2024-03-25  [1] [Haskell] TyDe 2024: First call for papers and extend haskell   Jesper Cockx 
  3. 2024-03-21  [1] [Haskell] 14th Panhellenic Logic Symposium            haskell   Alex Kavvos 
  4. 2024-03-20  [1] [Haskell] Postdoc positions on foundations of type cl haskell   J. Garrett Mo
  5. 2024-03-19  [1] [Haskell] Utrecht Summer School on Advanced Functiona haskell   Wouter Swiers
  6. 2024-03-19  [1] [Haskell] Fwd: PhD positions at Chalmers (1 in FP sup haskell   Koen Claessen
  7. 2024-03-15  [1] [Haskell] LOPSTR 2024 -- Call for Papers              haskell   Daniel Jurjo 
  8. 2024-03-14  [1] [Haskell] PhD position: Software Verification for Pro haskell   Thomas van Bi
  9. 2024-03-13  [1] [Haskell] FUNARCH 2024: Call for Papers               haskell   ICFP Publicit
 10. 2024-03-11  [1] [Haskell] CFP: Haskell Symposium 2024                 haskell   J. Garrett Mo
 11. 2024-03-11  [1] [Haskell] ICFP 2024: Call for Tutorials               haskell   ICFP Publicit
 12. 2024-03-07  [1] [Haskell] MSFP 2024 Call for Papers (short abstracts  haskell   Favonia via H
 13. 2024-03-05  [1] [Haskell] TYPES 2024: Call for Contributions - Deadli haskell   Patrick Bahr 
 14. 2024-03-04  [1] [Haskell] Midlands Graduate School (MGS)              haskell   Graham Hutton