haskell

2021-02-01 - 2021-03-01 (32 messages)

2021-01-01 - 2021-02-01 (19 messages)

2020-12-01 - 2021-01-01 (22 messages)

  1. 2021-01-31  [1] [Haskell] ETAPS Test of Time Award 2021, cal  Tarmo Uusta
  2. 2021-01-26  [2] [Haskell] International Conference on Applie  Emilia Marc
  3. 2021-01-25  [1] [Haskell] International Conference on Inform  Emilia Marc
  4. 2021-01-25  [1] [Haskell] International Conference on Recent  Emilia Marc
  5. 2021-01-23  [1] [Haskell] [Smart Cities] Invitation: Special  Aneta_Ponis
  6. 2021-01-23  [1] [Haskell] [Electronics] Invitation: Special   Aneta_Ponis
  7. 2021-01-22  [1] [Haskell] SEIT-21: 11th International Confer  Aneta Ponis
  8. 2021-01-22  [1] [Haskell] =?cp1250?q?=5BInformation=5D_Invit  aneta.ponis
  9. 2021-01-22  [1] [Haskell] [Lambda Days + TFP + TFPIE 2021] c  Peter Achte
 10. 2021-01-21  [1] [Haskell] MobiSPC 2021: Call for Workshop Pr  Muhammad AD
 11. 2021-01-20  [1] [Haskell] Formal Methods 2021 -- 2nd call fo  Jun PANG 
 12. 2021-01-12  [1] [Haskell] 14 Jan 2021 at 5pm CET - ZOOM - Pu  Rozman, Mih
 13. 2021-01-11  [1] [Haskell] 2nd Call for Participation: BOB 20  Stefan Wehr
 14. 2021-01-08  [1] [Haskell] PEPM 2021 - Call for Participation  Sam Lindley
 15. 2021-01-08  [1] [Haskell] [TFP'21] final call for papers: Tr  Peter Achte
 16. 2021-01-06  [1] [Haskell] fully funded PhD position on verif  Andrei Pope
 17. 2021-01-04  [1] [Haskell] Nominations close Jan 11th for the  Simon Peyto
 18. 2021-01-04  [1] [Haskell] [TFPIE'21] Third and Final Call Fo  Peter Achte