haskell

2019-10-01 - 2019-11-01 (16 messages)

2019-09-01 - 2019-10-01 (23 messages)

2019-08-01 - 2019-09-01 (7 messages)

  1. 2019-09-26  [1] [Haskell] [EDI-2020] Call for workshop propo  Wim Ectors 
  2. 2019-09-26  [1] [Haskell] [ABMTRANS-2020] 9th International   Wim Ectors 
  3. 2019-09-25  [1] [Haskell] FM'19 - Last call for participatio  Renato Neve
  4. 2019-09-24  [1] [Haskell] ANNOUNCE: mmsyn2 -- a new library   olexandr543
  5. 2019-09-21  [8] [Haskell] ANNOUNCE: mm2: The library that ca  olexandr543
  6. 2019-09-21  [1] [Haskell] ANNOUNCE: mm2 -- the library that   olexandr543
  7. 2019-09-17  [1] [Haskell] Call for Contributions: BOB 2020 [  Stefan Wehr
  8. 2019-09-17  [1] [Haskell] FLOPS 2020 First Call for papers    Keisuke Nak
  9. 2019-09-17  [1] [Haskell] NWPT 2019 submission deadline exte  Tarmo Uusta
 10. 2019-09-16  [1] [Haskell] Invitation to the 2nd European For  Yazan Muall
 11. 2019-09-16  [1] [Haskell] CFP - The 4th International Worksh  Yazan Muall
 12. 2019-09-06  [1] [Haskell] CFP for Certified Programs and Pro  Dominique D
 13. 2019-09-04  [1] [Haskell] SPLASH 2019 Call for Participation  Aggelos Bib
 14. 2019-09-03  [1] [Haskell] FM'19 - 2nd Call for Participation  Renato Neve
 15. 2019-09-02  [1] [Haskell] SLE 2019: Call for Endorsements -   Andrei Chis
 16. 2019-09-01  [1] [Haskell] PEPM 2020 Call for Papers           Casper Bach