Messages by Thread
-
[Haskell] Invitation to the 2nd European Forum for the SARL Users and Developers (EuSarlCon-20)
Yazan Mualla
-
[Haskell] CFP - The 4th International Workshop on Agent-based Modeling and Applications with SARL (SARL-20)
Yazan Mualla
-
[Haskell] CFP for Certified Programs and Proofs (CPP 2020)
Dominique DEVRIESE
-
[Haskell] SPLASH 2019 Call for Participation (early reg.: Sep.20!)
Aggelos Biboudis
-
[Haskell] FM'19 - 2nd Call for Participation
Renato Neves
-
[Haskell] SLE 2019: Call for Endorsements - Most Influential Paper (MIP) Award
Andrei Chis
-
[Haskell] PEPM 2020 Call for Papers
Casper Bach Poulsen
-
[Haskell] ETAPS 2020 2nd joint call for papers
Tarmo Uustalu
-
[Haskell] First call for draft papers for TFPIE 2020 (Trends in Functional Programming in Education)
Jurriaan Hage
-
[Haskell] First call for participation for IFL 2019 (Implementation and Application of Functional Languages)
Jurriaan Hage
-
[Haskell] Permenent Faculty Position in PL at University of Bristol
Meng Wang
-
[Haskell] [TFP'20] first call for papers: Trends in Functional Programming 2020, 13-14 February, Krakow, Poland
Peter Achten
-
[Haskell] Declare 2019 - Call for Participation
Petra Hofstedt (BTU)
-
[Haskell] ETAPS 2020 1st joint call for papers
Tarmo Uustalu
-
[Haskell] Formal Methods 2019 - Call for Participation
nevrenato
-
[Haskell] Final call for draft papers for IFL 2019 (Implementation and Application of Functional Languages)
Jurriaan Hage
-
[Haskell] UNSW postdoc position for Verified Time Protection
Klein, Gerwin (Data61, Kensington NSW)
-
[Haskell] MPC 2019 - Call for Participation
Graham Hutton
-
[Haskell] Second Call for Participation: ICFP 2019
Sam Tobin-Hochstadt via Haskell
-
[Haskell] CFP: JFP special issue on Gradual Typing
Amal Ahmed
-
[Haskell] Workshop in OCL and Textual Modeling (OCL 2019) - Deadline Extension
Achim D. Brucker
-
[Haskell] Haskell Symposium: early reg deadline is next week
Richard Eisenberg
-
[Haskell] SPLASH 2019 2nd Combined Call for Workshop Submissions
Aggelos Biboudis
-
[Haskell] EUSPN 2019 (Final Submission Date, July 15): The 10th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (Coimbra, Portugal: November 4-7)
Davidekova Monika
-
[Haskell] Fwd: EUSPN 2019 CFPs (Final Submission Date, July 15): The 10th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (Coimbra, Portugal: November 4-7)
Muhammad ADNAN
-
[Haskell] [ICTH-2019] final CFPs (FIRM deadline 15/07): Current and Future Trends of Information and Communication Technologies in Healthcare
Wim Ectors
-
[Haskell] Call for Participation: Summer BOB 2019 (August 21, Berlin)
Stefan Wehr
-
[Haskell] UNSW Sydney Seeking a Postdoc in Programming Languages and Verification
Klein, Gerwin (Data61, Kensington NSW)
-
[Haskell] [ICTH-2019] CFPs (FINAL deadline 15/07): Current and Future Trends of Information and Communication Technologies in Healthcare
Wim Ectors
-
[Haskell] The future of the SPARC NCG backend
Ben Gamari
-
[Haskell] Call for Participation: ICFP 2019
Sam Tobin-Hochstadt via Haskell
-
[Haskell] Fwd: EUSPN 2019: Deadline Extended
Muhammad ADNAN
-
[Haskell] Postdoctoral position on database programming languages at Edinburgh LFCS
James Cheney
-
[Haskell] Postdoc position on quantified effects at Reykjavik University
Tarmo Uustalu
-
[Haskell] GPCE 2019: Final Call for Papers - Athens, Greece; October 21-22 — Deadline Extension
Rodin Aarssen
-
[Haskell] CFP - CRISiS 2019 - Deadline extension and Special issue
SAOUSSEN CHEIKHROUHOU
-
[Haskell] [ICTH-2019] CFPs (extended deadline): Current and Future Trends of Information and Communication Technologies in Healthcare
Wim Ectors
-
[Haskell] Final Call for Participation: Compose Conference [NYC, Jun 22- 23 2019]
Gershom B
-
[Haskell] Assistant/Associate Professorships in Nottingham
Graham Hutton
-
[Haskell] Postdoc position in Functional Programming at Chalmers
Mary Sheeran
-
[Haskell] Final call for regular papers for IFL 2019 (Implementation and Application of Functional Languages)
Jurriaan Hage
-
[Haskell] GPCE 2019: 2nd Call for Papers - Athens, Greece; October 21-22
Rodin Aarssen
-
[Haskell] INAP 2019 - Deadline extension
Petra Hofstedt (BTU)
-
[Haskell] WFLP 2019 - Submission Deadline extended
Herbert Kuchen
-
[Haskell] Second Call for Submissions: ICFP Student Research Competition
Sam Tobin-Hochstadt via Haskell
-
[Haskell] INCoS-2019 Call for Papers, September 5-7, 2019, Japan, Submission Final Extension May 31
Davidekova Monika
-
[Haskell] Open Position: 2 year postdoc in Functional Programming at Chalmers
Mary Sheeran
-
[Haskell] Call for papers for IFL 2019 (Implementation and Application of Functional Languages)
Jurriaan Hage
-
[Haskell] Call For Papers: Workshop in OCL and Textual Modeling (OCL 2019)
Achim D. Brucker
-
[Haskell] Announce: comfort-array, lapack
Henning Thielemann
-
[Haskell] Call for talks: ACM SIGPLAN Scala Symposium 2019
Nate Nystrom
-
[Haskell] Scottish Programming Languages and Verification Summer School
Robert Atkey
-
[Haskell] CFP in Special Sessions: DS-RT 2019 - Cosenza, Italy, October 7-9, 2019
Rodolfo I. Meneguette
-
[Haskell] [TFP'19 and TFPIE'19] call for participation
Peter Achten
-
[Haskell] Formal Methods 2019 - Doctoral Symposium (2nd Call for Papers)
nevrenato
-
[Haskell] Second Call for Tutorial Proposals: ICFP 2019
Sam Tobin-Hochstadt via Haskell
-
[Haskell] Fwd: [EUSPN-2019] Call for Workshop Proposals: Emerging Ubiquitous Systems and Pervasive Networks
Muhammad ADNAN
-
[Haskell] [ICTH-2019] Call for Workshop Proposals and Paper Submissions: Current and Future Trends of Information and Communication Technologies in Healthcare
Wim Ectors
-
[Haskell] Utrecht Summer School on Advanced Functional Programming
Swierstra, W.S. (Wouter)
-
[Haskell] EUSPN 2019 CfP in Coimbra, Portugal, November 4-7 2019 (Conference with ISI Special Issues)
Davidekova Monika
-
[Haskell] CfP: Erlang Workshop 2019 [Deadline extended]
Erlang Workshop
-
[Haskell] SPLASH 2019 Combined Call for Workshop Submissions
Aggelos Biboudis
-
[Haskell] Invititation to provide feedback on RISC-V ISA Formal Specs
Rishiyur Nikhil
-
[Haskell] Announce: Haskell Platform 8.6.5
Gershom B
-
[Haskell] [TFPIE'19] Final call for papers: Trends in Functional Programming in Education 2019, 11 June 2019, Vancouver, BC, CA
Peter Achten
-
[Haskell] [TFP'19] final call for papers (deadline extension): Trends in Functional Programming 2019, 12-14 June 2019, Vancouver, BC, CA
Peter Achten
-
[Haskell] PLMW at ICFP: Call for Scholarship Applications (due 17 May)
Sam Tobin-Hochstadt via Haskell
-
[Haskell] Final CFP: Haskell Symposium due this Friday
Richard Eisenberg
-
[Haskell] Call for Participation: Compose Conference [NYC, Jun 22- 23 2019]
Gershom B
-
[Haskell] LAST CALL FOR PAPERS: Erlang Workshop 2019 -- Deadline: 10 May 2019
Erlang Workshop
-
[Haskell] MPC 2019 deadline extension
Graham Hutton
-
[Haskell] OpenCert'19 - Formal Methods'19 (first call for papers)
nevrenato
-
[Haskell] Bx 2019 Call for Participation (Workshop on Bidirectional Transformations)
James Cheney
-
[Haskell] Graph Computation Models/ last CFP: GCM 2019
RACHID ECHAHED
-
[Haskell] 3RD CALL FOR PAPERS: Erlang Workshop 2019
Erlang Workshop
-
[Haskell] SEIT-19 CFPs: The 9th International Conference on Sustainable Energy Information Technology (August 19-21, 2019, Halifax, Canada)
Aneta Poniszewska-Marańda
-
[Haskell] [FNC-2019] CFP deadline (FINAL): Conference on Future Networks and Communications. Halifax, Canada (August 19-21, 2019)
Wim Ectors
-
[Haskell] [ICTH-2019] Call for Workshop Proposals (May-30)
Wim Ectors
-
[Haskell] MobiSPC 2019 CfPs: The 16th Intl. Conf. on Mobile Systems and Pervasive Computing: FINAL Extension (April 30, 2019)
Davidekova Monika
-
[Haskell] Compose Conference tickets are now available
MightyByte
-
[Haskell] First Call for Papers for IFL 2019 (Implementation and Application of Functional Languages)
J. Stutterheim via Haskell
-
[Haskell] CFP: ACM Scala Symposium 2019 - Extended Deadline
Nate Nystrom
-
[Haskell] Call for Contributions: Summer BOB 2019 [Aug 21, Berlin, deadline May 17]
Stefan Wehr
-
[Haskell] MobiSPC 2019 CfPs: The 16th Intrl. Conf. on Mobile Systems and Pervasive Computing: Extended Submission Date (April 18, 2019)
Davidekova Monika
-
[Haskell] —Call for papers: 16th International Colloquium on Theoretical Aspects of Computing (ICTAC 2019).
SAOUSSEN CHEIKHROUHOU
-
[Haskell] —Call for papers: 16th International Colloquium on Theoretical Aspects of Computing (ICTAC 2019)
SAOUSSEN CHEIKHROUHOU
-
[Haskell] 2nd CfP INAP 2019
Petra Hofstedt (BTU)
-
[Haskell] MPC 2019 final call for papers - submissions due 3rd May
Graham Hutton
-
[Haskell] 2nd CFP WFLP
Herbert Kuchen
-
[Haskell] EUSPN 2019: Call for Workshops Proposal
Muhammad ADNAN
-
[Haskell] Second Call For Presentations: Compose NYC, June 24-25, 2019
MightyByte
-
[Haskell] First Call for Papers: 12th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2019)
Andrei Chis
-
[Haskell] Open Position: Lecturer in Cybersecurity - University of Exeter
Achim D. Brucker
-
[Haskell] Call for Tutorial Proposals: ICFP 2019
Sam Tobin-Hochstadt via Haskell
-
[Haskell] SPLASH'19 Combined Call, final CfP for OOPSLA'19, Onward!
Aggelos Biboudis
-
[Haskell] [TFPIE'19] Call for papers: Trends in Functional Programming in Education 2019, 11 June 2019, Vancouver, BC, CA
Peter Achten
-
[Haskell] GSoC 2019 Student Applications now open
Jasper Van der Jeugt
-
[Haskell] [ICTH-2019] Conference on Current and Future Trends of Information and Communication Technologies in Healthcare. Coimbra, Portugal (Nov. 4-7, 2019)
Wim Ectors
-
[Haskell] [FNC-2019] CFP deadline extension: Conference on Future Networks and Communications. Halifax, Canada (August 19-21, 2019)
Wim Ectors
-
[Haskell] [TFP'19] second call for papers: Trends in Functional Programming 2019, 12-14 June 2019, Vancouver, BC, CA
Peter Achten
-
[Haskell] GPCE 2019: 1st Call for Papers - Athens, Greece; October 21-22
Rodin Aarssen
-
[Haskell] Formal Methods 2019 - Final Call For Papers
Renato Neves
-
[Haskell] Formal Methods 2019 - Doctoral Symposium
Renato Neves
-
[Haskell] Haskell Symposium: Early Track due this Friday, March 15
Richard Eisenberg
-
[Haskell] Apply Haskell at scale in a music start-up
Jeroen Bransen
-
[Haskell] [FNC-2019] Conference on Future Networks and Communications. Halifax, Canada (August 19-21, 2019)
Wim Ectors
-
[Haskell] Second Dali Workshop: First Call for Papers
Renato Neves
-
[Haskell] SPLASH 2019: 2nd Combined Call for Contributions
Aggelos Biboudis
-
[Haskell] [ANNOUNCE] GHC 8.6.4 is now available
Ben Gamari
-
[Haskell] Second call for papers, MPC 2019, Portugal
Graham Hutton
-
[Haskell] Cfp: Special Section: Advances in Intelligent Transportation Systems in Smart Cities
Rodolfo I. Meneguette
-
[Haskell] CFP: ACM SIGPLAN Scala Symposium 2019
Nate Nystrom
-
[Haskell] Haskell.Org accepted for GSoC 2019
Jasper Van der Jeugt
-
[Haskell] [ANN] Haskell.Org Discourse Instance
Jasper Van der Jeugt
-
[Haskell] CfP: HLPP 2019 - 12th International Symposium on High-Level Parallel Programming and Applications
Clemens Grelck
-
[Haskell] Extended CFP The 1st International Workshop on EXplainable, TRansparent, Autonomous Agents and Multi-Agent Systems (EXTRAAMAS-19)
Yazan Mualla
-
[Haskell] ETAPS 2019 call for participation
Tarmo Uustalu
-
[Haskell] Call For Presentations: Compose NYC, June 24-25, 2019
MightyByte
-
[Haskell] Call for Applications: ETAPS Mentoring Workshop, 7 April 2019
Tarmo Uustalu
-
[Haskell] CFP: Haskell Symposium 2019
Richard Eisenberg
-
[Haskell] Call for Submissions: ICFP Student Research Competition
Sam Tobin-Hochstadt via Haskell
-
[Haskell] Third Call for Papers: PACMPL issue ICFP 2019
Sam Tobin-Hochstadt via Haskell
-
[Haskell] ANN:DBFunctor-0.1.1.0 - Functional Data Management / ETL Data Processing in Haskell
Nikos Karagiannidis
-
[Haskell] [TFP'19] first call for papers: Trends in Functional Programming 2019, 12-14 June 2019, Vancouver, BC, CA (corrected dates and instructions)
Peter Achten
-
[Haskell] PhD studentships in FP at Bristol
Meng Wang
-
[Haskell] postdoc position in the Functional Programming Group at Chalmers
Mary Sheeran
-
[Haskell] [TFP'19] first call for papers: Trends in Functional Programming 2019, 12-14 June 2019, Vancouver, BC, CA
Peter Achten
-
[Haskell] Call for Participation: Midlands Graduate School, 14-18 April, Birmingham UK
Graham Hutton
-
[Haskell] Bx 2019 Second Call for Papers (Workshop on Bidirectional Transformations)
James Cheney
-
[Haskell] CfP: WLP 2019 - 33rd Workshop on (Constraint) Logic Programming
Petra Hofstedt (BTU)
-
[Haskell] CfP: WFLP 2019 - 27th International Workshop on Functional and (Constraint) Logic Programming
Petra Hofstedt (BTU)
-
[Haskell] CfP: INAP - 22nd International Conference on Applications of Declarative Programming and Knowledge Management
BTU
-
[Haskell] The 16th International Conference on Mobile Web and Intelligent Information Systems (MobiWis 2019) Springer, LNCS 26-28 August 2019, Istanbul, Turkey
Aneta Poniszewska-Marańda
-
[Haskell] CFP_14th International Conference on Risks and Security of Internet and Systems (CRiSIS)
SAOUSSEN CHEIKHROUHOU
-
[Haskell] SPLASH 2019: 1st Combined Call for Contributions
Aggelos Biboudis
-
[Haskell] Three Tenure-Track Faculty Positions - Brock University
Robson De Grande
-
[Haskell] Vacancies for six Assistant Professor positions at Utrecht University
Swierstra, W.S. (Wouter)
-
[Haskell] PPDP 2019 CFP - Principles and Practice of Declarative Programming
František Farka
-
[Haskell] ANN: New Haskell.org Committee Member
George Wilson
-
[Haskell] FM'19: Second Call for Papers
Renato Neves
-
[Haskell] Second Call for Papers: PACMPL issue ICFP 2019
Sam Tobin-Hochstadt via Haskell
-
[Haskell] Call for papers, MPC 2019, Portugal
Graham Hutton
-
[Haskell] CFP-16th International Colloquium on Theoretical Aspects of Computing (ICTAC 2019)
SAOUSSEN CHEIKHROUHOU
-
[Haskell] [GSoC 2019] Call for Ideas
Jasper Van der Jeugt
-
[Haskell] [ANN] vabal - the cabal companion
Francesco Magliocca
-
[Haskell] ZuriHac 2019 registration now open
Jasper Van der Jeugt
-
[Haskell] [EDI40 2019] FINAL DEADLINE: Conference on Emerging Data and Industry 4.0. Leuven, Belgium, April 29 - May 2, 2019
Wim Ectors
-
[Haskell] [ANT2019] FINAL DEADLINE: Conference on Ambient Systems, Networks and Technologies. Leuven, Belgium (April 29 - May 2, 2019)
Wim Ectors
-
[Haskell] PhD studentship on "Probabilistic Property-Based Testing" at the University of Edinburgh
James Cheney
-
[Haskell] Announce: Haskell Platform 8.6.3
Gershom B
-
[Haskell] ZuriHac 2019 takes place 14 to 16 June in Zurich, Switzerland
Jasper Van der Jeugt
-
[Haskell] PhD student position at Mälardalen University
Björn Lisper
-
[Haskell] DEADLINE EXTENSION: Conference on Ambient Systems, Networks and Technologies. Leuven, Belgium (April 29 - May 2, 2019)
Yazan Mualla
-
[Haskell] Extended Invitation to the 1st European Forum of the SARL Users and Developers (EuSarlCon19)
Yazan Mualla