Messages by Thread
-
[Haskell] Lecturer/Senior Lecturer/Reader in Programming Languages for Trustworthy Systems in Edinburgh LFCS
Philip Wadler
-
[Haskell] MSFP 2020 - Second Call for Papers
Sam Lindley
-
[Haskell] [FNC-2020] Call for workshop proposals: Conference on Future Networks and Communications. Leuven, Belgium (August 9-12, 2020)
wim . ectors
-
[Haskell] PhD candidate or Postdoc position (Uni Amsterdam) in programming languages for multi-core embedded systems
Clemens Grelck
-
[Haskell] [ANN] Venzone, an ASCII adventure/platformer
Francesco Ariis
-
[Haskell] ZuriHac 2020 (12-14 June) registration is now open
Jasper Van der Jeugt
-
[Haskell] Internships at Nomadic labs
Julien Tesson
-
[Haskell] [EDI40-2020] FINAL extension (Dec-18): Conference on Emerging Data and Industry 4.0. Warsaw, Poland (April 6-9, 2020)
Wim Ectors
-
[Haskell] [ANT-2020] FINAL extension (Dec-18): Conference on Ambient Systems, Networks and Technologies. Warsaw, Poland (April 6-9, 2020)
Wim Ectors
-
[Haskell] NL-FP Day 2020: 28th Netherlands Functional Programming Day, Amsterdam, January 10, 2020
Clemens Grelck
-
[Haskell] [TFP'20] draft paper deadline open (January 10 2020) Trends in Functional Programming 2020, 13-14 February, Krakow, Poland
Peter Achten
-
[Haskell] FLOPS 2020: Final Call For Papers (Due on 29 Nov, 2019)
Keisuke Nakano
-
[Haskell] ANNOUNCE: mmsyn6ukr -- a program that can be used as a musical instrument synthesizer or for Ukrainian speech synthesis especially for poets and writers
olexandr543--- via Haskell
-
[Haskell] [ANNOUNCE] Glasgow Haskell Compiler 8.10.1-alpha1 released
Ben Gamari
-
[Haskell] MDM International Workshop (in conjuction with ANT2020, EDi40) - CFPs
Pikulik Tomas
-
[Haskell] [ANT-2020] deadline extension (Dec-04) & extra Journal Special Issues: Conference on Ambient Systems, Networks and Technologies. Warsaw, Poland (April 6-9, 2020)
Wim Ectors
-
[Haskell] [EDI40-2020] deadline extension (Dec-04) & extra Journal Special Issues: Conference on Emerging Data and Industry 4.0. Warsaw, Poland (April 6-9, 2020)
Wim Ectors
-
[Haskell] FLOPS 2020: DEADLINE EXTENSION (abstract 22 Nov, full paper 29 Nov)
Keisuke Nakano
-
[Haskell] TTCS 2020 - Call for papers
Renato Neves
-
[Haskell] Second call for draft papers for TFPIE 2020 (Trends in Functional Programming in Education)
Jurriaan Hage
-
[Haskell] PhD / Postdoc position (Uni Amsterdam) in programming languages for adaptive cyber-physical systems
Clemens Grelck
-
[Haskell] Tenure-track faculty positions at Oregon State University
Eric Walkingshaw
-
[Haskell] FLOPS 2020 Final Call for papers
Keisuke Nakano
-
[Haskell] Help wanted: Postfix admin guru for Haskell.org
Gershom B
-
[Haskell] Seeking maintainer for Scotty
Andrew Farmer
-
Re: [Haskell] [FP] Postdoc position at University of Bristol in functional programming
Meng Wang
-
[Haskell] [ANT-2020] deadline extension & extra Journal Special Issues: Conference on Ambient Systems, Networks and Technologies. Warsaw, Poland (April 6-9, 2020)
Wim Ectors
-
[Haskell] [EDI40-2020] deadline extension & extra Journal Special Issues: Conference on Emerging Data and Industry 4.0. Warsaw, Poland (April 6-9, 2020)
Wim Ectors
-
[Haskell] ANNOUNCE: The mmsyn5 -- a small library to deal with a little bit more complex operations on lists than Data.List module
olexandr543--- via Haskell
-
[Haskell] Call for Workshop Proposals: ICFP 2020
Sam Tobin-Hochstadt via Haskell
-
[Haskell] MSFP 2020 - First Call for Papers
Sam Lindley
-
[Haskell] ANNOUNCE: concurrent-hashtable - a thread-safe hash table for multicores
Peter Robinson
-
[Haskell] 2nd Call for Contributions: BOB 2020 [Feb 28, Deadline Nov 8]
Stefan Wehr
-
[Haskell] FLOPS 2020 Second Call for papers
Keisuke Nakano
-
[Haskell] [EDI40-2020] CFP: 3rd International Conference on Emerging Data and Industry 4.0. Warsaw, Poland (April 6-9, 2020)
Wim Ectors
-
[Haskell] [ANT-2020] CFP: 11th International Conference on Ambient Systems, Networks and Technologies. Warsaw, Poland (April 6-9, 2020)
Wim Ectors
-
[Haskell] PEPM 2020: DEADLINE EXTENSION to 25 Oct
Casper Bach Poulsen
-
[Haskell] ANNOUNCE: mmsyn4 -- the program mmsyn4 converts a specially formatted .csv file with a colon as a field separator obtained from the electronic table into a visualized by GraphViz graph.
olexandr543--- via Haskell
-
[Haskell] ANNOUNCE: mmsyn3 -- a small library to deal with executable endings. Uses a Maybe data representation inside an IO monad.
olexandr543--- via Haskell
-
[Haskell] [TFP'20] one month left for pre-symposium submissions for Trends in Functional Programming 2020, 13-14 February, Krakow, Poland
Peter Achten
-
[Haskell] Call for participation CRiSIS 2019
SAOUSSEN CHEIKHROUHOU
-
[Haskell] [EDI-2020] Call for workshop proposals: 3rd International Conference on Emerging Data and Industry 4.0. Warsaw, Poland (April 6-9, 2020)
Wim Ectors
-
[Haskell] [ABMTRANS-2020] 9th International Workshop on Agent-based Mobility, Traffic and Transportation Models, Methodologies and Applications. Warsaw, Poland (April 6-9, 2020)
Wim Ectors
-
[Haskell] ANNOUNCE: mmsyn2 -- a new library instead of deprecated mm2
olexandr543--- via Haskell
-
[Haskell] ANNOUNCE: mm2: The library that can be used for optimization of multiple (Ord a) => a -> b transformations
olexandr543--- via Haskell
-
[Haskell] ANNOUNCE: mm2 -- the library that can be used for optimization of multiple (Ord a) => a -> b transformations
olexandr543--- via Haskell
-
[Haskell] Call for Contributions: BOB 2020 [Feb 28, Deadline Nov 8]
Stefan Wehr
-
[Haskell] FLOPS 2020 First Call for papers
Keisuke Nakano
-
[Haskell] NWPT 2019 submission deadline extended
Tarmo Uustalu
-
[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