21 Apr 20:42 2015Alberto Pardo
*Extended Deadline - SBLP 2015
21 Apr 10:57 2015Iain Whiteside
*AI4FM 2015: Call for Short Contributions
21 Apr 04:58 2015Daniel Bundala
*VSTTE 2015 Final Call For Papers
21 Apr 01:35 2015Simon Michael
*ANN: ssh, darcsden vulnerability
19 Apr 14:34 2015Francesco Calimeri
*LPNMR 2015 Invitation to submit - 11 days to the deadline
18 Apr 04:04 2015Mihai Maruseac
*all for Contributions - Haskell Communities and Activities Report, May
17 Apr 22:40 2015Francesco Calimeri
*CfP LPNMR 2015: DEADLINES UPDATE
17 Apr 10:28 2015Conor McBride
*Strathclyde PhD Position
17 Apr 10:19 2015David Sabel
*Deadline extended: WPTE 2015 Second International Workshop on Rewritin
16 Apr 21:58 2015Frantisek Farka
*Workshop on Type Inference and Automated Proving
15 Apr 23:28 2015Frantisek Farka
*Workshop on Type Inference and Automated Proving
15 Apr 20:38 2015Tom Schrijvers
*Leuven Haskell User Group meeting on April 21
15 Apr 18:50 2015Howard B. Golden
*Haskell on Windows instructions - is MinGHC version update needed?
14 Apr 16:47 2015Alberto Pardo
*Final CFP - SBLP 2015: 19th Brazilian Symposium on Programming Languag
13 Apr 18:29 2015Ulrich Schöpp
*LOLA 2015: Second Call for Talk Proposals
9 Apr 15:45 2015Johan Jeuring
*VACANCIES : 3x PhD position in Fuctional Programming
9 Apr 09:23 2015David Sabel
*Final CFP: WPTE 2015 Second International Workshop on Rewriting Techni
8 Apr 18:06 2015Alcino Cunha
*Last CFP Bx'15: 4th International Workshop on Bidirectional Transforma
7 Apr 19:08 2015Francesco Calimeri
*CfP LPNMR 2015 Announcement: SUBMISSIONS NOW OPEN!
7 Apr 15:56 2015Yann Régis-Gianas
*[EPIT2015] Call for participation to a Spring School about the Coq pro
7 Apr 02:58 2015Edward Kmett
*[haskell.org Google Summer of Code] Call for Mentors
2 Apr 14:16 2015Koen Claessen
*Chalmers is advertising positions, deadline April 6
2 Apr 11:28 2015Henrik Nilsson
*FARM 2015: 2nd Call For Papers
1 Apr 18:18 2015Kim-Ee Yeoh
*Haskell Weekly News
1 Apr 11:35 2015Tijs van der Storm
*DSLDI: 3rd Workshop on Domain-Specific Language Design and Implementat
1 Apr 10:22 2015Graham Hutton
*Journal of Functional Programming - Call for PhD Abstracts
1 Apr 08:07 2015Karun Ramakrishnan
*ANNOUNCE: Arion
27 Mar 12:38 2015YuHui Lin
*AVoCS 2015: Second Call for Papers
26 Mar 23:24 2015Semen Trygubenko / Семен
*Haskell Weekly News: Issue 322
24 Mar 22:26 2015Hans Svensson
*CFP: Erlang Workshop 2015
20 Mar 16:08 2015Jeremy Gibbons
*Doctoral Teaching Assistantships in CS at Oxford
18 Mar 10:58 2015Peter Achten
*[TFP'15] final call for papers - deadline extended march 31 -
10 Mar 10:40 2015Tomofumi Yuki
*CFP: GPCE 2015, 14th International Conference on Generative Programmin
9 Mar 23:57 2015Craig Anslow
*SPLASH 2015: 2nd Call for Contributions: OOPSLA, Onward!, Workshops, D
9 Mar 22:14 2015Mary Sheeran
*ARRAY'15 Call for Papers
9 Mar 14:06 2015Leila Fayez Ismail
*IIT’15, IEEE Sponsored, Dubai (01-03 Nov 2015), Call for Papers, Tut
9 Mar 12:23 2015Nabeel Al-Qirim
*CF STUDENT POSTERS for Innovations'15 (No registration fees), Dubai, N
5 Mar 17:54 2015Xinyu Feng
*APLAS 2015: Call for Papers
5 Mar 11:10 2015Sebastian Erdweg
*CFP: Workshop on Generic Programming 2015 - Deadline May 15
5 Mar 09:08 2015Peter Achten
*[TFPIE 2015] 2nd call for papers
4 Mar 06:57 2015K Sai Anirudh
*Constraint Satisfaction Problem
3 Mar 13:02 2015Tijs van der Storm
*DSLDI: 3rd Workshop on Domain-Specific Language Design and Implementat
28 Feb 17:05 2015Frantisek Farka
*Haskell Wiki broken links
27 Feb 19:57 2015Andreas Abel
*PhD position in dependent types/functional programming at Chalmers
27 Feb 18:33 2015Tarmo Uustalu
*TYPES 2015 final call for contributions
25 Feb 23:51 2015Alberto Pardo
*CFP - SBLP 2015: 19th Brazilian Symposium on Programming Languages
25 Feb 19:47 2015Tarmo Uustalu
*ETAPS 2016 call for satellite events
24 Feb 10:06 2015Graham Hutton
*7 PhD studentships in Nottingham
22 Feb 13:16 2015Moreno Falaschi
*PPDP 2015: 2nd call for papers
22 Feb 13:13 2015Moreno Falaschi
*LOPSTR 2015: 2nd Call for Papers
24 Feb 02:04 2015Michael Gough
*NFM 2015 - CALL FOR PARTICIPATION
18 Feb 16:14 2015Henrik Nilsson
*Fwd: FARM 2015 Workshop - 1st call for papers and demos
13 Feb 21:13 2015Tarmo Uustalu
*ETAPS 2015 call for participation
13 Feb 18:42 2015Tarmo Uustalu
*TYPES 2015 2nd call for contributions
13 Feb 17:28 2015David Van Horn
*ICFP 2015: Final Call for Papers
13 Feb 14:42 2015Peter Achten
*[TFP 2015] 2nd call for papers
13 Feb 01:25 2015Vadim Zaytsev
*STAF 2015: Joint Call for Papers
10 Feb 21:38 2015Tyson Whitehead
*Rank-N types with (.) composition
10 Feb 21:51 2015David Feuer
**Rank-N types with (.) composition
10 Feb 22:28 2015Dan Doel
***Rank-N types with (.) composition
10 Feb 22:37 2015David Feuer
****Rank-N types with (.) composition
10 Feb 23:44 2015Dan Doel
*****Rank-N types with (.) composition
11 Feb 01:02 2015Tyson Whitehead
******Rank-N types with (.) composition
11 Feb 00:19 2015Tyson Whitehead
****Rank-N types with (.) composition
11 Feb 00:30 2015Brandon Allbery
*****Rank-N types with (.) composition
11 Feb 00:31 2015Dan Doel
*****Rank-N types with (.) composition
11 Feb 10:39 2015Simon Peyton Jones
*****Rank-N types with (.) composition
10 Feb 10:46 2015Andrei Paskevich
*First Call for Papers, PxTP 2015
9 Feb 16:06 2015Neil Ghani
*4Yr PostDoc with McBride/Ghani
8 Feb 15:09 2015Nabeel Al-Qirim
*CF STUDENT POSTERS for Innovations'15 (No registration fees), Dubai, N
6 Feb 11:17 2015Kevin Hammond
*PhD Studentships at St Andrews
5 Feb 05:21 2015Daniel Santa Cruz
*Haskell Weekly News: Issue 316
5 Feb 06:11 2015Francesco Ariis
**Haskell Weekly News: Issue 316
5 Feb 10:07 2015Simon Peyton Jones
**Haskell Weekly News: Issue 316
2 Feb 23:16 2015Daniel Bundala
*CFP: VSTTE 2015
2 Feb 22:03 2015Ronald Modesitt
*Remove from mailing list
2 Feb 23:09 2015Sumit Sahrawat, Maths & Comput
**Remove from mailing list
2 Feb 12:42 2015Ben Lippmeier
*CFP: Haskell Symposium 2015
2 Feb 06:22 2015Ivan Lazar Miljenovic
*ANNOUNCE: monad-levels
27 Jan 19:06 2015David Sabel
*CFP: WPTE 2015 Second International Workshop on Rewriting Techniques f
27 Jan 11:52 2015Augustsson, Lennart
*Drastic Prelude changes imminent
26 Jan 02:25 2015Miëtek Bak
*ANN: Halcyon and Haskell on Heroku
23 Jan 07:31 2015Levent Erkok
*[ANNOUNCE] New release of SBV
21 Jan 15:35 2015Mateu Villaret
*CFP: UNIF 2015
21 Jan 13:48 2015YuHui Lin
*AVoCS 2015: First Call for Papers
20 Jan 08:29 2015Yliès Falcone
*CFP: CRV15 - 2nd Competition on Runtime Verification
19 Jan 13:13 2015Alcino Cunha
*CFP Bx'15: 4th International Workshop on Bidirectional Transformations
19 Jan 11:13 2015Jon Sneyers
*Book announcement: Robert Kowalski, LOGIC FOR PROBLEM SOLVING, REVISIT
17 Jan 18:18 2015Nabeel Al-Qirim
*CFW: The 5th International Conference on Current and Future Trends of
17 Jan 18:17 2015Nabeel Al-Qirim
*CFP" The 5th International Conference on Current and Future Trends of
16 Jan 07:01 2015Jeremy Gibbons
*Two research assistantships in model-driven engineering and semantic t
15 Jan 14:32 2015José Pedro Magalhães
*Mathematics of Program Construction (MPC 2015): final call for papers
14 Jan 21:26 2015Neil Ghani
*PhD position
14 Jan 18:43 2015Tarmo Uustalu
*TYPES 2015 call for contributions
13 Jan 10:26 2015Johan Jeuring
*Vacancies: 4 PhD students Software Technology Utrecht University
3 Jan 11:42 2015Francesco Calimeri
*CfP LPNMR 2015 Announcement: Associated Events
2 Jan 12:22 2015Robert
*ANNOUNCE: tofromxml Library
28 Dec 20:35 2014David Feuer
*Haskell wiki slowness
22 Dec 16:04 2014Njagi Mwaniki
*Google Summer of Code
22 Dec 16:05 2014Moreno Falaschi
*Call for papers LOPSTR 2015 -- 25th International Symposium on Logic-B