May 2016 Archives by subject

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...

Starting: Sun May 1 10:53:28 UTC 2016
Ending: Tue May 31 22:02:37 UTC 2016
Messages: 34

• [Haskell] 1st CfP: IFL 2016 (28th Symposium on Implementation and Application of Functional Languages)   publicityifl at gmail.com
• [Haskell] 2-year postdoctoral position in programming languages at LFCS   James Cheney
• [Haskell] 2nd Call for Papers: WFLP 2016 - Update: EPTCS Proceedings   Janis Voigtlaender
• [Haskell] [ANN] Final Call for Papers: Erlang Workshop 2016 -- Submission deadline (3 June) approaching   Erlang Workshop
• [Haskell] [ANNOUNCE] GHC 8.0.1 is available!   Ben Gamari
• [Haskell] [Final CFP] Haskell 2016   Geoffrey Mainland
• [Haskell] [Haskell-cafe] Call for Contributions - Haskell Communities and Activities Report, May 2016 edition (30th edition)   Ben Gamari
• [Haskell] [TFP'16] call for participation   Peter Achten
• [Haskell] ANNOUNCE: Haskell Communities and Activities Report (30th ed., May 2016)   Mihai Maruseac
• [Haskell] Announce: Haskell Platform 8.0.1   Gershom B
• [Haskell] Announce: Haskell Platform 8.0.1   Takenobu Tani
• [Haskell] ANNOUNCE: Sifflet 2.3.0 - recursion learning aid / visual programming language   gdweber at iue.edu
• [Haskell] ANNOUNCE: testbench-0.1.0.0   Ivan Lazar Miljenovic
• [Haskell] Call for contribution, PLRR 2016 (Parametricity, Logical Relations & Realizability), CSL affiliated workshop   Christophe Raffalli
• [Haskell] Call for papers: 21th International Conference on Engineering of Complex Computer Systems (ICECCS 2016), Dubai, United Arab Emirates, November 6-8 2016   liyuanfang at gmail.com
• [Haskell] Call for Papers: OCL and Textual Modeling Tools and Textual Model Transformations (OCL 2016) - Submit Your Paper Until July 17, 2016   Achim D. Brucker
• [Haskell] Call for Papers: WFLP 2016 - Workshop on Functional and (Constraint) Logic Programming   Janis Voigtlaender
• [Haskell] CFP (Approaching Deadline): 19th ACM/IEEE MSWiM 2016   Robson De Grande
• [Haskell] CFP (Approaching Deadline): IEEE DS-RT 2016 - Special Session tracks   Robson De Grande
• [Haskell] CFP: ACM MobiWac 2015 - November 13 - 17, 2016, Malta   Robson De Grande
• [Haskell] CFP: WADT 2016   JAMES P. (366409)
• [Haskell] CFP: Workshop on Type-driven Development (TyDe '16)   Wouter Swierstra
• [Haskell] DEADLINE EXTENSION: 19th ACM/IEEE MSWiM 2016 - Malta, Nov 13-17, 2016   Robson De Grande
• [Haskell] Dev/tools/git/Haskell role in London   Don Stewart
• [Haskell] DSLDI 2016: Call for Talk Proposals   Eric Walkingshaw
• [Haskell] LPTI'16 Call for Papers   Frantisek Farka
• [Haskell] NFM 2016 - Call for participation   Klaus Havelund
• [Haskell] PPDP 2016 - Last Call for Papers   German Vidal
• [Haskell] SIGPLAN Programming Languages Mentoring Workshop @ ICFP   Lindsey Kuper
• [Haskell] SPLASH'16: 1st Call for Contributions to Collocated Events   Tijs van der Storm
• [Haskell] SPLASH-I 2016: Call for Talk Proposals!   Tijs van der Storm
• [Haskell] SPLASH 2016: Call for Sponsorships   Tijs van der Storm
• [Haskell] Summer of Haskell Mentors   Edward Kmett
• [Haskell] Trustworthy Refactoring project: Research Associate Positions in Refactoring Functional Programs and Formal Verification (for CakeML)   Simon Thompson

Last message date: Tue May 31 22:02:37 UTC 2016
Archived on: Tue May 31 21:54:05 UTC 2016

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...