Messages by Thread
-
[Haskell] DEADLINE EXTENDED - Call for Papers: HC@AIxIA 2024 (co-located with AIxIA 2024)
Francesco Calimeri
-
[Haskell] PriSC @ POPL'25: Call for Presentations
PriSC PC Chairs
-
[Haskell] [TFP 2025 Call for Papers] 25th International Symposium on Trends in Functional Programming (Oxford, UK)
Peter Achten via Haskell
-
[Haskell] PADL 2025: First Call for Papers
Germán Vidal via Haskell
-
[Haskell] FSEN 2025 - Final Call for Papers
Petra van den Bos via Haskell
-
[Haskell] PhD and Post-Doc Positions Available in PL
Michael D. Adams
-
[Haskell] [CRISIS 2024 - Final Deadline Extension] The 19th International Conference on Risks and Security of Internet and Systems
Samir ouchani
-
[Haskell] APLAS 2024 2nd Call for Participation
Mirai Ikebuchi
-
[Haskell] IFL 2024, final call for participation/registration
Mart Lubbers
-
[Haskell] Call for Nominations: SLE 2024 - Artifact Evaluation Committee, Nominations Wanted
Andrei Chis
-
[Haskell] APLAS 2024 Call for Participation
Mirai Ikebuchi
-
[Haskell] IFL 2024 Final call for papers, extended submission deadline.
Mart Lubbers
-
[Haskell] Call for Papers: Third AIxIA Workshop on Artificial Intelligence For Healthcare - HC@AIxIA 2024
Francesco Calimeri
-
[Haskell] LOPSTR 2024 - Call for Participation
Daniel Jurjo
-
[Haskell] ASPOCP 2024@ICLP- EXTENDED DEADLINE
cfp
-
[Haskell] Haskell Implementors' Workshop - Change of date
Matthew Pickering
-
[Haskell] FSEN 2025 - 2nd Call for Papers
Petra van den Bos via Haskell
-
[Haskell] ASPOCP 2024 @ ICLP- Second Call for Paper
cfp
-
[Haskell] ICFP 2024: Call for Participation
ICFP Publicity via Haskell
-
[Haskell] Final Call for Talks: Haskell Implementors' Workshop 2024
Matthew Pickering
-
[Haskell] Journal of Biomedical Informatics - Call for Papers: Special issue on learning from multiple data sources for decision making in health care
Francesco Calimeri
-
[Haskell] IFL 2024: Second Call for Papers
Mart Lubbers
-
[Haskell] ASPOCP 2024 @ ICLP- First Call for Paper
cfp
-
[Haskell] International Intelligence, Sustainability, and Innovation in Healthcare (ISIH 2024), Roanne, France, October 30-31, 2024
Oumaima Boulkhoukh
-
[Haskell] [TFP (and TFPiE) 2024] Call For Participation (January 9-12, Seton Hall University, NJ, USA)
Peter Achten via Haskell
-
Re: [Haskell] 31st Netherlands Functional Programming Day (FP Dag): Call for Participation
Jesper Cockx via Haskell
-
[Haskell] Call for Participation: BOB 2024 (Berlin, March 15)
Stefan Wehr
-
[Haskell] ICFP 2024: Call for Workshops and Co-Located Events
ICFP Publicity via Haskell
-
[Haskell] Call for STSMs and ITC conference grants, deadline 7 January 2024
simona . k
-
[Haskell] [Deadline Extension] FormaliSE 2024 - Call for Papers
Abhishek Tiwari
-
[Haskell] (Extended deadline) CfP: Automated Program and Proof Synthesis (AP2S at AAAI '24)
Kristopher K Micinski via Haskell
-
[Haskell] FLOPS 2024: final call for abstracts and papers
Jeremy Gibbons
-
[Haskell] ICFP 2024: Call for Papers
ICFP Publicity via Haskell
-
[Haskell] [TFP 2024 Final Call for Papers] 25th International Symposium on Trends in Functional Programming
Peter Achten via Haskell
-
[Haskell] ANT 2024 CFP (December 4, 2023 (extended)): The 15th International Conference on Ambient Systems, Networks and Technologies (ANT) , Hasselt, Belgium, April 23-25, 2024
Ali BENZERBADJ
-
[Haskell] ANT 2024 CFP (December 4, 2023 (Extended)): The 15th International Conference on Ambient Systems, Networks and Technologies (ANT) , Hasselt, Belgium, April 23-25, 2024
Ali BENZERBADJ
-
[Haskell] ANT 2024 CFP (December 4, 2023 (extended)): The 15th International Conference on Ambient Systems, Networks and Technologies (ANT) , Hasselt, Belgium, April 23-25, 2024
Ali BENZERBADJ
-
Re: [Haskell] ANT 2024 CFP (December 4, 2023 (extended)): The 15th International Conference on Ambient Systems, Networks and Technologies (ANT) , Hasselt, Belgium, April 23-25, 2024
Ivan Perez
-
Re: [Haskell] ANT 2024 CFP (December 4, 2023 (extended)): The 15th International Conference on Ambient Systems, Networks and Technologies (ANT) , Hasselt, Belgium, April 23-25, 2024
Ali BENZERBADJ
-
[Haskell] ED-I40 2024 CFP (Extended Deadline: December 4, 2023): The 7th International Conference on Emerging Data and Industry (EDI40), Hasselt, Belgium, April 23-25, 2024
Ali BENZERBADJ
-
[Haskell] ED-I40 2024 CFP (Extended Deadline: December 4, 2023): The 7th International Conference on Emerging Data and Industry (EDI40), Hasselt, Belgium, April 23-25, 2024
Ali BENZERBADJ
-
[Haskell] ED-I40 2024 CFP (Extended Deadline: December 4, 2023): The 7th International Conference on Emerging Data and Industry (EDI40), Hasselt, Belgium, April 23-25, 2024
Ali BENZERBADJ
-
[Haskell] CfP: TASE 2024, Guiyang City, China, July 29 - August 1, 2024
Huibiao Zhu via Haskell
-
[Haskell] FormaliSE 2024 - Call for Papers
Abhishek Tiwari
-
[Haskell] PriSC 2024: Call for Presentations
PriSC PC Chairs
-
[Haskell] SRC@POPL 2024 Call for Submissions
Neel Krishnaswami
-
[Haskell] The 15th International Conference on Ambient Systems, Networks and Technologies (ANT) , Hasselt, Belgium, April 23-25, 2024
Ali BENZERBADJ
-
[Haskell] ED-I40 2024 CFP : The 7th International Conference on Emerging Data and Industry (EDI40), Hasselt, Belgium, April 23-25, 2024
Ali BENZERBADJ
-
[Haskell] Call for STSMs and ITC conference grants, deadline 12 November 2023
simona . k
-
[Haskell] APLAS 2023: Second Call for Participation
Sato, Ryosuke
-
[Haskell] S-REPLS 13 / Fun in the Afternoon at Bristol
Alex Kavvos
-
[Haskell] Call for Contributions: BOB 2024 [March 15, Deadline Nov 17]
Stefan Wehr
-
[Haskell] APLAS 2023: Call for Participation
Sato, Ryosuke
-
[Haskell] LAST reminder - DEADLINE September 20th - HC@AIxIA 2023
Francesco Calimeri
-
[Haskell] LOPSTR 2023 - Call for Participation
Daniel Jurjo
-
[Haskell] S-REPLS 13 / Fun in the Afternoon, Bristol, UK
Alex Kavvos
-
[Haskell] ESOP 2024 Call For Papers
Stephanie Weirich
-
[Haskell] SAS 2023 - Call for Participation - Early deadline: Sept 22
Louis Rustenholz
-
[Haskell] CFP, PEPM 2024 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
Meng Wang
-
[Haskell] [CfP - DEADLINE EXTENSION] Second AIxIA Workshop on Artificial Intelligence For Healthcare HC@AIxIA 2023
Francesco Calimeri
-
[Haskell] Call for Papers: JFP Special Issue on Program Calculation (papers due 1st Dec)
Graham Hutton via Haskell
-
[Haskell] PADL 2024: Call for Papers
ICFP Publicity via Haskell
-
[Haskell] Second Call for Papers: JFP Special Issue on Program Calculation (papers due 1st Dec)
Graham Hutton via Haskell
-
[Haskell] [Call for submissions TFPiE 2024] Trends in Functional Programming in Education - January 9 2024, Seton Hall University, USA
Peter Achten
-
[Haskell] Second Call for Submissions: Student Research Competition and Posters, APLAS 2023
Sato, Ryosuke
-
[Haskell] ICFP 2023: Call for Participation
ICFP Publicity via Haskell
-
[Haskell] Call for Lightning Talks: Haskell Implementors' Workshop 2023
Ryan Scott
-
[Haskell] IFL23 - Deadline extension - Symposium on Implementation and Application of Functional Languages
Pieter Koopman
-
[Haskell] IFL23 last Call for papers
Pieter Koopman
-
[Haskell] FLOPS 2024 Symposium on Functional and Logic Programming
Jeremy Gibbons
-
[Haskell] Call for Participation, Functional Software Architecture - FP in the Large
Graham Hutton via Haskell
-
[Haskell] VMIL 2023 - Co-located with SPLASH'23 - Call for Work-in-progress and Position Papers
Andrea Rosa
-
[Haskell] ICTH 2023 CFPs (Firm Deadline: August 25): The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare
Ali BENZERBADJ
-
[Haskell] EUSPN 2023 CfPs (Firm Deadline: Aug. 25): The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks
Ali BENZERBADJ
-
[Haskell] VMIL 2023 - Co-located with SPLASH'23 - Deadline Extension
Andrea Rosa
-
[Haskell] EUSPN 2023 CfPs (Deadline: July 14): The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks
Ali BENZERBADJ
-
[Haskell] ICTH 2023 CFPs (DeadLine: July 14): The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare
Ali BENZERBADJ
-
[Haskell] [TFP 2024 Call for Papers] 25th International Symposium on Trends in Functional Programming
Peter Achten
-
[Haskell] Call for Talks: Haskell Implementors' Workshop 2023 (deadline extension)
Ryan Scott
-
[Haskell] [CfP] Second AIxIA Workshop on Artificial Intelligence For Healthcare HC@AIxIA 2023
Francesco Calimeri
-
[Haskell] CFP : CPP 2024 -- Certified Proofs and Programs
Brigitte Pientka
-
[Haskell] GPCE 2023: Deadline Extension
Youyou Cong
-
[Haskell] Lectureship at Bristol
Alex Kavvos
-
[Haskell] VMIL 2023 - Co-located with SPLASH'23 - 2nd Call for Papers
Andrea Rosa
-
[Haskell] ICTH 2023 CFPs (Final Extension): The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare
Ali BENZERBADJ
-
[Haskell] EUSPN 2023 CfPs (Final Extension): The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks
Ali BENZERBADJ
-
[Haskell] CFP - JFLA 2024 - Journées Francophones des Langages Applicatifs
Delphine Demange
-
[Haskell] Workshop on Virtual Machines and Language Implementations (VMIL’23) - Call for Papers
Andrea Rosa
-
[Haskell] IFL23 2nd Call for papers
Pieter Koopman
-
[Haskell] CFPs (Extended): The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare
Ali BENZERBADJ
-
[Haskell] ICTH 2023 CFPs (Extended): The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare
Ali BENZERBADJ
-
[Haskell] EUSPN 2023 CfPs (Extended): The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks
Ali BENZERBADJ
-
[Haskell] 2nd CfP: SLE 2023 - 16th ACM SIGPLAN International Conference on Software Language Engineering
Andrei Chis
-
[Haskell] APLAS 2023: Deadline Extension
Sato, Ryosuke
-
[Haskell] APLAS 2023: Final Call for Papers
Sato, Ryosuke
-
[Haskell] Assistant/Associate professor role at Radboud University
Wouter Swierstra via Haskell
-
[Haskell] TyDe 2023 - Second Call for Papers and Deadline Extension
Youyou Cong
-
[Haskell] EUSPN 2023 CfPs: The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (November 7-9)
Ali BENZERBADJ
-
[Haskell] Call for Papers: JFP Special Issue on Program Calculation
Graham Hutton via Haskell
-
[Haskell] Postdoc Position on Digitally Enforceable Data Sharing Contracts
Thomas van Binsbergen via Haskell
-
[Haskell] LOPSTR 2023 - Final CFP - Extended paper deadline: June 9, 2023
daniel . jurjo
-
[Haskell] Postdoc position in deep probabilistic programming
Fritz Henglein
-
[Haskell] GPCE 2023 Call for Papers (with complete committee information)
Youyou Cong
-
[Haskell] GPCE 2023 Call for Papers
Youyou Cong
-
[Haskell] [CFP] HOPE'23: ACM SIGPLAN Workshop on Higher-Order Programming with Effects (3rd CFP)
Daniel Hillerström
-
[Haskell] Call for Submissions: Student Research Competition and Posters, APLAS 2023
Sato, Ryosuke
-
[Haskell] WITS 2023 First Call for Contributions
Jesper Cockx via Haskell
-
[Haskell] ICFP 2023: Call for Tutorial, Panel, and Discussion Proposals
ICFP Publicity via Haskell
-
[Haskell] Announcement: Fast linear programming with comfort-glpk and coinor-clp
Henning Thielemann
-
[Haskell] APLAS 2023: Second Call for Papers
Sato, Ryosuke
-
[Haskell] [CFP] Student Research Competition (SRC) at ICFP'23
Daniel Hillerström
-
[Haskell] The Point of this List
Dominic Steinitz
-
[Haskell] EUSPN 2023 CFPs:The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2023)
Ali BENZERBADJ
-
[Haskell] SAS 2023 - Final CFP - Extended full paper deadline: May 1, 2023
louis . rustenholz
-
[Haskell] ICTH 2023 CFPs:The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH 2023)
Ali BENZERBADJ
-
[Haskell] The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN)
Ali BENZERBADJ
-
[Haskell] SAS 2023 - Final CFP - Extended deadlines (updates until May 1st)
louis . rustenholz
-
[Haskell] [CFP] HOPE'23: ACM SIGPLAN Workshop on Higher-Order Programming with Effects (2nd CFP)
Daniel Hillerström
-
[Haskell] 3-year Research Associate or Research Assistant position in formal verification, using a proof assistant (preferably Isabelle), at the University of Sheffield
Andrei Popescu
-
[Haskell] PPDP 2023 - Call for Papers
Santiago Escobar
-
[Haskell] SAS 2023 - Final Call for Papers - Paper Deadline: April 24, 2023
louis . rustenholz
-
[Haskell] Call for Papers: Functional Software Architecture - FP in the Large
Graham Hutton via Haskell
-
[Haskell] CMSB 2023: last call for papers (extended deadlines)
Jun PANG
-
[Haskell] LOPSTR 2023 (Lisbon) - Second Call for Papers - Paper Deadline: May 26, 2023
Daniel Jurjo
-
[Haskell] APLAS 2023 first Call for Papers
Shin-Cheng Mu
-
[Haskell] TyDe 2023 - Call for Papers
Youyou Cong
-
[Haskell] IFL23 first CFP
Pieter Koopman
-
[Haskell] SEIT 2023 CfPs: Deadline extension (FINAL): Apr. 21, 2023]: The 13th International Conference on Sustainable Energy Information Technology (SEIT 2023)
Ali BENZERBADJ
-
[Haskell] [MobiSPC 2023 CFPs: Deadline extension (FINAL): Apr. 21, 2023]: The 20th International Conference on Mobile Systems and Pervasive Computing (MobiSPC)
Ali BENZERBADJ
-
[Haskell] [CFP] HOPE'23: ACM SIGPLAN Workshop on Higher-Order Programming with Effects (1st CFP)
Daniel Hillerström
-
[Haskell] CFP: Haskell Symposium 2023
Trevor McDonell
-
[Haskell] OPLSS 2023: Summer School Dates
Stephanie Weirich
-
[Haskell] LOPSTR 2023 - Call for Papers
Daniel Jurjo
-
[Haskell] ERLANG 2023 CFP - 22nd ACM SIGPLAN Erlang Workshop @ ICFP
Kiko Fernandez-reyes A via Haskell
-
[Haskell] PPDP 2023 - Preliminary Call for Papers
Santiago Escobar
-
[Haskell] SEIT 2023 CfPs: The 13th International Conference on Sustainable Energy Information Technology (SEIT): Change of conference date and due dates
Ali BENZERBADJ
-
[Haskell] MobiSPC 2023 CFPs: The 20th International Conference on Mobile Systems and Pervasive Computing, MobiSPC: Change of conference date and due dates
Ali BENZERBADJ
-
[Haskell] Call for Papers, Functional Software Architecture - FP in the Large
Graham Hutton via Haskell
-
[Haskell] SAS 2023 - First Call for Papers - Paper Deadline: April 24, 2023
Manuel Hermenegildo
-
[Haskell] CMSB 2023: second call for papers
Jun PANG
-
[Haskell] PhD or Postdoc Position at LMU Munich about Verified Modal Logics
Andrei Popescu
-
[Haskell] Call for Talks: Haskell Implementors' Workshop 2023
Ryan Scott
-
[Haskell] TYPES 2023: Call for Contributions - Deadline extension
Alicia Villanueva
-
[Haskell] 1st CfP: SLE 2023 - 16th ACM SIGPLAN International Conference on Software Language Engineering
Andrei Chis
-
[Haskell] CALCO 2023: Deadline Extension
Thorsten Wissmann
-
[Haskell] HCVS 2023 - Call for Papers (Extended deadline)
Jose F. Morales
-
[Haskell] RA position in PL and Machine Learning at Bristol
Meng Wang
-
[Haskell] CALCO 2023: Final Call for Papers
Thorsten Wissmann
-
[Haskell] MobiSPC 2023 CFPs: The 20th International Conference on Mobile Systems and Pervasive Computing, MobiSPC
Ali BENZERBADJ
-
[Haskell] HCVS 2023 - Last Call for Papers
Jose F. Morales
-
[Haskell] ICFP 2023 Artifact Evaluation Committee: call for nominations
Quentin Stiévenart
-
[Haskell] SEIT 2023 CfPs: The 13th International Conference on Sustainable Energy Information Technology (SEIT)
Ali BENZERBADJ
-
[Haskell] ICFP 2023: Last Call for Papers
ICFP Publicity via Haskell
-
[Haskell] Midlands Graduate School, 2-6 April 2023, Birmingham , UK
Graham Hutton via Haskell
-
[Haskell] TYPES 2023 - Call for contributions
Alicia Villanueva
-
[Haskell] ARRAY 2023 Call for Papers - please help disseminate
Troels Henriksen
-
[Haskell] MobiSPC 2023 CFPs: The 20th International Conference on Mobile Systems and Pervasive Computing (MobiSPC)
Ali BENZERBADJ
-
[Haskell] CALCO 2023: Second Call for Papers
Thorsten Wissmann
-
[Haskell] 2nd Call for Participation: BOB 2023 (Berlin, March 17)
Stefan Wehr
-
[Haskell] CfP: Journal of Systems and Software - Special Issue on Software Language Engineering
Andrei Chis
-
[Haskell] CMSB 2023: first call for papers
Jun PANG
-
[Haskell] ICFP 2023 Call for Papers
ICFP Publicity via Haskell
-
[Haskell] [TFP 2023 Call For Participation] 24th International Symposium on Trends in Functional Programming
Peter Achten
-
[Haskell] CALCO 2023: First Call for Papers
Thorsten Wissmann
-
[Haskell] HCVS 2023 - First Call for Papers
Jose F. Morales