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
19 Feb 17:31 2015Klaus Havelund
*NFM 2015 - CALL FOR PARTICIPATION
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
22 Dec 11:55 2014Martin Berger
*PhD studentship on dependent type theory for concurrent processes
19 Dec 17:49 2014Peter Achten
*[TFP 2015] 1st call for papers
18 Dec 08:32 2014Johan Jeuring
*CFP: TFPIE 2015
17 Dec 18:52 2014Tom Schrijvers
*Postdoctoral Position in Functional Programming
16 Dec 12:10 2014Jeremy Gibbons
*Nominations for John C Reynolds Distinguished Dissertation Award
11 Dec 17:00 2014John Hughes
*Lambda Days--Call for abstracts
11 Dec 08:06 2014Klaus Havelund
*LCTES 2015: First CFP
4 Dec 15:45 2014Jun PANG
*TASE 2015 -- Preliminary Call for Papers
4 Dec 13:07 2014Neil Ghani
*2 PostDocs in HoTT
2 Dec 10:20 2014Graham Hutton
*10 PhD studentships in Nottingham
2 Dec 04:39 2014Gabriele Keller
*Submission deadline coming up 22/12/2014: JFP special issue on Paralle
2 Dec 00:39 2014Francesco Calimeri
*CfP LPNMR 2015 Announcement: selected papers to appear in AI Journal a
23 Nov 13:33 2014Moreno Falaschi
*PPDP 2015 -- First call for papers
20 Nov 17:37 2014Stefan Wehr
*Call for Participation: BOB 2015 in Berlin
20 Nov 05:27 2014Daniel Santa Cruz
*Haskell Weekly News: Issue 312
17 Nov 15:06 2014Jeremy Gibbons
*Up to 15 fully-funded doctoral studentships in CS at Oxford
10 Nov 22:53 2014Aleksy Schubert
*RDP 2015 Last Call for Workshops
7 Nov 17:45 2014David Van Horn
*ICFP 2015: Call for Papers
3 Nov 19:37 2014Klaus Havelund
*NFM 2015 - deadline extension: Nov 18
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