28 Oct 16:19 2014Hendrik Tews
*Job announcement: formal methods engineer and scientific developer at
26 Oct 15:40 2014Klaus Havelund
*NFM 2015 - final call for papers
23 Oct 08:30 2014Liu Yang (Asst Prof
*Multiple Postdoc Positions on Formal Methods for Cyber Security
21 Oct 10:14 2014Tom Schrijvers
*Postdoc Position in Functional and Constraint Programming at KU Leuven
20 Oct 13:08 2014Michael Hanus
*RTA 2015 - First Call For Papers
17 Oct 11:45 2014Liu Yang (Asst Prof
*ICFEM 2014, Luxembourg, 3-7 November 2014: Last Call for Participation
16 Oct 15:14 2014Yaron Minsky
*[JOB] Summer internships at Jane Street
14 Oct 20:05 2014Mateusz Kowalczyk
*ANN: yi-0.10.0 , the text editor written in Haskell
10 Oct 14:59 2014José Pedro Magalhães
*Mathematics of Program Construction (MPC 2015): first call for papers
10 Oct 00:32 2014David Van Horn
*ICFP 2015 Call for Workshop and Co-located Event Proposals
9 Oct 06:07 2014Daniel Santa Cruz
*Haskell Weekly News: Issue 309
4 Oct 20:17 2014Klaus Havelund
*NFM 2015 - 3rd call for papers
2 Oct 18:14 2014Slim Kallel
*Call for Workshop Proposals - SERA 2015
1 Oct 19:26 2014Graham Hutton
*Journal of Functional Programming - Call for PhD Abstracts
30 Sep 01:10 2014Tarmo Uustalu
*ETAPS 2015 final call for papers
26 Sep 19:56 2014Michael Litchard
*Haskell Digest, Vol 133, Issue 16
26 Sep 15:54 2014John Tromp
*Haskell Digest, Vol 133, Issue 16
25 Sep 17:16 2014Neil Ghani
*5Yr Research Fellowships
24 Sep 09:30 2014Graham Hutton
*Nottingham Research Fellowships (deadline 20th October)
24 Sep 08:06 2014Gabriele Keller
*JFP special issue on parallel and concurrent FP
24 Sep 00:59 2014Jonathan Daugherty
*[ANN] cabal-dev officially deprecated in favor of cabal sandboxes
24 Sep 12:45 2014Niklas Hambüchen
**[ANN] cabal-dev officially deprecated in favor of cabal sandboxes
24 Sep 18:49 2014Jonathan Daugherty
***[ANN] cabal-dev officially deprecated in favor of cabal sandboxes
23 Sep 15:21 2014Ylies Falcone
*Last CFP: ACM Symposium on Applied Computing Software Verification and
22 Sep 17:34 2014Tom Schrijvers
*Postdoctoral Position in Programming Languages at KU Leuven
18 Sep 06:28 2014Daniel Santa Cruz
*Haskell Weekly News: Issue 306
25 Sep 05:54 2014Daniel Santa Cruz
**Haskell Weekly News: Issue 307
17 Sep 11:01 2014Stefan Wehr
*ANN: HacBerlin - Haskell Hackathon in Berlin, 26-28 Sep 2014
17 Sep 10:41 2014Stefan Wehr
*[ANN] BOB 2015: Call for Contributions
16 Sep 23:00 2014Francesco Calimeri
*LPNMR 2015 - Preliminary Call for Papers - 13th International Conferen
15 Sep 19:11 2014Henning Thielemann
*ANN: patch-image
11 Sep 13:19 2014German Vidal
*PhD position - Computer assisted validation in Erlang
11 Sep 10:50 2014Liu Yang (Asst Prof
*ICFEM 2014 Call for Participation
8 Sep 00:25 2014Stephen Britton
*ANNOUNCE: New Hackage release - LargeCardinalHierarchy-0.0.1
8 Sep 18:01 2014Mateusz Kowalczyk
**ANNOUNCE: New Hackage release - LargeCardinalHierarchy-0.0.1
6 Sep 14:45 2014Jurriaan Hage
*ANN: Helium now available from Hackage
2 Sep 12:32 2014Tarmo Uustalu
*ETAPS 2015 2nd call for papers
2 Sep 09:23 2014publicityifl
*Third call for papers, IFL 2014
2 Sep 06:23 2014liyuanfang
*CFP: PRDC2014 Call for Participation
1 Sep 15:27 2014Temur Kutsia
*SCSS 2014: Call for short and work-in-progress papers
31 Aug 15:50 2014Mateusz Kowalczyk
*[ANN] haddock-2.15-0, haddock-api-2.15-0, haddock-library-1.1.1
30 Aug 00:56 2014Andreas Abel
*ANN: Agda 2.4.2
29 Aug 22:27 2014Dominic Duggan
*Postdoctoral Researcher at Stevens Institute of Technology in domain-s
29 Aug 09:33 2014Stefan Wehr
*[ANN] HacBerlin - Haskell Hackathon in Berlin, 26-28 Sep 2014
28 Aug 07:40 2014Daniel Santa Cruz
*Haskell Weekly News: Issue 303
27 Aug 20:32 2014John Alfred Nathanael Chee
*ANN: cgi 3001.2.0.0
23 Aug 22:35 2014Bryan Gardiner
*ANNOUNCE: goatee, goatee-gtk: Go game editor
22 Aug 11:58 2014Slim Kallel
*CFP - JSS, Elsevier - Special issue on adaptive and reconfigurable sof
21 Aug 06:20 2014Daniel Santa Cruz
*Haskell Weekly News: Issue 302
18 Aug 10:16 2014Edward Kmett
*CUFP 2014: Call For Participation
17 Aug 21:02 2014Stefan Wehr
*[ANN] BOB 2015: Call for Contributions
15 Aug 18:54 2014Corey O'Connor
*ANNOUNCE: vty 5.2.0 and vty-examples 5.2.0
15 Aug 19:49 2014Corey O'Connor
**ANNOUNCE: vty 5.2.0 and vty-examples 5.2.0
16 Aug 05:36 2014Mateusz Kowalczyk
**ANNOUNCE: vty 5.2.0 and vty-examples 5.2.0
16 Aug 18:49 2014Corey O'Connor
***ANNOUNCE: vty 5.2.0 and vty-examples 5.2.0
15 Aug 07:24 2014Cristian Andrei Gherghina
*APLAS 2014: Call for Posters and Demo
11 Aug 10:17 2014Janis Voigtlaender
*WLP/WFLP - Call for Participation - September 15-17
1 Aug 23:50 2014David Van Horn
*ICFP 2014 Final Call for Participation
29 Jul 17:22 2014Tarmo Uustalu
*ETAPS 2015 1st call for papers
28 Jul 21:16 2014Runtime Verification
*RV 2014: Call for Participation
27 Jul 14:59 2014Jacob Johannsen
*PPDP 2014: Program and 2nd Call for Participation
24 Jul 18:48 2014Hongseok Yang
*HOPE 2014 Call for Participation (with Workshop Program)
24 Jul 17:19 2014Sebastian Erdweg
*Call for Talk Proposals: Domain-Specific Language Design and Implement
24 Jul 15:27 2014Mary Sheeran
*FHPC 2014 (and reminder about ICFP early reg)
22 Jul 14:39 2014Stefan Wehr
*Call for participation: Haskell tutorial at CUFP on 4 Sep 2014
21 Jul 21:45 2014Huibiao Zhu
*TASE 2014:CALL FOR PARTICIPATION
14 Jul 17:15 2014Stefan Wehr
*ANN: HacBerlin - Haskell Hackathon in Berlin, 26-28 Sep 2014
14 Jul 16:30 2014Sebastian Erdweg
*Call for Talk Proposals: Parsing@SLE
12 Jul 21:49 2014Levent Erkok
*[ANNOUNCE] New release of SBV (v3.1)
12 Jul 11:59 2014José Pedro Magalhães
*Call for participation: Workshop on Generic Programming
14 Jul 17:08 2014Gautier DI FOLCO
**Call for participation: FOSDEM 2015
12 Jul 00:00 2014Jacob Johannsen
*PPDP 2014 Call for Participation
11 Jul 15:40 2014Austin Seipp
*ANNOUNCE: GHC version 7.8.3
11 Jul 07:25 2014Achim D. Brucker
*OCL 2014: Submission Deadline Extended by One Week
10 Jul 07:43 2014Janis Voigtlaender
*PEPM 2015: Call for papers
8 Jul 15:45 2014Graham Hutton
*Nottingham Research Fellowships
7 Jul 03:41 2014oleg
*ML Family workshop: First Call for Participation
5 Jul 03:44 2014liyuanfang
*CFP: PRDC2014 Call for Fast Abstracts / Industry Track Papers / Poster
4 Jul 16:11 2014Janis Voigtlaender
*HART 2014 - deadline extended
3 Jul 17:15 2014Achim D. Brucker
*Final Call for Papers: OCL 2014 Submissions Due in One Week
3 Jul 07:59 2014Daniel Santa Cruz
*Haskell Weekly News: Issue 298
2 Jul 12:50 2014Michal Konečný
*PhD studentship on interval computation in Haskell
2 Jul 16:15 2014Bruno Oliveira
**Haskell-related PhD Scholarships in Hong Kong
30 Jun 13:11 2014Henrik Nilsson
*FARM 2014 Call for Participation
27 Jun 22:24 2014Nick Shukla
*I've just published an introductory book on Haskell Data Analysis
28 Jun 06:34 2014Francesco Ariis
**I've just published an introductory book on Haskell Data Analysis
30 Jun 19:24 2014Heinrich Apfelmus
**I've just published an introductory book on Haskell Data Analysis
26 Jun 20:55 2014David Van Horn
*ICFP 2014 Call for Participation
26 Jun 16:21 2014Johannes Waldmann
*2nd CfP: WFLP 2014 - Workshop on Functional and (Constraint) Logic Pro
26 Jun 09:04 2014Clemens Grelck
*HLPP 2014 - 7th Symposium on High-Level Parallel Programming and Appli
24 Jun 19:07 2014Temur Kutsia
*SCSS 2014: Deadline extension
23 Jun 15:02 2014Graham Hutton
*New Assistant Professorship in Nottingham
23 Jun 02:13 2014Peter Kaldenberg
*image conversion
23 Jun 07:22 2014Francisco Chaves
**image conversion
22 Jun 11:41 2014Neil Ghani
*Professorship Available
21 Jun 16:44 2014Andrew Gill
*ANNOUNCE: blank-canvas
18 Jun 16:02 2014Alberto G. Corona
*ANNOUNCE: haste-perch
18 Jun 09:43 2014Mateusz Kowalczyk
*ANN: haddock-library 1.0.0
13 Jun 21:39 2014Achim D. Brucker
*Second Call for Papers: OCL 2014
13 Jun 06:21 2014Janis Voigtlaender
*HART 2014 - Second Workshop on Haskell And Rewriting Techniques (co-lo