Messages by Date
-
2021/02/06
[Haskell] WPTE 2021 (FIRST Call For Papers)
Keisuke Nakano
-
2021/02/06
[Haskell] [ANNOUNCE] GHC 8.10.4 released
Ben Gamari
-
2021/02/05
[Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) -Prague
Emilia Marc
-
2021/02/05
[Haskell] FNC 2021: Call for Workshop Proposals (The 16th International Conference on Future Networks and Communications)
Muhammad ADNAN
-
2021/02/05
[Haskell] [CFP] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021)
Mayssa HEMDANI
-
2021/02/04
[Haskell] [ANNOUNCE] GHC 9.0.1 released
Ben Gamari
-
2021/02/03
Re: [Haskell] Haskell.org nomination results
Emily Pillmore
-
2021/02/02
[Haskell] The 18th International Conference on Mobile Systems and Pervasive Computing
Orven Llantos
-
2021/02/02
[Haskell] Call for Papers: PACMPL issue ICFP 2021
Sam Tobin-Hochstadt via Haskell
-
2021/01/31
[Haskell] ETAPS Test of Time Award 2021, call for nominations
Tarmo Uustalu
-
2021/01/26
[Haskell] International Conference on Applied Data Science and Intelligence - (ADSI 2021) -Prague
Emilia Marc
-
2021/01/25
[Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) -Prague
Emilia Marc
-
2021/01/25
[Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) -Prague
Emilia Marc
-
2021/01/24
[Haskell] International Conference on Applied Data Science and Intelligence - (ADSI 2021) -Prague
Emilia Marc
-
2021/01/23
[Haskell] [Smart Cities] Invitation: Special Issue "Cloud-Based IoT Applications for Smart Cities"
Aneta Poniszewska-Marańda I72
-
2021/01/23
[Haskell] [Electronics] Invitation: Special Issue "Security Measures in Vehicular Ad-Hoc Networks"
Aneta Poniszewska-Marańda I72
-
2021/01/22
[Haskell] [Information] Invitation: Special Issue "Information for Business and Management–Software Development for Data Processing and Management"
Aneta Poniszewska-Marańda I72
-
2021/01/22
[Haskell] [Lambda Days + TFP + TFPIE 2021] call for participation
Peter Achten
-
2021/01/21
[Haskell] MobiSPC 2021: Call for Workshop Proposals (The 18th International Conference on Mobile Systems and Pervasive Computing)
Muhammad ADNAN
-
2021/01/19
[Haskell] Formal Methods 2021 -- 2nd call for workshop & tutorial proposals
Jun PANG
-
2021/01/12
[Haskell] 14 Jan 2021 at 5pm CET - ZOOM - Public Vienna World Logic Day Lecture with Georg Gottlob - Knowledge Processing, Logic, and the Future of AI
Rozman, Mihaela
-
2021/01/11
[Haskell] 2nd Call for Participation: BOB 2021 (February 26, online)
Stefan Wehr
-
2021/01/08
[Haskell] PEPM 2021 - Call for Participation
Sam Lindley
-
2021/01/08
[Haskell] [TFP'21] final call for papers: Trends in Functional Programming 2021, 17-19 February (online event with Lambda Days 2021 & TFPIE 2021)
Peter Achten
-
2021/01/06
[Haskell] fully funded PhD position on verification of industrial robots at University of Sheffield -- application deadline coming soon (Jan. 13)
Andrei Popescu
-
2021/01/04
[Haskell] Nominations close Jan 11th for the Haskell Foundation Board
Simon Peyton Jones via Haskell
-
2021/01/04
[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
-
2020/12/30
[Haskell] [ANNOUNCE] Glasgow Haskell Compiler 9.0.1-rc1 released
Ben Gamari
-
2020/12/29
[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
-
2020/12/29
[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
-
2020/12/22
[Haskell] PhD position in Software Language Engineering @ University of Amsterdam
Thomas van Binsbergen
-
2020/12/20
[Haskell] [FNC-2021] CFP: 16th International Conference on Future Networks and Communications. Leuven, Belgium (Aug 9-12, 2021)
Wim Ectors
-
2020/12/20
Re: [Haskell] [ANNOUNCE] Glasgow Haskell Compiler 8.10.3 released
Ben Gamari
-
2020/12/19
[Haskell] [ANNOUNCE] Glasgow Haskell Compiler 8.10.3 released
Ben Gamari
-
2020/12/18
[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
-
2020/12/18
[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
-
2020/12/18
[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
-
2020/12/18
[Haskell] [EDI40-2021] FINAL DEADLINE CFP: 4th International Conference on Emerging Data and Industry 4.0. Warsaw, Poland (March 23-26, 2021)
Wim Ectors
-
2020/12/16
[Haskell] The 18th International Conference on Mobile Systems and Pervasive Computing
Orven Llantos
-
2020/12/15
[Haskell] CFP - The 3rd International Workshop on EXplainable and TRAnsparent AI and Multi-Agent Systems (EXTRAAMAS 2021)
Yazan Mualla
-
2020/12/10
[Haskell] Invitation to celebrate the World Logic Day digitally - 14 January 2021 - Ambassadors of Logic and public Vienna Logic Day Lecture
Rozman, Mihaela
-
2020/12/09
[Haskell] [MEDI 2021] Call for Workshops
Samir ouchani
-
2020/12/08
[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
-
2020/12/08
[Haskell] Call for Participation: BOB 2021 (February 26, online, early-bird until Dec 31)
Stefan Wehr
-
2020/12/07
[Haskell] Help lead Haskell: Executive Director sought for Haskell Foundation
Richard Eisenberg
-
2020/12/03
[Haskell] 2020 Haskell.org Call for Nominations
Jasper Van der Jeugt
-
2020/12/02
[Haskell] Invitation to the 3rd European Forum for the SARL Users and Developers (EuSarlCon-21)
Yazan Mualla
-
2020/12/02
[Haskell] CFP - The 5th International Workshop on Agent-based Modeling and Applications with SARL (SARL-21)
Yazan Mualla
-
2020/11/30
[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
-
2020/11/30
[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
-
2020/11/23
Re: [Haskell] [ANNOUNCE] Glasgow Haskell Compiler 9.0.1-alpha1 released
Ben Gamari
-
2020/11/20
[Haskell] two posts of Lecturer in Cybersecurity at University of Sheffield: deadline 3rd December 2020
Andrei Popescu
-
2020/11/18
[Haskell] Invitation to the 3rd European Forum for the SARL Users and Developers (EuSarlCon-21)
Yazan Mualla
-
2020/11/18
[Haskell] CFP - The 5th International Workshop on Agent-based Modeling and Applications with SARL (SARL-21)
Yazan Mualla
-
2020/11/11
[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
-
2020/11/11
[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
-
2020/11/11
[Haskell] Three new Teaching Assistant positions in Nottingham
Graham Hutton
-
2020/11/11
[Haskell] [EDI40-2021] CFP: 4th International Conference on Emerging Data and Industry 4.0. Warsaw, Poland (March 23-26, 2021)
Wim Ectors
-
2020/11/10
[Haskell] Last Call for Contributions: BOB 2021 [Feb 26, Deadline Nov 13]
Stefan Wehr
-
2020/11/05
[Haskell] Post-doc position at Chalmers Univ. on Functional Programming
Alejandro Russo
-
2020/11/04
[Haskell] Call for Workshop Proposals: ICFP 2021
Sam Tobin-Hochstadt via Haskell
-
2020/11/04
[Haskell] Announcing the Haskell Foundation
Richard Eisenberg
-
2020/11/04
[Haskell] CFP - The 5th International Workshop on Agent-based Modeling and Applications with SARL (SARL-21)
Yazan Mualla
-
2020/11/04
[Haskell] Invitation to the 3rd European Forum for the SARL Users and Developers (EuSarlCon-21)
Yazan Mualla
-
2020/11/03
[Haskell] Tomorrow: Simon PJ announces Haskell Foundation
Richard Eisenberg
-
2020/11/03
[Haskell] Journal of Functional Programming - Call for PhD Abstracts
Graham Hutton
-
2020/11/01
[Haskell] trouble building ghc-8.10.2 from source
Scott N. Walck
-
2020/10/30
[Haskell] 2nd Call for Contributions: BOB 2021 [Feb 26, Deadline Nov 13]
Stefan Wehr
-
2020/10/27
[Haskell] Second Call for Presentations: PriSC 2021 @ POPL 2021
PriSC PC Chairs
-
2020/10/25
[Haskell] Any interest in the 'biohaskell.org' domain?
Ketil Malde
-
2020/10/21
[Haskell] CFP - The 5th International Workshop on Agent-based Modeling and Applications with SARL (SARL-21)
Yazan Mualla
-
2020/10/21
[Haskell] Invitation to the 3rd European Forum for the SARL Users and Developers (EuSarlCon-21)
Yazan Mualla
-
2020/10/10
[Haskell] Invitation to the 3rd European Forum for the SARL Users and Developers (EuSarlCon-21)
Yazan Mualla
-
2020/10/10
[Haskell] CFP - The 5th International Workshop on Agent-based Modeling and Applications with SARL (SARL-21)
Yazan Mualla
-
2020/10/06
[Haskell] CfP: Haskell eXchange
Richard Eisenberg
-
2020/10/06
[Haskell] Call for Contributions: BOB 2021 [Feb 26, Deadline Nov 13]
Stefan Wehr
-
2020/10/04
[Haskell] ETAPS 2021 final joint call for papers
Tarmo Uustalu
-
2020/09/30
[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
-
2020/09/30
[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
-
2020/09/30
[Haskell] [CfP] PADL 2021: Practical Aspects of Declarative Languages
Jose F. Morales
-
2020/09/29
Re: [Haskell] [ANNOUNCE] Glasgow Haskell Compiler 9.0.1-alpha1 released
David Feuer
-
2020/09/29
[Haskell] [TFPIE'21] First Call For Papers: Trends in Functional Programming *in Education* 2021, 16 February (with Lambda Days 2021 & TFP 2021)
Peter Achten
-
2020/09/29
[Haskell] [TFP'21] first call for papers: Trends in Functional Programming 2021, 17-19 February (with Lambda Days 2021 & TFPIE 2021)
Peter Achten
-
2020/09/29
[Haskell] ANT & EDI40 2021: Last Call for Organizing a Workshop in Warsaw, Poland (March 23 - 26, 2021)
Yazan Mualla
-
2020/09/28
[Haskell] [ANNOUNCE] Glasgow Haskell Compiler 9.0.1-alpha1 released
Ben Gamari
-
2020/09/27
[Haskell] Tenure-track Faculty Positions at the IMDEA Software Institute
Manuel Hermenegildo
-
2020/09/23
[Haskell] CFP - The 5th International Workshop on Agent-based Modeling and Applications with SARL (SARL-21)
Yazan Mualla
-
2020/09/23
[Haskell] Invitation to the 3rd European Forum for the SARL Users and Developers (EuSarlCon-21)
Yazan Mualla
-
2020/09/22
[Haskell] ETAPS 2021 2nd joint call for papers
Tarmo Uustalu
-
2020/09/22
[Haskell] PEPM 2021 - Second Call for Papers
Sam Lindley
-
2020/09/17
[Haskell] Workshops Proposals - The 4th International Conference on Emerging Data and Industry 4.0 (EDI40)
Yazan Mualla
-
2020/09/17
[Haskell] Workshops Proposals - The 12th International Conference on Ambient Systems, Networks and Technologies (ANT-2021)
Yazan Mualla
-
2020/09/13
[Haskell] PL / compilers team lead role with Standard Chartered in Warsaw
José Pedro Magalhães
-
2020/09/09
Re: [Haskell] Haskell tutors required!
Philip Wadler
-
2020/09/09
[Haskell] Invitation to the 3rd European Forum for the SARL Users and Developers (EuSarlCon-21)
Yazan Mualla
-
2020/09/09
[Haskell] CFP - The 5th International Workshop on Agent-based Modeling and Applications with SARL (SARL-21)
Yazan Mualla
-
2020/09/08
Re: [Haskell] Haskell tutors required!
Howard B. Golden
-
2020/09/06
[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
-
2020/09/06
[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
-
2020/09/04
[Haskell] FLOPS 2020: Call for (free) Participation
Keisuke Nakano
-
2020/09/03
[Haskell] Haskell tutors required!
Philip Wadler
-
2020/08/31
[Haskell] BOPL / PPDP 2020 call for participation (register until 3 Sep)
Andreas Abel
-
2020/08/26
[Haskell] First and Only Call for Participation for IFL 2020 (Implementation and Application of Functional Languages)
Jurriaan Hage
-
2020/08/25
[Haskell] [EDI40-2021] CFP: 4th International Conference on Emerging Data and Industry 4.0. Warsaw, Poland (March 23-26, 2021)
Wim Ectors
-
2020/08/24
[Haskell] Call for participation: BOPL 2020 (LOPSTR, Microservices, PPDP, WFLP)
Michael Hanus
-
2020/08/23
[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
-
2020/08/19
[Haskell] Third Call for Participation: ICFP 2020
Sam Tobin-Hochstadt via Haskell
-
2020/08/17
[Haskell] Certified Programs and Proofs (CPP) 2021: Final Call for Papers
Andrei Popescu
-
2020/08/14
[Haskell] 3rd Call for Papers: REBLS 20: Reactive and Event-Based Languages and Systems
Ivan Perez
-
2020/08/12
[Haskell] PEPM 2021 - First Call for Papers
Sam Lindley
-
2020/08/11
[Haskell] Third call for draft papers for IFL 2020 (Implementation and Application of Functional Languages)
Jurriaan Hage
-
2020/08/09
[Haskell] MSFP 2020 (Monday August 31st and Tuesday September 1st) - Call for Participation
Sam Lindley
-
2020/08/08
[Haskell] [ANNOUNCE] Glasgow Haskell Compiler 8.10.2 released
Ben Gamari
-
2020/08/07
[Haskell] Call for Tutorial Participation: ICFP 2020
Sam Tobin-Hochstadt via Haskell
-
2020/08/06
[Haskell] Second Call for Participation: ICFP 2020
Sam Tobin-Hochstadt via Haskell
-
2020/07/24
[Haskell] SPLASH 2020 Combined Call for Workshop Submissions
hitesh sajnani
-
2020/07/23
[Haskell] ETAPS 2021 1st joint call for papers
Tarmo Uustalu
-
2020/07/16
[Haskell] Final Call for Tutorials, Discussions, and Social Events: ICFP 2020
Sam Tobin-Hochstadt via Haskell
-
2020/07/15
[Haskell] PhD / Postdoc position (Uni Amsterdam) in programming language technology for adaptive cyber-physical systems
Clemens Grelck
-
2020/07/15
[Haskell] Second call for draft papers for IFL 2020 (Implementation and Application of Functional Languages)
Jurriaan Hage
-
2020/07/15
[Haskell] Awardees of the VCLA International Student Awards for Outstanding Master and Undergraduate Theses in Logic and Computer Science - 2020
Mihaela Rozman
-
2020/07/14
[Haskell] Call for Participation: ICFP 2020
Sam Tobin-Hochstadt via Haskell
-
2020/07/06
[Haskell] WFLP 2020: 2nd CFP and Extended Deadlines
Michael Hanus
-
2020/07/03
[Haskell] Haskell, Then and Now. Got Questions? Ask them here!
Philip Wadler
-
2020/07/02
[Haskell] Cardano Virtual Summit 2020
Philip Wadler
-
2020/06/30
[Haskell] 11th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN)
Orven Llantos
-
2020/06/28
[Haskell] TERMGRAPH 2020: Call for (Online) Participation
Patrick Bahr
-
2020/06/24
[Haskell] [HIW'20] Third Call for Talks
Ben Gamari
-
2020/06/20
[Haskell] [CFP] 1st Workshop on Cyber Forensics & Advanced Threat Investigations in Emerging Networks
CyberSecurity UK
-
2020/06/16
[Haskell] Call for Tutorial Proposals: ICFP 2020
Sam Tobin-Hochstadt via Haskell
-
2020/06/16
[Haskell] ETAPS 2020 afternoon, online, 2 July 2020, call for participation
Tarmo Uustalu
-
2020/06/14
[Haskell] The 11th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2020)
Orven Llantos
-
2020/06/09
[Haskell] PhD position(s) in Structural and Algorithmic Aspects of Preference-based Problems in Social Choice - Vienna, Austria - Deadline: July 31, 2020
Mihaela Rozman
-
2020/06/08
[Haskell] First call for draft papers for IFL 2020 (Implementation and Application of Functional Languages)
Jurriaan Hage
-
2020/06/02
[Haskell] Call for Submissions: ICFP Student Research Competition
Sam Tobin-Hochstadt via Haskell
-
2020/06/02
[Haskell] 12 PhD Positions in the Doctoral Program Logical Methods in Computer Science (LogiCS) - fully funded - Vienna, Austria - Deadline: 12 June 2020
Mihaela Rozman
-
2020/06/01
[Haskell] [CFP] 1st Workshop on Cyber Forensics and Advanced Threat Investigations
CiberSeguridad UK
-
2020/06/01
[Haskell] Postdoc position at University of Bristol in functional programming
Meng Wang
-
2020/05/24
[Haskell] Reminder: The Chalmers Online Functional Programming Seminar Series (THIS WEEK: Nadia Polikarpova)
Koen Claessen
-
2020/05/22
[Haskell] [CFP] Smart Healthcare Services in Internet of Healthcare Things
CiberSeguridad UK
-
2020/05/21
[Haskell] Workshop on Functional Art, Music, Modeling, and Design (FARM) -- performance call
david . janin
-
2020/05/18
[Haskell] New Journal: Journal of Cyber Forensics and Advanced Threat Investigations
CiberSeguridad UTFSM
-
2020/05/18
[Haskell] Announcement: The Chalmers Online Functional Programming Seminar Series (TODAY: Benjamin Pierce!)
Koen Claessen
-
2020/05/17
[Haskell] The 11th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2020)
Orven Llantos
-
2020/05/15
[Haskell] Postdoctoral position on Web/database programming languages at Edinburgh LFCS
James Cheney
-
2020/05/15
[Haskell] Fully funded PhD in Networking and Communication Technology at the University of Vienna, Austria ***Deadline: June 7, 2020***
Rozman, Mihaela
-
2020/05/15
[Haskell] SPLASH 2020: Combined Call for Contributions
hitesh sajnani
-
2020/05/14
[Haskell] [HIW'20] Second Call for Talks
Ben Gamari
-
2020/05/12
[Haskell] PPDP 2020 deadline extension
Andreas Abel
-
2020/05/12
[Haskell] Several Open PhD Positions in the doctoral program on Logical Methods in Computer Science (LogiCS) in Austria ***Deadline: June 12, 2020***
Rozman, Mihaela
-
2020/05/11
[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
-
2020/05/06
[Haskell] TyDe 2020 - Final Call for Papers
Cyrus Omar
-
2020/05/04
[Haskell] PPDP 2020 Final call for papers
Andreas Abel
-
2020/05/04
[Haskell] Final call for contributions for the virtual WiL 2020 (4th Women in Logic Worskhop collocated with Petri Nets, IJCAR etc)
Rozman, Mihaela
-
2020/05/04
[Haskell] Journal of Functional Programming - Call for PhD Abstracts
Graham Hutton
-
2020/05/04
[Haskell] WFLP 2020 CFP (Workshop on Functional and Constraint Logic Programming)
Michael Hanus
-
2020/05/01
[Haskell] ICFP 2020 will be held ONLINE Aug 23-28
Sam Tobin-Hochstadt via Haskell
-
2020/04/30
[Haskell] PhD Position
Matthijs Vákár
-
2020/04/21
[Haskell] The 11th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2020)
Orven Llantos
-
2020/04/16
[Haskell] Certified Programs and Proofs (CPP) 2021: First Call for Papers
Andrei Popescu
-
2020/04/16
[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
-
2020/04/14
[Haskell] Call for Participants in Haskell Search Tool User Study
Michael James
-
2020/04/14
[Haskell] TERMGRAPH 2020: Deadline Extension - 22 April
Patrick Bahr
-
2020/04/14
[Haskell] Haskell Symposium 2020 -- Call for Papers: Regular track & demos
Tom Schrijvers
-
2020/04/06
[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
-
2020/04/06
[Haskell] Two PhD positions in Utrecht
Wouter Swierstra
-
2020/04/06
[Haskell] [FNC-2020] CFP (final extension): Conference on Future Networks and Communications. Leuven, Belgium (August 9-12, 2020)
Wim Ectors
-
2020/04/06
[Haskell] Call for participation: Utrecht AFP Summer School
Wouter Swierstra
-
2020/04/02
[Haskell] TERMGRAPH 2020: 2nd Call for papers
Patrick Bahr
-
2020/03/31
[Haskell] LOPSTR 2020 - First CFP
Michael Hanus
-
2020/03/24
Re: [Haskell] [ANNOUNCE] Glasgow Haskell Compiler 8.10.1 released
Ben Gamari
-
2020/03/24
[Haskell] [ANNOUNCE] Glasgow Haskell Compiler 8.10.1 released
Ben Gamari
-
2020/03/24
[Haskell] Multiple Research Positions (3 Doctoral, 5 Post-doctoral) on AI Verification
Robert Atkey
-
2020/03/24
[Haskell] Wetice 2020 CFP- Second round
Khouloud Boukadi
-
2020/03/22
[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
-
2020/03/20
[Haskell] 2 PhD Positions in the Safety and Security of Advanced Systems Group (University of Exeter, UK Deadline 2020-05-01)
Achim D. Brucker
-
2020/03/20
[Haskell] Open Position: Lecturer in Computer Science (Exeter, Deadline 2020-04-08)
Achim D. Brucker
-
2020/03/18
[Haskell] CFP: ACM Scala Symposium 2020
David Richter
-
2020/03/16
[Haskell] [FNC-2020] CFP (extended): Conference on Future Networks and Communications. Leuven, Belgium (August 9-12, 2020)
Wim Ectors
-
2020/03/16
[Haskell] [HiW'20] Call for Talks
Ben Gamari
-
2020/03/11
Re: [Haskell] Haskell Digest, Vol 199, Issue 5
Rishiyur Nikhil
-
2020/03/11
Re: [Haskell] Fwd: [GitHub] You've been removed from the Haskell organization
Jasper Van der Jeugt
-
2020/03/11
[Haskell] Fwd: [GitHub] You've been removed from the Haskell organization
dominic
-
2020/03/10
[Haskell] Sad news
Wouter Swierstra
-
2020/03/06
[Haskell] PhD / Postdoc position (Uni Amsterdam) in programming language technology for adaptive cyber-physical systems
Clemens Grelck
-
2020/03/06
[Haskell] FHPPNC 2020 Call For Papers
Troels Henriksen
-
2020/03/04
[Haskell] [FNC-2020] Call for papers: Conference on Future Networks and Communications. Leuven, Belgium (August 9-12, 2020)
Wim Ectors
-
2020/03/02
[Haskell] Wetice'2020 paper deadline extended to March 10
Khouloud Boukadi
-
2020/03/02
[Haskell] PPDP 2020 Call For Papers (corrected link)
Andreas Abel
-
2020/03/02
[Haskell] PPDP 2020 Call For Papers
Andreas Abel
-
2020/02/28
[Haskell] SEIT-2020 CfPs: The 10th International Conference on Sustainable Energy Information Technology (August 9-12, 2020, Leuven, Belgium)
Aneta Poniszewska-Marańda I72
-
2020/02/24
[Haskell] TERMGRAPH 2020: Call for papers
Patrick Bahr
-
2020/02/21
[Haskell] MobiSPC 2020 CfPs: The 17th International Conference on Mobile Systems and Pervasive Computing, Leuven, Belgium (August 9-12, 2020)
Orven Llantos
-
2020/02/14
[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
-
2020/02/14
[Haskell] CFP 2nd International Workshop on EXplainable, TRansparent Autonomous Agents and Multi-Agent Systems (EXTRAAMAS 2020)
Yazan Mualla
-
2020/02/09
[Haskell] SEIT-2020 CfPs: The 10th International Conference on Sustainable Energy Information Technology (August 9-12, 2020, Leuven, Belgium)
Aneta Poniszewska-Marańda I72
-
2020/02/06
[Haskell] MobiSPC 2020 CfPs: The 17th International Conference on Mobile Systems and Pervasive Computing, Leuven, Belgium (August 9-12, 2020)
Orven Llantos
-
2020/02/04
[Haskell] CfP: Haskell Symposium 2020
Tom Schrijvers
-
2020/02/03
[Haskell] [FNC-2020] Call for workshop proposals: Conference on Future Networks and Communications. Leuven, Belgium (August 9-12, 2020)
Wim Ectors
-
2020/02/02
[Haskell] MobiSPC 2020 CfPs: The 17th International Conference on Mobile Systems and Pervasive Computing, Leuven, Belgium (August 9-12, 2020)
Orven Llantos