Messages by Thread
-
[Haskell] fully funded PhD position on verification of industrial robots at University of Sheffield -- application deadline coming soon (Jan. 13)
Andrei Popescu
-
[Haskell] Nominations close Jan 11th for the Haskell Foundation Board
Simon Peyton Jones via Haskell
-
[Haskell] [TFPIE'21] Third and Final Call For Papers: Trends in Functional Programming *in Education* 2021, 16 February 2021 (with Lambda Days 2021 & TFP 2021)
Peter Achten
-
[Haskell] [ANNOUNCE] Glasgow Haskell Compiler 9.0.1-rc1 released
Ben Gamari
-
[Haskell] PhD position in Software Language Engineering @ University of Amsterdam
Thomas van Binsbergen
-
[Haskell] [FNC-2021] CFP: 16th International Conference on Future Networks and Communications. Leuven, Belgium (Aug 9-12, 2021)
Wim Ectors
-
[Haskell] [ANNOUNCE] Glasgow Haskell Compiler 8.10.3 released
Ben Gamari
-
[Haskell] [TFPIE'21] Second Call For Papers: Trends in Functional Programming *in Education* 2021, 16 February 2021 (with Lambda Days 2021 & TFP 2021)
Peter Achten
-
[Haskell] [EDI40-2021] FINAL DEADLINE CFP: 4th International Conference on Emerging Data and Industry 4.0. Warsaw, Poland (March 23-26, 2021)
Wim Ectors
-
[Haskell] The 18th International Conference on Mobile Systems and Pervasive Computing
Orven Llantos
-
[Haskell] CFP - The 3rd International Workshop on EXplainable and TRAnsparent AI and Multi-Agent Systems (EXTRAAMAS 2021)
Yazan Mualla
-
[Haskell] Invitation to celebrate the World Logic Day digitally - 14 January 2021 - Ambassadors of Logic and public Vienna Logic Day Lecture
Rozman, Mihaela
-
[Haskell] [MEDI 2021] Call for Workshops
Samir ouchani
-
[Haskell] [TFP'21] second call for papers: Trends in Functional Programming 2021, 18-19 February (online event with Lambda Days 2021 & TFPIE 2021)
Peter Achten
-
[Haskell] Call for Participation: BOB 2021 (February 26, online, early-bird until Dec 31)
Stefan Wehr
-
[Haskell] Help lead Haskell: Executive Director sought for Haskell Foundation
Richard Eisenberg
-
[Haskell] 2020 Haskell.org Call for Nominations
Jasper Van der Jeugt
-
[Haskell] two posts of Lecturer in Cybersecurity at University of Sheffield: deadline 3rd December 2020
Andrei Popescu
-
[Haskell] Three new Teaching Assistant positions in Nottingham
Graham Hutton
-
[Haskell] Last Call for Contributions: BOB 2021 [Feb 26, Deadline Nov 13]
Stefan Wehr
-
[Haskell] Post-doc position at Chalmers Univ. on Functional Programming
Alejandro Russo
-
[Haskell] Call for Workshop Proposals: ICFP 2021
Sam Tobin-Hochstadt via Haskell
-
[Haskell] Announcing the Haskell Foundation
Richard Eisenberg
-
[Haskell] Tomorrow: Simon PJ announces Haskell Foundation
Richard Eisenberg
-
[Haskell] trouble building ghc-8.10.2 from source
Scott N. Walck
-
[Haskell] 2nd Call for Contributions: BOB 2021 [Feb 26, Deadline Nov 13]
Stefan Wehr
-
[Haskell] Second Call for Presentations: PriSC 2021 @ POPL 2021
PriSC PC Chairs
-
[Haskell] Any interest in the 'biohaskell.org' domain?
Ketil Malde
-
[Haskell] CfP: Haskell eXchange
Richard Eisenberg
-
[Haskell] Call for Contributions: BOB 2021 [Feb 26, Deadline Nov 13]
Stefan Wehr
-
[Haskell] ETAPS 2021 final joint call for papers
Tarmo Uustalu
-
[Haskell] [CfP] PADL 2021: Practical Aspects of Declarative Languages
Jose F. Morales
-
[Haskell] [TFPIE'21] First Call For Papers: Trends in Functional Programming *in Education* 2021, 16 February (with Lambda Days 2021 & TFP 2021)
Peter Achten
-
[Haskell] [TFP'21] first call for papers: Trends in Functional Programming 2021, 17-19 February (with Lambda Days 2021 & TFPIE 2021)
Peter Achten
-
[Haskell] ANT & EDI40 2021: Last Call for Organizing a Workshop in Warsaw, Poland (March 23 - 26, 2021)
Yazan Mualla
-
[Haskell] [ANNOUNCE] Glasgow Haskell Compiler 9.0.1-alpha1 released
Ben Gamari
-
[Haskell] ETAPS 2021 2nd joint call for papers
Tarmo Uustalu
-
[Haskell] PEPM 2021 - Second Call for Papers
Sam Lindley
-
[Haskell] Workshops Proposals - The 4th International Conference on Emerging Data and Industry 4.0 (EDI40)
Yazan Mualla
-
[Haskell] Workshops Proposals - The 12th International Conference on Ambient Systems, Networks and Technologies (ANT-2021)
Yazan Mualla
-
[Haskell] PL / compilers team lead role with Standard Chartered in Warsaw
José Pedro Magalhães
-
[Haskell] Invitation to the 3rd European Forum for the SARL Users and Developers (EuSarlCon-21)
Yazan Mualla
-
[Haskell] CFP - The 5th International Workshop on Agent-based Modeling and Applications with SARL (SARL-21)
Yazan Mualla
-
[Haskell] FLOPS 2020: Call for (free) Participation
Keisuke Nakano
-
[Haskell] Haskell tutors required!
Philip Wadler
-
[Haskell] BOPL / PPDP 2020 call for participation (register until 3 Sep)
Andreas Abel
-
[Haskell] First and Only Call for Participation for IFL 2020 (Implementation and Application of Functional Languages)
Jurriaan Hage
-
[Haskell] [EDI40-2021] CFP: 4th International Conference on Emerging Data and Industry 4.0. Warsaw, Poland (March 23-26, 2021)
Wim Ectors
-
[Haskell] Call for participation: BOPL 2020 (LOPSTR, Microservices, PPDP, WFLP)
Michael Hanus
-
[Haskell] Third Call for Participation: ICFP 2020
Sam Tobin-Hochstadt via Haskell
-
[Haskell] Certified Programs and Proofs (CPP) 2021: Final Call for Papers
Andrei Popescu
-
[Haskell] 3rd Call for Papers: REBLS 20: Reactive and Event-Based Languages and Systems
Ivan Perez
-
[Haskell] PEPM 2021 - First Call for Papers
Sam Lindley
-
[Haskell] Third call for draft papers for IFL 2020 (Implementation and Application of Functional Languages)
Jurriaan Hage
-
[Haskell] MSFP 2020 (Monday August 31st and Tuesday September 1st) - Call for Participation
Sam Lindley
-
[Haskell] [ANNOUNCE] Glasgow Haskell Compiler 8.10.2 released
Ben Gamari
-
[Haskell] Call for Tutorial Participation: ICFP 2020
Sam Tobin-Hochstadt via Haskell
-
[Haskell] Second Call for Participation: ICFP 2020
Sam Tobin-Hochstadt via Haskell
-
[Haskell] SPLASH 2020 Combined Call for Workshop Submissions
hitesh sajnani
-
[Haskell] ETAPS 2021 1st joint call for papers
Tarmo Uustalu
-
[Haskell] Final Call for Tutorials, Discussions, and Social Events: ICFP 2020
Sam Tobin-Hochstadt via Haskell
-
[Haskell] Second call for draft papers for IFL 2020 (Implementation and Application of Functional Languages)
Jurriaan Hage
-
[Haskell] Awardees of the VCLA International Student Awards for Outstanding Master and Undergraduate Theses in Logic and Computer Science - 2020
Mihaela Rozman
-
[Haskell] Call for Participation: ICFP 2020
Sam Tobin-Hochstadt via Haskell
-
[Haskell] WFLP 2020: 2nd CFP and Extended Deadlines
Michael Hanus
-
[Haskell] Haskell, Then and Now. Got Questions? Ask them here!
Philip Wadler
-
[Haskell] Cardano Virtual Summit 2020
Philip Wadler
-
[Haskell] 11th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN)
Orven Llantos
-
[Haskell] TERMGRAPH 2020: Call for (Online) Participation
Patrick Bahr
-
[Haskell] [HIW'20] Third Call for Talks
Ben Gamari
-
[Haskell] [CFP] 1st Workshop on Cyber Forensics & Advanced Threat Investigations in Emerging Networks
CyberSecurity UK
-
[Haskell] Call for Tutorial Proposals: ICFP 2020
Sam Tobin-Hochstadt via Haskell
-
[Haskell] ETAPS 2020 afternoon, online, 2 July 2020, call for participation
Tarmo Uustalu
-
[Haskell] PhD position(s) in Structural and Algorithmic Aspects of Preference-based Problems in Social Choice - Vienna, Austria - Deadline: July 31, 2020
Mihaela Rozman
-
[Haskell] First call for draft papers for IFL 2020 (Implementation and Application of Functional Languages)
Jurriaan Hage
-
[Haskell] 12 PhD Positions in the Doctoral Program Logical Methods in Computer Science (LogiCS) - fully funded - Vienna, Austria - Deadline: 12 June 2020
Mihaela Rozman
-
[Haskell] [CFP] 1st Workshop on Cyber Forensics and Advanced Threat Investigations
CiberSeguridad UK
-
[Haskell] Postdoc position at University of Bristol in functional programming
Meng Wang
-
[Haskell] [CFP] Smart Healthcare Services in Internet of Healthcare Things
CiberSeguridad UK
-
[Haskell] Workshop on Functional Art, Music, Modeling, and Design (FARM) -- performance call
david . janin
-
[Haskell] New Journal: Journal of Cyber Forensics and Advanced Threat Investigations
CiberSeguridad UTFSM
-
[Haskell] Announcement: The Chalmers Online Functional Programming Seminar Series (TODAY: Benjamin Pierce!)
Koen Claessen
-
[Haskell] Postdoctoral position on Web/database programming languages at Edinburgh LFCS
James Cheney
-
[Haskell] Fully funded PhD in Networking and Communication Technology at the University of Vienna, Austria ***Deadline: June 7, 2020***
Rozman, Mihaela
-
[Haskell] SPLASH 2020: Combined Call for Contributions
hitesh sajnani
-
[Haskell] [HIW'20] Second Call for Talks
Ben Gamari
-
[Haskell] PPDP 2020 deadline extension
Andreas Abel
-
[Haskell] Several Open PhD Positions in the doctoral program on Logical Methods in Computer Science (LogiCS) in Austria ***Deadline: June 12, 2020***
Rozman, Mihaela
-
[Haskell] 6-year PostDoc Position in Algorithms at the Vienna University of Technology (TU Wien), Vienna, Austria *** Application deadline is May 28, 2020 ***
Rozman, Mihaela
-
[Haskell] TyDe 2020 - Final Call for Papers
Cyrus Omar
-
[Haskell] PPDP 2020 Final call for papers
Andreas Abel
-
[Haskell] Final call for contributions for the virtual WiL 2020 (4th Women in Logic Worskhop collocated with Petri Nets, IJCAR etc)
Rozman, Mihaela
-
[Haskell] WFLP 2020 CFP (Workshop on Functional and Constraint Logic Programming)
Michael Hanus
-
[Haskell] ICFP 2020 will be held ONLINE Aug 23-28
Sam Tobin-Hochstadt via Haskell
-
[Haskell] The 11th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2020)
Orven Llantos
-
[Haskell] Certified Programs and Proofs (CPP) 2021: First Call for Papers
Andrei Popescu
-
[Haskell] Call for Participants in Haskell Search Tool User Study
Michael James
-
[Haskell] TERMGRAPH 2020: Deadline Extension - 22 April
Patrick Bahr
-
[Haskell] Haskell Symposium 2020 -- Call for Papers: Regular track & demos
Tom Schrijvers
-
[Haskell] Two PhD positions in Utrecht
Wouter Swierstra
-
[Haskell] [FNC-2020] CFP (final extension): Conference on Future Networks and Communications. Leuven, Belgium (August 9-12, 2020)
Wim Ectors
-
[Haskell] Call for participation: Utrecht AFP Summer School
Wouter Swierstra
-
[Haskell] TERMGRAPH 2020: 2nd Call for papers
Patrick Bahr
-
[Haskell] LOPSTR 2020 - First CFP
Michael Hanus
-
[Haskell] [ANNOUNCE] Glasgow Haskell Compiler 8.10.1 released
Ben Gamari
-
[Haskell] Multiple Research Positions (3 Doctoral, 5 Post-doctoral) on AI Verification
Robert Atkey
-
[Haskell] Wetice 2020 CFP- Second round
Khouloud Boukadi
-
[Haskell] 2 PhD Positions in the Safety and Security of Advanced Systems Group (University of Exeter, UK Deadline 2020-05-01)
Achim D. Brucker
-
[Haskell] Open Position: Lecturer in Computer Science (Exeter, Deadline 2020-04-08)
Achim D. Brucker
-
[Haskell] CFP: ACM Scala Symposium 2020
David Richter
-
[Haskell] [FNC-2020] CFP (extended): Conference on Future Networks and Communications. Leuven, Belgium (August 9-12, 2020)
Wim Ectors
-
[Haskell] [HiW'20] Call for Talks
Ben Gamari
-
Re: [Haskell] Haskell Digest, Vol 199, Issue 5
Rishiyur Nikhil
-
[Haskell] Fwd: [GitHub] You've been removed from the Haskell organization
dominic
-
[Haskell] Sad news
Wouter Swierstra
-
[Haskell] PhD / Postdoc position (Uni Amsterdam) in programming language technology for adaptive cyber-physical systems
Clemens Grelck
-
[Haskell] FHPPNC 2020 Call For Papers
Troels Henriksen
-
[Haskell] [FNC-2020] Call for papers: Conference on Future Networks and Communications. Leuven, Belgium (August 9-12, 2020)
Wim Ectors
-
[Haskell] Wetice'2020 paper deadline extended to March 10
Khouloud Boukadi
-
[Haskell] PPDP 2020 Call For Papers (corrected link)
Andreas Abel
-
[Haskell] PPDP 2020 Call For Papers
Andreas Abel
-
[Haskell] TERMGRAPH 2020: Call for papers
Patrick Bahr
-
[Haskell] CALL FOR (Self)NOMINATIONS: VCLA International Student Awards 2020 FOR Outstanding Master and Bachelor Theses conferred between 15.11.2018 and 31.12.2019 (inclusive)
Mihaela Rozman
-
[Haskell] CFP 2nd International Workshop on EXplainable, TRansparent Autonomous Agents and Multi-Agent Systems (EXTRAAMAS 2020)
Yazan Mualla
-
[Haskell] CfP: Haskell Symposium 2020
Tom Schrijvers
-
[Haskell] MobiSPC 2020 CfPs: The 17th International Conference on Mobile Systems and Pervasive Computing, Leuven, Belgium (August 9-12, 2020)
Orven Llantos
-
[Haskell] Call for Papers: PACMPL issue ICFP 2020
Sam Tobin-Hochstadt via Haskell
-
[Haskell] Build Automation and Programming Languages workshop (20 June 2020, collocated with PLDI 2020 in London)
Georgy Lukyanov
-
[Haskell] 2nd CFP: Symposium on Dependable Software Engineering Theories, Tools and Applications (SETTA 2020) - Beijing, China, July 8-11, 2020
songfu1...@shanghaitech.edu.cn
-
[Haskell] [ANNOUNCE] Glasgow Haskell Compiler 8.10.1-rc1 released
Ben Gamari
-
[Haskell] 10 PhD studentships in Nottingham for Home/EU applicants
Graham Hutton
-
[Haskell] Haskell.org Committee Nomination Results
Emily Pillmore
-
[Haskell] [ANN] 2nd Call for Participation: BOB 2020 (February 28, Berlin, early-bird until Jan 20)
Stefan Wehr
-
[Haskell] First ETAPS Doctoral Dissertation Award, final call for nominations
Tarmo Uustalu
-
[Haskell] ETAPS Test of Time Award 2020, call for nominations
Tarmo Uustalu
-
[Haskell] [TFP'20] call for participation: Trends in Functional Programming 2020, 13-14 February, Krakow, Poland
Peter Achten
-
[Haskell] [GSoC 2020] Call for Ideas
Jasper Van der Jeugt
-
[Haskell] 2nd Call for Affiliated Workshops at QONFEST 2020, in Vienna, TU Wien - Deadline: January 15, 2020
Mihaela Rozman
-
[Haskell] Ph.D. fellowship on high-performance functional programming for deep probabilistic programming. Deadline: 2020-01-15
Fritz Henglein
-
[Haskell] SEIT-2020 CfPs: The 10th International Conference on Sustainable Energy Information Technology (August 9-12, 2020, Leuven, Belgium)
Aneta Poniszewska-Marańda I72
-
[Haskell] SEIT-2020 CfPs: The 10th International Conference on Sustainable Energy Information Technology (August 9-12, 2020, Leuven, Belgium)
Aneta Poniszewska-Marańda I72
-
[Haskell] SEIT-2020 CfPs: The 10th International Conference on Sustainable Energy Information Technology (August 9-12, 2020, Leuven, Belgium)
Aneta Poniszewska-Marańda I72
-
[Haskell] SEIT-2020 CfPs: The 10th International Conference on Sustainable Energy Information Technology (August 9-12, 2020, Leuven, Belgium)
Aneta Poniszewska-Marańda I72
-
[Haskell] SEIT-2020 CfPs (Extended Submission Date): The 10th International Conference on Sustainable Energy Information Technology (August 9-12, 2020, Leuven, Belgium)
Aneta Poniszewska-Marańda I72
-
[Haskell] SEIT-2020 CfPs (FINAL Submission Date): The 10th International Conference on Sustainable Energy Information Technology (August 9-12, 2020, Leuven, Belgium)
Aneta Poniszewska-Marańda I72
-
[Haskell] SEIT-2020 CfPs (FINAL Submission Date): The 10th International Conference on Sustainable Energy Information Technology (August 9-12, 2020, Leuven, Belgium)
aneta.poniszewska-maranda
-
[Haskell] ANT-2021 CfPs: The 12th International Conference on Ambient Systems, Networks and Technologies (March 23-26, 2021, Warsaw, Poland)
Aneta Poniszewska-Marańda I72
-
[Haskell] ANT-2021 CfPs: The 12th International Conference on Ambient Systems, Networks and Technologies (March 23-26, 2021, Warsaw, Poland)
Aneta Poniszewska-Marańda I72
-
[Haskell] ANT-2021 CfPs: The 12th International Conference on Ambient Systems, Networks and Technologies (March 23-26, 2021, Warsaw, Poland)
Aneta Poniszewska-Marańda I72
-
[Haskell] ANT-2021 CfPs: The 12th International Conference on Ambient Systems, Networks and Technologies (March 23-26, 2021, Warsaw, Poland)
Aneta Poniszewska-Marańda I72
-
[Haskell] ODP: ANT-2021 CfPs: The 12th International Conference on Ambient Systems, Networks and Technologies (March 23-26, 2021, Warsaw, Poland)
Aneta Poniszewska-Marańda I72
-
[Haskell] ODP: ANT-2021 CfPs: The 12th International Conference on Ambient Systems, Networks and Technologies (March 23-26, 2021, Warsaw, Poland)
Aneta Poniszewska-Marańda I72
-
[Haskell] ANT-2021 CfPs: The 12th International Conference on Ambient Systems, Networks and Technologies (March 23-26, 2021, Warsaw, Poland)
Aneta Poniszewska-Marańda I72
-
[Haskell] EDI40-2021 CfPs: The 4rd International Conference on Emerging Data and Industry 4.0 (March 23-26, 2021, Warsaw, Poland)
Aneta Poniszewska-Marańda I72
-
[Haskell] EDI40-2021 CfPs: The 4rd International Conference on Emerging Data and Industry 4.0 (March 23-26, 2021, Warsaw, Poland)
Aneta Poniszewska-Marańda I72
-
[Haskell] EDI40-2021 CfPs: The 4rd International Conference on Emerging Data and Industry 4.0 (March 23-26, 2021, Warsaw, Poland)
Aneta Poniszewska-Marańda I72
-
[Haskell] EDI40-2021 CfPs: The 4rd International Conference on Emerging Data and Industry 4.0 (March 23-26, 2021, Warsaw, Poland)
Aneta Poniszewska-Marańda I72
-
[Haskell] EDI40-2021 CfPs: The 4rd International Conference on Emerging Data and Industry 4.0 (March 23-26, 2021, Warsaw, Poland)
Aneta Poniszewska-Marańda I72
-
[Haskell] EDI40-2021 CfPs: The 4rd International Conference on Emerging Data and Industry 4.0 (March 23-26, 2021, Warsaw, Poland)
Aneta Poniszewska-Marańda I72
-
[Haskell] Fwd: Call for Workshop Proposal: FNC 2020, Leuven, Belgium
Muhammad ADNAN
-
[Haskell] Fwd: Call for Workshops Proposals: MobiSPC 2020, Leuven, Belgium
Muhammad ADNAN
-
[Haskell] Third call for draft papers for TFPIE 2020 (Trends in Functional Programming in Education)
Jurriaan Hage
-
Re: [Haskell] ANNOUNCE: mmsyn7ukr -- a A program and a library that can be used as a simple basic interface to some SoX functionality or for producing the approximately Ukrainian speech with your own recorded voice
Ivan Perez
-
[Haskell] Final CFP: JFP Special Issue on Gradual Typing
Amal Ahmed
-
[Haskell] PEPM2020 Call for Participation
Casper Bach Poulsen
-
[Haskell] Call for Participation: BOB 2020 (February 28, Berlin)
Stefan Wehr
-
[Haskell] First ETAPS Doctoral Dissertation Award
Tarmo Uustalu
-
[Haskell] [ANNOUNCE] Glasgow Haskell Compiler 8.10.1-alpha2 released
Ben Gamari