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
12345 ... 139
Topics (4839)
Replies Last Post Views
Postdoc and PhD positions in verification at IMDEA, Madrid by Aleksandar Nanevski
0
by Aleksandar Nanevski
SBLP 2018 last call for papers by Carlos Camarao
0
by Carlos Camarao
Tezos recrute! / Tezos is recruiting! by Haskell - Haskell ma...
0
by Haskell - Haskell ma...
[MobiSPC-2018] FINAL submission deadline: April 20. Conference on Mobile Systems and Pervasive Computing. Gran Canaria, Spain (July 13-15, 2018) by Wim Ectors
0
by Wim Ectors
[FNC-2018] FINAL submission deadline: April 20. Conference on Future Networks and Communications. Gran Canaria, Spain (August 13-15, 2018) by Wim Ectors
0
by Wim Ectors
Phd/PostDoc position on linear types and session types by Peter Thiemann
0
by Peter Thiemann
PPDP 2018: Second Call for Papers by David Sabel
0
by David Sabel
9 PhD positions at Chalmers for web security and secure programing of IoT devices by Alejandro Russo
0
by Alejandro Russo
EPIT 2018 Software Verification Spring School, last call by David Baelde
0
by David Baelde
TFPIE 2018: First Call for Papers by Heather Miller
0
by Heather Miller
[Haskell, FP] Anduril Industries is Hiring by Travis Whitaker-2
1
by Ivan Lazar Miljenovi...
ThEdu'18: Second Call for Extended Abstracts & Demonstrations by Achim D. Brucker
0
by Achim D. Brucker
2nd CfP: IFL 2018 (30th Symposium on Implementation and Application of Functional Languages) by publicityifl
0
by publicityifl
CFP: IEEE DS-RT 2018 (October 15-17, 2018 - Madrid, Spain) by Robson De Grande
0
by Robson De Grande
Mathematically Structured Functional Programming 2018: Final Call for Papers by Bob Atkey
0
by Bob Atkey
Call for Talks -- Haskell Implementors' Workshop by Joachim Breitner-2
0
by Joachim Breitner-2
SBLP 2018 second call for papers by Carlos Camarao
0
by Carlos Camarao
Call for Contributions - Workshop on Programming Languages and Computing Concepts (in German) by Peter Thiemann
0
by Peter Thiemann
[FNC-2018] Extended submission deadline: April 13. Conference on Future Networks and Communications. Gran Canaria, Spain (August 13-15, 2018) by Wim Ectors
0
by Wim Ectors
[MobiSPC-2018] Extended submission deadline: April 13. Conference on Mobile Systems and Pervasive Computing. Gran Canaria, Spain (July 13-15, 2018) by Wim Ectors
0
by Wim Ectors
[Call for Contributions] Haskell Communities and Activities Report, May 2018 edition (34th edition) by Mihai Maruseac
0
by Mihai Maruseac
FLOPS2018: Call for participation by Haskell - Haskell ma...
0
by Haskell - Haskell ma...
WPTE 2018 Call for Papers by Joachim Niehren
0
by Joachim Niehren
CFP: ICFNDS 2018, Amman, Jordan by Nabeel Al-Qirim
0
by Nabeel Al-Qirim
CFP: ICFNDS 2018, Amman, Jordan by Nabeel Al-Qirim
0
by Nabeel Al-Qirim
Call for Papers: WFLP 2018 - International Workshop on Functional and (constraint) Logic Programming by Voigtländer, Janis, ...
0
by Voigtländer, Janis, ...
CfP: Workshop on Functional High-Performance Computing 2018 at ICFP by Kei Davis
0
by Kei Davis
[ANNOUNCE] GHC 8.4.1 released by Ben Gamari-3
0
by Ben Gamari-3
CFP Special Sessions: DS-RT 2018 - Madrid, Spain, October 15-17, 2018 by Robson De Grande
0
by Robson De Grande
Call for Tutorial Proposals: ICFP 2018 by Haskell - Haskell ma...
0
by Haskell - Haskell ma...
Data61 Seeking Proof Engineers by Gerwin.Klein
0
by Gerwin.Klein
[Google Summer of Code 2018] Student Applications are now open by jasper van der jeugt
3
by Gershom Bazerman
Haskell Programmer position by Ward C Wheeler
0
by Ward C Wheeler
The Haskell Report: who maintains it? by Haskell - Haskell ma...
0
by Haskell - Haskell ma...
GHC 8.4.1 released by Henning Thielemann
0
by Henning Thielemann
12345 ... 139