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 fo  Achim D. Br
  2. 2024-03-25  [1] [Haskell] TyDe 2024: First call for papers a  Jesper Cock
  3. 2024-03-21  [1] [Haskell] 14th Panhellenic Logic Symposium    Alex Kavvos
  4. 2024-03-20  [1] [Haskell] Postdoc positions on foundations o  J. Garrett 
  5. 2024-03-19  [1] [Haskell] Utrecht Summer School on Advanced   Wouter Swie
  6. 2024-03-19  [1] [Haskell] Fwd: PhD positions at Chalmers (1   Koen Claess
  7. 2024-03-15  [1] [Haskell] LOPSTR 2024 -- Call for Papers      Daniel Jurj
  8. 2024-03-14  [1] [Haskell] PhD position: Software Verificatio  Thomas van 
  9. 2024-03-13  [1] [Haskell] FUNARCH 2024: Call for Papers       ICFP Public
 10. 2024-03-11  [1] [Haskell] CFP: Haskell Symposium 2024         J. Garrett 
 11. 2024-03-11  [1] [Haskell] ICFP 2024: Call for Tutorials       ICFP Public
 12. 2024-03-07  [1] [Haskell] MSFP 2024 Call for Papers (short a  Favonia via
 13. 2024-03-05  [1] [Haskell] TYPES 2024: Call for Contributions  Patrick Bah
 14. 2024-03-04  [1] [Haskell] Midlands Graduate School (MGS)      Graham Hutt