[Haskell] [TFP (and TFPiE) 2024] Call For Participation (January 9-12, Seton Hall University, NJ, USA)

# TFP 2024 -- Call For Participation (trendsfp.github.io) ## Venue TFPiE and TFP will take place in-person at Seton Hall University, New Jersey in the United States. ## Dates TFPiE Workshop: Tuesday 9th January, 2024 TFP Symposium: Wednesday 10th - Friday 12th January, 2024 The Symposium

Re: [Haskell] 31st Netherlands Functional Programming Day (FP Dag): Call for Participation

=== FP Dag 2024 31th Netherlands Functional Programming Day Friday, 05 January, 2024 FINAL CALL FOR PARTICIPATION

[Haskell] Call for Participation: BOB 2024 (Berlin, March 15)

= BOB 2024 Conference “What happens if we simply use what’s best?” March 15, 2024, Berlin

[Haskell] ICFP 2024: Call for Workshops and Co-Located Events

CALL FOR WORKSHOP AND CO-LOCATED EVENT PROPOSALS ICFP 2024 29th ACM SIGPLAN International Conference on Functional Programming September 2 - 7, 2024 Milan, Italy https://icfp24.sigplan.org/ The 29th ACM SIGPLAN International Conference on Functional Programming will be held in Milan, Italy on

[Haskell] Call for STSMs and ITC conference grants, deadline 7 January 2024

COST Action CA20111 EuroProofNet Open call for Short-Term Scientific Missions (STSMs) and Inclusive Target Conference Grants (ITCGs) Dear Action members, The next deadline for STSM and ITCG proposals is: 7th January 2024 *What is an STSM?* A Short-Term Scientific Mission (STSM) is a

[Haskell] [Deadline Extension] FormaliSE 2024 - Call for Papers

# Extended deadlines! Abstracts: Thursday, 7 December 2023 AoE Papers: Friday, 15 December 2023 AoE # Overview Historically, formal methods academic research and practical software development have had limited mutual interactions — except possibly in specialized domains such as

[Haskell] (Extended deadline) CfP: Automated Program and Proof Synthesis (AP2S at AAAI '24)

Call for Participation (/Talks/Tutorials) Automated Program and Proof Synthesis February 20, 2024, Vancouver, BC (a bridge workshop of AAAI 2024) Automated Program and Proof Synthesis (AP2S) are two long-standing, closely-related challenges in AI, recently advanced through the incorporation of

[Haskell] FLOPS 2024: final call for abstracts and papers

Dear all, > === > Call For Papers > > FLOPS 2024: 17th International Symposium on Functional and Logic Programming > === This is a reminder that the deadline for FLOPS 2024 submissions is rapidly

[Haskell] ICFP 2024: Call for Papers

PACMPL Volume 7, Issue ICFP 2024 Call for Papers Accepted papers to be invited for presentation at The 29th ACM SIGPLAN International Conference on Functional Programming Milan, Italy ### Important dates (All dates

[Haskell] [TFP 2024 Final Call for Papers] 25th International Symposium on Trends in Functional Programming

# TFP 2024 -- Call for Papers (trendsfp.github.io) ## Important Dates Submission deadline: pre-symposium, full papers, Saturday 4 November, 2023 (AOE) Submission deadline: pre-symposium, draft papers, Friday 8 December, 2023 (AOE) Notification:pre-symposium full papers, Friday 8

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

Dear Ivan, I would like to ask you to introduce yourself first, please. Are you the admin of the mailing list? I assume that Haskell is the one who assesses the relevance of announcements. If the topic doesn't interest you, just ignore it, and that's it. Yours sincerely. On Sun, 26 Nov 2023 at

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, None of the CfPs you've sent to this mailing list over the past year appear even remotely related to Haskell. I doubt people on this list will find them relevant or interesting. *Could you please stop sending CfPs to haskell and haskell-cafe?* Thanks Ivan On Sun, 26 Nov 2023 at 11:19,

[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

*** The 15th International Conference on Ambient Systems, Networks and Technologies (ANT) Hasselt, Belgium April 23-25, 2024 *** Conference Website:

[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

*** The 7th International Conference on Emerging Data and Industry (EDI40) Hasselt, Belgium April 23-25, 2024 *** Conference Website: http://cs-conferences.acadiau.ca/edi40-24/

[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

*** The 7th International Conference on Emerging Data and Industry (EDI40) Hasselt, Belgium April 23-25, 2024 *** Conference Website: http://cs-conferences.acadiau.ca/edi40-24/

[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

*** The 15th International Conference on Ambient Systems, Networks and Technologies (ANT) Hasselt, Belgium April 23-25, 2024 *** Conference Website:

[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

*** The 15th International Conference on Ambient Systems, Networks and Technologies (ANT) Hasselt, Belgium April 23-25, 2024 *** Conference Website:

[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

*** The 7th International Conference on Emerging Data and Industry (EDI40) Hasselt, Belgium April 23-25, 2024 *** Conference Website: http://cs-conferences.acadiau.ca/edi40-24/

[Haskell] Journal of Functional Programming - Call for PhD Abstracts

Dear all, If you or one of your students recently completed a PhD (or Habilitation) in the area of functional programming, please submit the dissertation abstract for publication in JFP: simple process, no refereeing, open access, 200+ published to date, deadline 30th November 2023. Please

[Haskell] The 15th International Conference on Ambient Systems, Networks and Technologies (ANT) , Hasselt, Belgium, April 23-25, 2024

*** The 15th International Conference on Ambient Systems, Networks and Technologies (ANT) Hasselt, Belgium April 23-25, 2024 *** Conference Website:

[Haskell] ED-I40 2024 CFP : The 7th International Conference on Emerging Data and Industry (EDI40), Hasselt, Belgium, April 23-25, 2024

*** The 7th International Conference on Emerging Data and Industry (EDI40) Hasselt, Belgium April 23-25, 2024 *** Conference Website: http://cs-conferences.acadiau.ca/edi40-24/

[Haskell] CfP: TASE 2024, Guiyang City, China, July 29 - August 1, 2024

TASE 2024: 18th International Symposium on Theoretical Aspects of Software Engineering Overview - The 18th Theoretical Aspects of Software Engineering Conference (TASE 2024) will be held in Guiyang

[ANNOUNCE] GHC 9.4.8 is now available

The GHC developers are happy to announce the availability of GHC 9.4.8. Binary distributions, source distributions, and documentation are available on the [release page](/download_ghc_9_4_8.html). This release is primarily a bugfix release addressing a few issues found in the 9.4 series. These

[Haskell] FormaliSE 2024 - Call for Papers

New in FormaliSE 2024! FormaliSE 2024 submission deadline is in **December 2023** (instead of January as in previous years). This is because ICSE 2024, and hence FormaliSE which is co-located, will take place around a month

[Haskell] Call for Contributions: BOB 2024 [March 15, Deadline Nov 17]

BOB Conference 2024 "What happens when we use what's best for a change?" https://bobkonf.de/2024/cfc.html Berlin, Mar 17

[Haskell] ED-I40 2024 CFP : The 7th International Conference on Emerging Data and Industry (EDI40), Hasselt, Belgium, April 23-25, 2024

*** The 7th International Conference on Emerging Data and Industry (EDI40) Hasselt, Belgium April 23-25, 2024 *** Conference Website: http://cs-conferences.acadiau.ca/edi40-24/

[Haskell] PriSC 2024: Call for Presentations

(Apologies if you're getting this email multiple times.) Short version: PriSC is a fun, welcoming and exciting venue. Share updates, ideas, thoughts or send students for a friendly gathering that may lead to future collaborations and ideas. Submit now!

[Haskell] SRC@POPL 2024 Call for Submissions

-- SRC@POPL 2024 Call for Submissions ACM Student Research Competition https://popl24.sigplan.org/track/POPL-2024-student-research-competition Location: London, UK SRC Posters: Jan 17, 2024 (tentative) SRC Presentation:

[Haskell] The 15th International Conference on Ambient Systems, Networks and Technologies (ANT) , Hasselt, Belgium, April 23-25, 2024

*** The 15th International Conference on Ambient Systems, Networks and Technologies (ANT) Hasselt, Belgium April 23-25, 2024 *** Conference Website:

[Haskell] ED-I40 2024 CFP : The 7th International Conference on Emerging Data and Industry (EDI40), Hasselt, Belgium, April 23-25, 2024

*** The 7th International Conference on Emerging Data and Industry (EDI40) Hasselt, Belgium April 23-25, 2024 *** Conference Website: http://cs-conferences.acadiau.ca/edi40-24/

[Haskell] Call for STSMs and ITC conference grants, deadline 12 November 2023

COST Action CA20111 EuroProofNet Open call for Short-Term Scientific Missions (STSMs) and Inclusive Target Conference Grants (ITCGs) Dear Action members, The next deadline for STSM and ITCG proposals is: 12th November 2023 *What is an STSM?* A Short-Term Scientific Mission (STSM) is a

[Haskell] APLAS 2023: Second Call for Participation

== CALL FOR PARTICIPATION Early registration deadline: 25 October 2023 21st Asian Symposium on Programming Languages and Systems (APLAS 2023) Taipei, Taiwan, Sun 26 – Wed 29 November 2023

[Haskell] S-REPLS 13 / Fun in the Afternoon at Bristol

S-REPLS 13 / Fun in the Afternoon Joint meeting on Programming Languages Wednesday, 1 November 2023, 10:00 - 19:00 Engine Shed, Bristol BS1 6HQ https://plrg-bristol.github.io/fir/ *Overview*

[Haskell] Call for Contributions: BOB 2024 [March 15, Deadline Nov 17]

BOB Conference 2024 "What happens when we use what's best for a change?" https://bobkonf.de/2024/cfc.html Berlin, Mar 17

[Haskell] Tenure-track Faculty Positions at the IMDEA Software Institute

TENURE-TRACK FACULTY POSITIONS AT THE IMDEA SOFTWARE INSTITUTE The IMDEA Software Institute invites applications for tenure-track (Assistant Professor) faculty positions. We are primarily interested in recruiting excellent candidates in the areas of: Machine Learning, including Formal

[ANNOUNCE] GHC 9.8.1 is now available

The GHC developers are very pleased to announce the availability of the final release of GHC 9.8.1. Binary distributions, source distributions, and documentation are available at downloads.haskell.org: https://downloads.haskell.org/ghc/9.8.1 GHC 9.8 brings a number of new features and

Re: [Haskell] CFP, PEPM 2024 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

Dear Haskellers, A gentle reminder that the submission deadline is in two weeks. Best regards, Gabriele Keller (Utrecht University, Netherlands) Meng Wang (University of Bristol, UK) From: Meng Wang Date: Thursday, 7 September 2023 at 08:52 To: haskell-c...@haskell.org , haskell@haskell.org

Migrating GHC's real-time communications to Matrix? (#24010)

Hello all, GHC's user and contributor documentation currently directs users to #ghc on irc.libera.chat for discussion of GHC development. However, for a variety of reasons the center-of-mass of discussion has been gradually shifting towards Matrix (#GHC:matrix.org). Given that Matrix appears to

[ANNOUNCE] GHC 9.8.1-rc1 is now available

The GHC developers are very pleased to announce the availability of the release candidate of GHC 9.8.1. Binary distributions, source distributions, and documentation are available at https://downloads.haskell.org/ghc/9.8.1-rc1 GHC 9.8 will bring a number of new features and

Re: GHC 9.8.1-rc1 delayed

Ben Gamari writes: > Hi all, > > Due to a rather late-breaking boot library mix-up I will need to delay > the 9.8.1 release candidate by at least two days. I will provide a more > specific timeline tomorrow when there is more clarity on what needs to > happen to resolve the situation. > Hi all,

GHC 9.8.1-rc1 delayed

Hi all, Due to a rather late-breaking boot library mix-up I will need to delay the 9.8.1 release candidate by at least two days. I will provide a more specific timeline tomorrow when there is more clarity on what needs to happen to resolve the situation. Cheers, - Ben signature.asc

[Haskell] APLAS 2023: Call for Participation

== CALL FOR PARTICIPATION Early registration deadline: 25 October 2023 21st Asian Symposium on Programming Languages and Systems (APLAS 2023) Taipei, Taiwan, Sun 26 – Wed 29 November 2023

Re: [Haskell-cafe] [ANNOUNCE] GHC 9.8.1-alpha4 is now available

George can you share the generated settings file? On Fri, Sep 22, 2023 at 8:34 PM Ben Gamari wrote: > George Colpitts writes: > > > It seems unlikely that the current tests wouldn't find this bug. Is it > the > > case that the tests are never run on aarch64-darwin Macs? > > > The tests are

Re: [Haskell-cafe] [ANNOUNCE] GHC 9.8.1-alpha4 is now available

George Colpitts writes: > It seems unlikely that the current tests wouldn't find this bug. Is it the > case that the tests are never run on aarch64-darwin Macs? > The tests are certainly run; see, for instance, the 9.8.1-alpha4 release pipeline [1]. The problem is that #21570 requires very

Re: [Haskell-cafe] [ANNOUNCE] GHC 9.8.1-alpha4 is now available

It seems unlikely that the current tests wouldn't find this bug. Is it the case that the tests are never run on aarch64-darwin Macs? On Fri, Sep 22, 2023 at 7:34 PM George Colpitts wrote: > >- >#21570, Linker broken on M1 Mac, occurs on 9.8.1-alpha4. I have >updated the bug. My

Re: [Haskell-cafe] [ANNOUNCE] GHC 9.8.1-alpha4 is now available

- #21570, Linker broken on M1 Mac, occurs on 9.8.1-alpha4. I have updated the bug. My guess is that it was never addressed as the info needed tag was never removed after the required info was supplied. It might be good to have a test for this.

[ANNOUNCE] GHC 9.8.1-alpha4 is now available

The GHC developers are very pleased to announce the availability of the third alpha prerelease of GHC 9.8.1. Binary distributions, source distributions, and documentation are available at https://downloads.haskell.org/ghc/9.8.1-alpha4 GHC 9.8 will bring a number of new features and

[Haskell] LAST reminder - DEADLINE September 20th - HC@AIxIA 2023

* Apologies for multiple postings * == Second AIxIA Workshop on Artificial Intelligence For Healthcare HC@AIxIA 2023 November 6 - 9, 2023, Rome, Italy https://sites.google.com/unical.it/hcaixia2023 CO-LOCATED with the 22nd

[Haskell] LOPSTR 2023 - Call for Participation

** Apologies for multiple postings ** -- Call for Participation    Early registration deadline: September 22     LOPSTR 2023    The 33rd International

[Haskell] CFP - JFLA 2024 - Journées Francophones des Langages Applicatifs

Spam detection software, running on the system "mail.haskell.org", has identified this incoming email as possible spam. The original message has been attached to this so you can view it (if it isn't spam) or label similar future email. If you have any questions, see @@CONTACT_ADDRESS@@ for

[Haskell] S-REPLS 13 / Fun in the Afternoon, Bristol, UK

  S-REPLS 13 / Fun in the Afternoon   Joint meeting on Programming Languages   Wednesday, 1 November 2023, 10:00 - 17:00   Engine Shed, Bristol BS1 6HQ   https://plrg-bristol.github.io/fir/ Overview

[Haskell] ESOP 2024 Call For Papers

*** CALL FOR PAPERS 33rd European Symposium on Programming ESOP 2024 organized within

[Haskell] SAS 2023 - Call for Participation - Early deadline: Sept 22

-- Call for Participation Early registration deadline: September 22 SAS 2023 The 30th Static Analysis Symposium Cascais (Lisbon),

[Haskell] CFP, PEPM 2024 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

Dear Haskellers, Gabriele and I are organising PEPM this year. Over the years, PEPM has grown into a conference of general PL topics and Haskell/FP is strongly represented. We look forward to receiving your submissions. Best regards, Gabriele Keller (Utrecht University, Netherlands) Meng Wang

[Haskell] [CfP - DEADLINE EXTENSION] Second AIxIA Workshop on Artificial Intelligence For Healthcare HC@AIxIA 2023

[apologize for multiple postings] == Second AIxIA Workshop on Artificial Intelligence For Healthcare HC@AIxIA 2023 November 6 - 9, 2023, Rome, Italy https://sites.google.com/unical.it/hcaixia2023 CO-LOCATED with the 22nd

[Haskell] Call for Papers: JFP Special Issue on Program Calculation (papers due 1st Dec)

== JFP Special Issue on Program Calculation https://tinyurl.com/prog-calc We invite submissions to the Journal of Functional Programming Special Issue on Program Calculation. Notification of intent : 20 October 2023 Submission

[ANNOUNCE] GHC 9.4.7 is now available

The GHC developers are happy to announce the availability of GHC 9.4.7. Binary distributions, source distributions, and documentation are available at https://downloads.haskell.org/ghc/9.4.7 The GHC developers are happy to announce the availability of GHC 9.4.7. Binary distributions, source

Re: [Haskell-cafe] [ANNOUNCE] GHC 9.4.6 is now available

you like to 9.4.6 instead of .7 ... On Mon, Aug 7, 2023 at 11:58 AM Ben Gamari wrote: > > The GHC developers are happy to announce the availability of GHC 9.4.6. > Binary > distributions, source distributions, and documentation are available at > > https://downloads.haskell.org/ghc/9.4.6 >

[Haskell] PADL 2024: Call for Papers

== Call for Papers 26th International Symposium on Practical Aspects of Declarative Languages (PADL 2024) https://popl24.sigplan.org/home/PADL-2024

[ANNOUNCE] GHC 9.8.1-alpha3 is now available

The GHC developers are very pleased to announce the availability of the third alpha prerelease of GHC 9.8.1. Binary distributions, source distributions, and documentation are available at https://downloads.haskell.org/ghc/9.8.1-alpha3 GHC 9.8 will bring a number of new features

Re: [Haskell-cafe] [ANNOUNCE] GHC 9.8.1-alpha2 is now available

Arnaud Spiwack writes: >  > Thanks Sam and Noon! I'm obviously great at copy-pasting. > Regardless, thanks for bringing the mistake to my attention. It will be fixed with the next alpha. Cheers, - Ben signature.asc Description: PGP signature ___

[Haskell] ICTH 2023 CFPs (Firm Deadline: August 25): The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare

Conference: The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH) Date: November 7 - 9, 2023 Location: Almaty, Kazakhstan Website: http://cs-conferences.acadiau.ca/icth-23/

[Haskell] EUSPN 2023 CfPs (Firm Deadline: Aug. 25): The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks

** The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN) Date: November 7 - 9, 2023 Location: Almaty, Kazakhstan Website: http://cs-conferences.acadiau.ca/euspn-23/

[Haskell] ICTH 2023 CFPs (Firm Deadline: August 25): The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare

Conference: The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH) Date: November 7 - 9, 2023 Location: Almaty, Kazakhstan Website: http://cs-conferences.acadiau.ca/icth-23/

[Haskell] EUSPN 2023 CfPs (Firm Deadline: Aug. 25): The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks

** The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN) Date: November 7 - 9, 2023 Location: Almaty, Kazakhstan Website: http://cs-conferences.acadiau.ca/euspn-23/

[ANNOUNCE] GHC 9.8.1-alpha2 is now available

The GHC developers are very pleased to announce the availability of the second alpha prerelease of GHC 9.8.1. Binary distributions, source distributions, and documentation are available at https://downloads.haskell.org/ghc/9.8.1-alpha2 GHC 9.8 will bring a number of new features

[Haskell] Second Call for Papers: JFP Special Issue on Program Calculation (papers due 1st Dec)

== JFP Special Issue on Program Calculation https://tinyurl.com/prog-calc We invite submissions to the Journal of Functional Programming Special Issue on Program Calculation. Notification of intent : 20 October 2023 Submission

[Haskell] [Call for submissions TFPiE 2024] Trends in Functional Programming in Education - January 9 2024, Seton Hall University, USA

TFPIE 2024 Call for papers https://wiki.tfpie.science.ru.nl/TFPIE2024 (January 9th 2024, West Orange, NJ, USA, co-located with TFP 2024 at Seton Hall University) TFPIE 2024 welcomes submissions describing techniques used in the classroom, tools used in and/or developed for the classroom and any

[Haskell] Second Call for Submissions: Student Research Competition and Posters, APLAS 2023

== CALL FOR SUBMISSIONS 21st Asian Symposium on Programming Languages and Systems (APLAS 2023) STUDENT RESEARCH COMPETITION and POSTERS Taipei, Taiwan, Sun 26 – Wed 29 November 2023

[ANNOUNCE] GHC 9.4.6 is now available

The GHC developers are happy to announce the availability of GHC 9.4.6. Binary distributions, source distributions, and documentation are available at https://downloads.haskell.org/ghc/9.4.6 This release is primarily a bugfix release addressing some issues found in 9.4.6. These include: *

[Haskell] ICFP 2023: Call for Participation

= Call for Participation The 28th ACM SIGPLAN International Conference on Functional Programming (ICFP 2023) and affiliated events

[Haskell] Call for Lightning Talks: Haskell Implementors' Workshop 2023

ACM SIGPLAN Haskell Implementors' Workshop https://icfp23.sigplan.org/home/hiw-2023 Seattle, Washington, United States, September 4, 2023 Co-located with ICFP 2023 https://icfp23.sigplan.org/ --- The 15th Haskell Implementors' Workshop is to be held alongside ICFP 2023 this year in

[Haskell] IFL23 - Deadline extension - Symposium on Implementation and Application of Functional Languages

Dear all, on special request, the deadline for draft paper submissions is extended until *August 7th*, 2023. *Scope* The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL

[Haskell] ICTH 2023 CFPs (Firm Deadline: August 25): The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare

Conference: The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH) Date: November 7 - 9, 2023 Location: Almaty, Kazakhstan Website: http://cs-conferences.acadiau.ca/icth-23/

[Haskell] EUSPN 2023 CfPs (Firm Deadline: Aug. 25): The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks

** The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN) Date: November 7 - 9, 2023 Location: Almaty, Kazakhstan Website: http://cs-conferences.acadiau.ca/euspn-23/

[ANNOUNCE] GHC 9.8.1-alpha1 is now available

The GHC developers are very pleased to announce the availability of the first alpha prerelease of GHC 9.8.1. Binary distributions, source distributions, and documentation are available at https://downloads.haskell.org/ghc/9.8.1-alpha1 GHC 9.8 will bring a number of new features

[Haskell] IFL23 last Call for papers

Important Dates Draft Paper Submission Deadline 31st July, 2023 Notification of Acceptance for Presentation 1st August, 2023 Early Registration Deadline 11th August, 2023 Late Registration Deadline 23rd August, 2023 IFL Symposium 29th - 31st August, 2023 Submission of Papers for Peer-Reviewed

[Haskell] FLOPS 2024 Symposium on Functional and Logic Programming

Call For Papers FLOPS 2024: 17th International Symposium on Functional and Logic Programming May 15-17, 2024, Kumamoto, Japan https://conf.researchr.org/home/flops-2024

[Haskell] Call for Participation, Functional Software Architecture - FP in the Large

== *** FUNARCH 2023 -- CALL FOR PARTICIPATION *** The First ACM SIGPLAN Workshop on Functional Software Architecture - FP in the Large 8th September 2023, Seattle, Washington,

[Haskell] VMIL 2023 - Co-located with SPLASH'23 - Call for Work-in-progress and Position Papers

*** VMIL 2023 is accepting work-in-progress and position papers until 2023-08-02. Accepted papers will be published in the ACM Digital Library *** Call for Papers Workshop on Virtual Machines and Language Implementations

[Haskell] ICTH 2023 CFPs (Firm Deadline: August 25): The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare

Conference: The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH) Date: November 7 - 9, 2023 Location: Almaty, Kazakhstan Website: http://cs-conferences.acadiau.ca/icth-23/

[Haskell] EUSPN 2023 CfPs (Firm Deadline: Aug. 25): The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks

** The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN) Date: November 7th - 9th, 2023 Location: Almaty, Kazakhstan Website: http://cs-conferences.acadiau.ca/euspn-23/

[Haskell] VMIL 2023 - Co-located with SPLASH'23 - Deadline Extension

*** The abstract and paper submission deadlines have been extended *** The new deadlines are: 2023-07-23: Abstract and submission deadline (research and experience papers) 2023-08-02: Abstract and submission deadline (WIP and position papers only)

[Haskell] EUSPN 2023 CfPs (Deadline: July 14): The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks

** The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN) Date: November 7 - 9, 2023 Location: Almaty, Kazakhstan Website: http://cs-conferences.acadiau.ca/euspn-23/

[Haskell] ICTH 2023 CFPs (DeadLine: July 14): The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare

Conference: The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH) Date: November 7 - 9, 2023 Location: Almaty, Kazakhstan Website: http://cs-conferences.acadiau.ca/icth-23/

[Haskell] [TFP 2024 Call for Papers] 25th International Symposium on Trends in Functional Programming

# TFP 2024 -- Call for Papers (trendsfp.github.io) ## Important Dates Submission deadline: pre-symposium, full papers,  Saturday 4 November, 2023 Submission deadline: pre-symposium, draft papers, Wednesday 30 November, 2023 Notification:    pre-symposium submissions,   Friday 8 December,

Re: [Haskell] Call for Talks: Haskell Implementors' Workshop 2023 (deadline extension)

Apologies, that should read *July* 16, not June 16, for the submission deadline at the top of the email. (The body of the email contains the correct date.) Best, Ryan On Mon, Jul 10, 2023 at 6:34 PM Ryan Scott wrote: > TL;DR: The submission deadline for the 2023 Haskell Implementors' Workshop

[Haskell] Call for Talks: Haskell Implementors' Workshop 2023 (deadline extension)

TL;DR: The submission deadline for the 2023 Haskell Implementors' Workshop has been extended to June 16. == ACM SIGPLAN Haskell Implementors' Workshop https://icfp23.sigplan.org/home/hiw-2023 Seattle, Washington, United States, September 4, 2023 Co-located with

[Haskell] ICTH 2023 CFPs (Final Extension): The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare

Conference: The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH) Date: November 7 - 9, 2023 Location: Almaty, Kazakhstan Website: http://cs-conferences.acadiau.ca/icth-23/

[Haskell] [CfP] Second AIxIA Workshop on Artificial Intelligence For Healthcare HC@AIxIA 2023

[apologize for multiple postings] == Second AIxIA Workshop on Artificial Intelligence For Healthcare HC@AIxIA 2023 November 6 - 9, 2023, Rome, Italy https://sites.google.com/unical.it/hcaixia2023 CO-LOCATED with the 22nd

[Haskell] ICTH 2023 CFPs (Final Extension): The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare

Conference: The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH) Date: November 7 - 9, 2023 Location: Almaty, Kazakhstan Website: http://cs-conferences.acadiau.ca/icth-23/

[Haskell] EUSPN 2023 CfPs (Final Extension): The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks

** The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN) Date: November 7 - 9, 2023 Location: Almaty, Kazakhstan Website: http://cs-conferences.acadiau.ca/euspn-23/

[Haskell] CFP : CPP 2024 -- Certified Proofs and Programs

Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education. CPP 2024

[Haskell] GPCE 2023: Deadline Extension

TL;DR: The abstract and paper submission deadlines for GPCE 2023 have been extended to July 10th and 14th, respectively. --- GPCE 2023: 22nd International Conference on Generative Programming: Concepts & Experiences GPCE

[Haskell] Lectureship at Bristol

Dear all The School of Computer Science of the University of Bristol is seeking to appoint a Lecturer in Programming Languages. The focus of the position will be in Compilers, interpreted very broadly. The deadline for applications is the 30th of July 2023. Job ad: 

[Haskell] VMIL 2023 - Co-located with SPLASH'23 - 2nd Call for Papers

- Andrea Rosà Postdoctoral Researcher Faculty of Informatics - Office D5.10 Università della Svizzera italiana (USI) Via la Santa 1 CH-6962 Viganello Switzerland (e) andrea.r...@usi.ch (p) +41 58 666 4455 ext. 2183 (w)

[Haskell] ICTH 2023 CFPs (Final Extension): The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare

Conference: The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH) Date: November 7 - 9, 2023 Location: Almaty, Kazakhstan Website: http://cs-conferences.acadiau.ca/icth-23/

[Haskell] EUSPN 2023 CfPs (Final Extension): The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks

** The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN) Date: November 7 - 9, 2023 Location: Almaty, Kazakhstan Website: http://cs-conferences.acadiau.ca/euspn-23/

[Haskell] EUSPN 2023 CfPs (Extended): The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks

** The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN) Date: November 7 - 9, 2023 Location: Almaty, Kazakhstan Website: http://cs-conferences.acadiau.ca/euspn-23/

[Haskell] ICTH 2023 CFPs (Extended): The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare

Conference: The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH) Date: November 7 - 9, 2023 Location: Almaty, Kazakhstan Website: http://cs-conferences.acadiau.ca/icth-23/

  1   2   3   4   5   6   7   8   9   10   >