17 Apr 01:37 2014Yuan-Fang Li
*Call for papers: The 20th IEEE Pacific Rim International Symposium on
16 Apr 13:13 2014Jeremy Gibbons
*UTP-2014 call for participation
16 Apr 10:14 2014Eden group Marburg - Functiona
*ANN: GHC-7.8.2-Eden - Parallel Haskell on multicore and cluster system
15 Apr 21:29 2014John David Reaver
*[ANN] quantities 0.3.0
15 Apr 16:01 2014Wouter Swierstra
*Haskell Symposium: Second call for papers
15 Apr 10:56 2014Amal Ahmed
*Oregon PL Summer School: register by May 2nd
14 Apr 18:38 2014Henrik Nilsson
*CFP: FARM 2014: Functional Art, Music, Modelling and Design
14 Apr 10:34 2014Wouter Swierstra
*PhD Position in dependent types, testing & hardware design
14 Apr 08:39 2014Ylies Falcone
*DEADLINE is TODAY: 2nd International Summer School on Cyber-Physical S
13 Apr 10:22 2014Jacques Garrigue
*APLAS 2014: 2nd Call for papers
11 Apr 12:19 2014Jacob Johannsen
*PPDP 2014: Call for Papers
10 Apr 07:39 2014Runtime Verification
*RV 2014, Deadlines extended: abstract April 18, full paper April 25
9 Apr 14:10 2014Yuan-Fang Li
*Call for papers: The 20th IEEE Pacific Rim International Symposium on
7 Apr 19:31 2014Amal Ahmed
*Oregon PL Summer School: call for participation
7 Apr 08:05 2014oleg
*Second CFP: Higher-order, Typed, Inferred, Strict: ML Family Workshop
5 Apr 11:48 2014Liu Yang (Asst Prof
*ICFEM 2014 Last Call-for-papers
2 Apr 13:53 2014José Pedro Magalhães
*Second CFP: Workshop on Generic Programming (WGP) 2014
2 Apr 16:51 2014Clemens Grelck
*Deadline Extension / Last Call for papers: HLPP 2014 - 7th Symposium o
3 Apr 06:28 2014Daniel Santa Cruz
*Haskell Weekly News: Issue 289
1 Apr 16:35 2014Peter Achten
*[TFPIE2014] final call for papers
1 Apr 13:07 2014Peter Achten
*[TFP2014] First Call for Participation
1 Apr 11:46 2014Mário Florido
*Second call-for-papers - Linearity 2014
31 Mar 20:01 2014Ylies Falcone
*2nd International Summer School on Cyber-Physical Systems, GRENOBLE (F
31 Mar 15:58 2014David Sabel
*Second CFP: WPTE'14, First International Workshop on Rewriting Techniq
31 Mar 12:06 2014Marco Gaboardi
*One PhD position for EU students available at the University of Dundee
31 Mar 10:29 2014Runtime Verification
*RV 2014: LAST Call for Papers, Deadline in 1 week
26 Mar 22:45 2014Iago Abal
*Open PhD position in Formal Methods for Software Product Lines at IT U
25 Mar 17:17 2014Iain Whiteside
*AI4FM 2014: Call for Participation
25 Mar 12:53 2014Laura M. Castro
*2nd Call For Papers: Erlang Workshop 2014
24 Mar 08:33 2014Yaron Minsky
*[JOB] Summer internships at Jane Street
24 Mar 14:07 2014Yaron Minsky
**[JOB] Summer internships at Jane Street
23 Mar 08:44 2014Runtime Verification
*RV 2014: Call for Papers, Deadline in 2 weeks
21 Mar 23:48 2014Henk-Jan van Tuyl
*ANNOUNCE: wxHaskell 0.90.1.0
21 Mar 09:01 2014Shachaf Ben-Kiki
*Last call for Google Summer of Code 2014 applications
19 Mar 08:28 2014Mary Sheeran
*CFP ARRAY'14
18 Mar 12:30 2014Soichiro Hidaka
*BX2014: Call for participation
18 Mar 12:11 2014Mary Sheeran
*PhD student position at Chalmers
18 Mar 07:26 2014Runtime Verification
*RV 2014: 3rd Call for Papers, Deadline in 3 weeks
17 Mar 20:49 2014Clemens Grelck
*Call for papers: HLPP 2014 - 7th Symposium on High-Level Parallel Prog
14 Mar 20:47 2014Francesco Calimeri
*[UPDATE] 5th Answer Set Programming Competition 2014 - CALL FOR PARTIC
13 Mar 10:42 2014Wouter Swierstra
*Haskell Symposium 2014: Call for papers
11 Mar 09:37 2014Peter Achten
*[TFP2014] Final Call For Papers
8 Mar 09:35 2014Huibiao Zhu
*Call for Papers: TASE 2014 (Submission deadline has been extended)
3 Mar 23:50 2014Tarmo Uustalu
*ETAPS 2014 2nd call for participation
3 Mar 17:05 2014Graham Hutton
*Journal of Functional Programming - Call for PhD abstracts
3 Mar 12:41 2014José Pedro Magalhães
*First CFP: Workshop on Generic Programming (WGP) 2014
1 Mar 07:09 2014KC
*Can Haskell use short floats; i.e. 16 bit floats to save space?
27 Feb 19:12 2014Henrik Nilsson
*CFP: FARM 2014: Functional Art, Music, Modelling and Design
27 Feb 15:14 2014David Raymond Christiansen
*ANNOUNCE: Idris developers' meeting in Gothenburg, April 29-May 2, 201
27 Feb 11:13 2014German Vidal
*[LOPSTR 2014] First Call for Papers
26 Feb 11:45 2014Laura M. Castro
*Call For Papers: Erlang Workshop 2014
25 Feb 15:01 2014Iain Whiteside
**Deadline extended* Final call for contributions AI4FM 2014
25 Feb 08:55 2014Huibiao Zhu
*Call for Papers: TASE 2014
21 Feb 01:01 2014Jacques Garrigue
*APLAS 2014: Call for papers
19 Feb 08:53 2014Clemens Grelck
*Call for papers: HLPP 2014 - 7th Symposium on High-Level Parallel Prog
18 Feb 23:51 2014Clemens Grelck
*Call for papers: HLPP 2014 - 7th Symposium on High-Level Parallel Prog
18 Feb 23:46 2014Clemens Grelck
*Call for papers: HLPP 2014 - 7th Symposium on High-Level Parallel Prog
17 Feb 10:12 2014Laura Kovacs
*5 PhD Positions in Formal Methods, Functional Programming, and Informa
13 Feb 12:08 2014Simon Marlow
*Fun in the Afternoon @Facebook, March 12 2014: Schedule
12 Feb 20:58 2014Runtime Verification
*RV 2014: 2nd Call for Papers, Deadline in 2 months
11 Feb 09:34 2014Graham Hutton
*Midlands Graduate School in the Foundations of Computing
11 Feb 09:25 2014Ylies Falcone
*Summer School on Cyber-Physical Systems, GRENOBLE (FRANCE) JULY 7-11,
11 Feb 03:33 2014oleg
*Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML Family Workshop
10 Feb 14:08 2014Narendra Joshi
*Google Summer of Code | Haskell.org
10 Feb 16:09 2014Edward Kmett
**Google Summer of Code | Haskell.org
10 Feb 04:56 2014Alvaro J. Genial
*[ANN] yocto-1.0.1
10 Feb 03:11 2014Amal Ahmed
*Oregon Programming Languages Summer School, 2014
7 Feb 00:45 2014Tarmo Uustalu
*ETAPS 2014 call for participation
6 Feb 18:01 2014Iain Whiteside
*AI4FM 2014: Call for Short Contributions
6 Feb 14:32 2014Peter Achten
*2nd Call for Papers - TFPIE 2014
6 Feb 14:17 2014Matthew Flatt
*GPCE 2104 - Call for Papers
5 Feb 14:11 2014Atze Dijkstra
*ANNOUNCE: Applied Functional Programming (AFP) Summerschool 7-18 July
3 Feb 23:50 2014Francesco Calimeri
*5th Answer Set Programming Competition 2014 - CALL FOR PARTICIPANTS
3 Feb 02:51 2014Mauro Blanco
*ANNOUNCE: fpnla - A library for NLA operations
31 Jan 12:45 2014Graham Hutton
*Midlands Graduate School 2014 - register now!
31 Jan 09:49 2014Peter Achten
*TFP 2014 - 2nd call for papers
30 Jan 13:45 2014Kevin Hammond
*8 Funded PhD Positions at St Andrews
28 Jan 20:57 2014Alvaro J. Genial
*[ANN] yocto-0.1.2
28 Jan 21:13 2014Christopher Allen
**[ANN] yocto-0.1.2
28 Jan 21:36 2014Alvaro J. Genial
***[ANN] yocto-0.1.2
28 Jan 21:38 2014Bryan O'Sullivan
****[ANN] yocto-0.1.2
28 Jan 21:51 2014Alvaro J. Genial
*****[ANN] yocto-0.1.2
28 Jan 21:53 2014Christopher Allen
******[ANN] yocto-0.1.2
28 Jan 21:56 2014Alvaro J. Genial
*******[ANN] yocto-0.1.2
28 Jan 22:25 2014Christopher Allen
********[ANN] yocto-0.1.2
29 Jan 09:38 2014Tobias Florek
********[ANN] yocto-0.1.2
26 Jan 02:56 2014Jeremy Gibbons
*UTP Symposium: extended submission deadline
25 Jan 17:48 2014Liu Yang (Asst Prof
*2nd Call for Papers: ICECCS 2014, Tianjin, China, 4-7 Aug 2014
25 Jan 17:36 2014Liu Yang (Asst Prof
*Call for Papers: ICFEM 2014, Luxembourg, 3-7 November 2014
23 Jan 20:50 2014Mary Sheeran
*ARRAY'14 Call for Papers
23 Jan 13:07 2014Katy Ovens
*HASKELL CAREER OPPORTUNITIES!
18 Jan 18:25 2014Pyro Crane
*Just started working with Haskell. Need some help
16 Jan 01:24 2014Huibiao Zhu
*Call for Papers: TASE 2014
12 Jan 18:15 2014Jeremy Gibbons
*UTP-2014 Unifying Theories of Programming - call for papers
10 Jan 18:12 2014Francesco Calimeri
*5th Answer Set Programming Competition 2014 - FIRST CALL FOR PARTICIPA
10 Jan 17:10 2014Mário Florido
*First call-for-papers - Linearity 2014
10 Jan 15:52 2014Simon Marlow
*Fun in the Afternoon at Facebook London: 12 March 2014
8 Jan 02:47 2014David Van Horn
*ICFP 2014: Call for papers
4 Jan 18:40 2014Henning Thielemann
*ANN: unicode-0.0
23 Dec 19:20 2013Brandon Simmons
*[ANN] shapely-data v0.1