Quantcast

Haskell - Haskell

This forum is an archive for the mailing list haskell@haskell.org (more options) Messages posted here will be sent to this mailing list.
The Haskell Mailing List
1234 ... 113
Topics (3930)
Replies Last Post Views
[TFP 2015] 1st call for papers by Peter Achten
0
by Peter Achten
ANN: deepseq-bounded, seqaid, leaky by Andrew Seniuk
1
by Andrew Seniuk
CFP: TFPIE 2015 by Johan Jeuring-2
0
by Johan Jeuring-2
Postdoctoral Position in Functional Programming by Tom Schrijvers-2
0
by Tom Schrijvers-2
Nominations for John C Reynolds Distinguished Dissertation Award by Jeremy Gibbons
0
by Jeremy Gibbons
Lambda Days--Call for abstracts by John Hughes-15
0
by John Hughes-15
LCTES 2015: First CFP by Klaus Havelund
0
by Klaus Havelund
Haskell Weekly News: Issue 313 by Daniel Santa Cruz
0
by Daniel Santa Cruz
ANNOUNCE: Applied Functional Programming (AFP) Summerschool 6-17 July 2015, Utrecht, Netherlands by Atze Dijkstra-3
0
by Atze Dijkstra-3
TASE 2015 -- Preliminary Call for Papers by Jun PANG
0
by Jun PANG
2 PostDocs in HoTT by Neil Ghani
0
by Neil Ghani
10 PhD studentships in Nottingham by Graham Hutton-2
0
by Graham Hutton-2
Submission deadline coming up 22/12/2014: JFP special issue on Parallel and Concurrent Programming by Gabriele Keller
0
by Gabriele Keller
CfP LPNMR 2015 Announcement: selected papers to appear in AI Journal and TPLP by Francesco Calimeri
0
by Francesco Calimeri
PPDP 2015 -- First call for papers by Moreno Falaschi
0
by Moreno Falaschi
Call for Participation: BOB 2015 in Berlin by Stefan Wehr-2
0
by Stefan Wehr-2
Haskell Weekly News: Issue 312 by Daniel Santa Cruz
0
by Daniel Santa Cruz
NOTE: the primary webserver is going down for immediate maintenance. by Austin Seipp-5
1
by davean
[ANNOUNCE] New release of SBV (v3.2) by Levent Erkok
0
by Levent Erkok
Up to 15 fully-funded doctoral studentships in CS at Oxford by Jeremy Gibbons
0
by Jeremy Gibbons
ANNOUNCE: Haskell Communities and Activities Report (27th ed., November 2014) by Mihai Maruseac
1
by Simon Peyton Jones
Call for Presentations: Compose Conference [New York, Jan 30-Feb 1] by Gershom Bazerman
0
by Gershom Bazerman
RDP 2015 Last Call for Workshops by Aleksy Schubert
0
by Aleksy Schubert
ICFP 2015: Call for Papers by David Van Horn
0
by David Van Horn
NFM 2015 - deadline extension: Nov 18 by Klaus Havelund
0
by Klaus Havelund
Haskell Weekly News: Issue 311 by Daniel Santa Cruz
0
by Daniel Santa Cruz
Job announcement: formal methods engineer and scientific developer at FireEye by Hendrik Tews-2
0
by Hendrik Tews-2
NFM 2015 - final call for papers by Klaus Havelund
0
by Klaus Havelund
Multiple Postdoc Positions on Formal Methods for Cyber Security by Liu Yang (Asst Prof)
0
by Liu Yang (Asst Prof)
Haskell Weekly News: Issue 310 by Daniel Santa Cruz
0
by Daniel Santa Cruz
Postdoc Position in Functional and Constraint Programming at KU Leuven by Tom Schrijvers-2
0
by Tom Schrijvers-2
RTA 2015 - First Call For Papers by Michael Hanus
0
by Michael Hanus
ICFEM 2014, Luxembourg, 3-7 November 2014: Last Call for Participation by Liu Yang (Asst Prof)
0
by Liu Yang (Asst Prof)
[JOB] Summer internships at Jane Street by yminsky
0
by yminsky
ANN: yi-0.10.0 , the text editor written in Haskell by Mateusz Kowalczyk
0
by Mateusz Kowalczyk
1234 ... 113