Re: [ANN] Cabal-3.6.0.0

Great news! The changelog (and the 3.6 branch) does not include https://github.com/haskell/cabal/pull/7493. This is just as well since HEAD (with this merge) doesn't fix the related issue in my testing, but I'm curious if such a fix can be part of a point release or if it must be 3.8? -Tom On

[ANN] Cabal-3.6.0.0

Hello All, The Cabal team is excited to announce the release of Cabal-3.6.0.0! This is the fourth release of the 3.0 release series, and highlights include support for GHC 9.2, as well as many new code quality improvements + organization work on the repo itself. For future plans, we've

[Haskell] IFL'21 Final call for papers

IFL 2021 33rd Symposium on Implementation and Application of Functional Languages venue: online 1 - 3 September 2021

[Haskell] Call for Participation: PPDP & LOPSTR 2021

= PPDP 2021 | LOPSTR 2021 CALL FOR PARTICIPATION = 23rd International Symposium on Principles and Practice of Declarative Programming (PPDP 2021) and 31st International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2021)

[Haskell] Call for Participation: CALCO & MFPS 2021

Call for Participation CALCO 2021 & MFPS XXXVII August 30 - September 3, 2021 Online / Hybrid from Salzburg, Austria https://www.coalg.org/calco-mfps2021/ - Registration

Re: -dinline-check for symbolic names?

I’m not sure about the pragma debugging, but are you using it in point free style? Cause I’m that case it may not be inclined because it’s not being fully applied on the left hand side? On Wed, Aug 4, 2021 at 11:36 AM Michael Sperber wrote: > > I'm trying to figure out why this function from

-dinline-check for symbolic names?

I'm trying to figure out why this function from ConCat.AltCat is not getting inlined: (&&&) :: forall k a c d. (MProductCat k, Ok3 k a c d) => (a `k` c) -> (a `k` d) -> (a `k` Prod k c d) f &&& g = (f *** g) . dup <+ okProd @k @a @a <+ okProd @k @c @d {-# INLINE (&&&) #-} So I put

[Haskell] CFP: 24th International Symposium on Practical Aspects of Declarative Languages (PADL 2022)

=== Call for Papers === 24th International Symposium on Practical Aspects of Declarative Languages (PADL 2022) Philadelphia, Pennsylvania, United States 17-18th January 2022 https://popl22.sigplan.org/home/PADL-2022 Co-located with POPL 2022 Conference Description --

[Haskell] Fwd: Haskell program introspection tooling development.

Hello, I'm using the external STG interpreter to introspect the runtime behaviour of Haskell programs. Lately I've added an initial call-graph construction feature that I plan to refine further.

[Haskell] REBLS 2021: Call for papers

8th Workshop on Reactive and Event-based Languages and Systems (REBLS 2021) co-located with the SPLASH Conference hybrid Virtual and in person in Chicago, Illinois, USA Sun 17 - Fri 22 October 2021 Website: https://2021.splashcon.org/home/rebls-2021 IMPORTANT DATES Submission Deadline: 15 Aug

[Haskell] ETAPS 2022 1st joint call for papers

Why choose ETAPS? - ETAPS is one of the world's leading fora for research on software science, with a history of more than 25 years. - ESOP, FoSSaCS, TACAS are CORE 2021 rank A conferences. - The proceedings of ETAPS appear in gold open access, with no article processing charge for the

[Haskell] JFLA 2022: Call for papers (in French)

[ This message is intentionally written in French. It is a call for papers for the "Francophone Days on Functional Languages" to be held in February next year. We would love to receive articles or tutorials on Haskell or applications of Haskell. Original written submissions can be in English,

[Haskell] IFL'21 Third call for papers

IFL 2021 33rd Symposium on Implementation and Application of Functional Languages venue: online 1 - 3 September 2021

[Haskell] Vacancy for a PhD in Computer Science and Functional Programming

Vacancy -- Ph.D. in Computer Science & Functional Programming - **Process Design Center (PDC) **PDC is seeking a Ph.D. in Computer Science & Functional Programming with good analytical skills, interested in solving problems requiring

[Haskell] The 12th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2021)

-- Apologies for cross-posting -- ** The 12th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2021) Date: November 1-4, 2021 Location: Leuven, Belgium Website:

[Haskell] Call for Papers

CALL FOR SUBMISSIONS Second International Workshop on Artificial Intelligence for IT Operations collocated with The 19-th  International Conference on Service Oriented Computing (ICSOC 2021) Dubai, UAE, November 22, 2021    >>> https://aiops2021.github.io/ <<< SUBMISSIONS ARE NOW

[Haskell] Spam Control

On Jun 29, 2021, 4:57 AM -0400, Ivan Perez , wrote: > Can we please permanently ban this person and everyone from the  > confscience.com domain? > > Thanks, > > Ivan Done. —Gershom ___ Haskell mailing list Haskell@haskell.org

[Haskell] Formal Methods 2021: Workshops and Tutorials

24th International Symposium on Formal Methods Beijing, November 20-26, 2021 (held virtually) -- Workshops and Tutorials === http://lcs.ios.ac.cn/fm2021/workshops-and-tutorials/ The FM'21 Symposium on Formal Methods will host six

[Haskell] Data.Traversable

Hello, I was repeating the properties of some basic type classes yesterday and ended up reading through the "Overview" section in 'Data.Traversable'. I was deeply impressed and wondered why I hadn't noticed it before, and so I realized, it is there since base-4.15.0.0. I wanted to deeply thank

[Haskell] Call for Participation - SPIN 2021

*** Call for Participation SPIN 2021 International Symposium on Model Checking of Software July

Re: [Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) -Prague

Can we please permanently ban this person and everyone from the confscience.com domain? Thanks, Ivan On Tue, 29 Jun 2021 at 08:28, Emilia Marc wrote: > Call for papers > > * > > International Conference on Informatics Revolution for Smarter

[Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) -Prague

Call for papers * International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/irsh/ All papers accepted in IRSH 2021 will be published in Springer

[Haskell] Final Call for Talks: Haskell Implementors' Workshop @ ICFP'21

Final Call for Talks ACM SIGPLAN Haskell Implementors' Workshop https://icfp21.sigplan.org/home/hiw-2021 Virtual, 22 Aug, 2021 Co-located with ICFP 2021

Constraints on type synonyms

Consider >pattern PPoint :: Floating a => a -> a -> (a, a) -- => () >pattern PPoint x y = (x, y) >originP = PPoint 0 0 >scaleP w (PPoint x y) = PPoint (w*x) (w*y) Inferred `scaleP :: Floating a => a -> (a, a) -> (a, a)` -- so more restrictive than the `Num a` that would be

A default setting for DynFlags.Settings?

Hi Glasgow-haskell-users, I am wondering if there is a declaration of a default setting value for DynFlags.Settings: Settings :: GhcNameVersion -> FileSettings -> Platform -> ToolSettings -> PlatformMisc -> PlatformConstants -> [(String, String)] -> Settings

[Haskell] The 12th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2021)

-- Apologies for cross-posting -- ** The 12th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2021) Date: November 1-4, 2021 Location: Leuven, Belgium Website:

[Haskell] ICFP 2021 Student Research Competition: Call for Submissions

ICFP 2021 Student Research Competition Call for Submissions ICFP invites students to participate in the Student Research Competition, which will be held virtually alongside the main conference, in order to present their research and receive feedback from prominent members of the

[Haskell] IFL2021 second call for papers

IFL 2021 33rd Symposium on Implementation and Application of Functional Languages venue: online 1 - 3 September 2021

[Haskell] Chordify is looking for Haskell developers

Hi, Chordify is looking for Haskell developers to strengthen our team in the Utrecht, The Netherlands office. Our mission at Chordify is to make it as easy as possible for musicians of various skill levels to learn to play their favorite music. Our apps and website are powered by a

[Haskell] Certified Programs and Proofs (CPP) 2022: Call for Papers

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 2022

[Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) -Prague

Call for papers * International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) Prague - Czech Republic, October 14-15, 2021 https://confscience.com/rtatm/ All papers accepted in RTATM 2021 will

Re: [Haskell] [ANNOUNCE] GHC 8.10.5 released

On Sun, 6 Jun 2021 at 08:11, Zubin Duggal wrote: > The GHC team is very pleased to announce the availability of GHC 8.10.5. > Thank you and congratulations on the release. Fedora users can try it now already with : sudo dnf --enablerepo=updates-testing-modular module install ghc:8.10 on

[Haskell] The 12th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2021)

-- Apologies for cross-posting -- ** The 12th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2021) Date: November 1-4, 2021 Location: Leuven, Belgium Website:

[Haskell] International Conference on Applied Data Science and Intelligence - (ADSI 2021) -Prague

Call for papers * International Conference on Applied Data Science and Intelligence - (ADSI 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/adsi/ All papers accepted in ADSI 2021 will be published in Springer CCIS

Re: [Haskell] [ANNOUNCE] GHC 8.10.5 released

The correct link to the release notes is: https://downloads.haskell.org/ghc/8.10.5/docs/html/users_guide/8.10.5-notes.html (Note the missing tilde) Apolgies, Zubin ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org

[Haskell] [ANNOUNCE] GHC 8.10.5 released

The GHC team is very pleased to announce the availability of GHC 8.10.5. Source and binary distributions are available at the [usual place](https://downloads.haskell.org/ghc/8.10.5/). This release adds native ARM/Darwin support, as well as bringing performance improvements and fixing numerous

[Haskell] Call for Tutorial, Panel, and Discussion Proposals: ICFP 2021

CALL FOR TUTORIAL, PANEL, AND DISCUSSION PROPOSALS ICFP 2020 25th ACM SIGPLAN International Conference on Functional Programming August 22 - 27, 2021 Virtual https://icfp21.sigplan.org/

Re: [Haskell] CFP (ICTH 2021) The 11th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare) Leuven, Belgium

Admins, see below. Your call. Hana, if you are allowed to remain subscribed, I'd like to ask that you just don't send CfPs for this conference or for other conferences. Ivan On Tue, 1 Jun 2021 at 07:50, Hana Gharrad wrote: > Hi Ivan, > > Sorry, I won't repeat other dissemination for the same

Re: [Haskell] CFP (ICTH 2021) The 11th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare) Leuven, Belgium

Admins, Can we please remove and permanently ban the following addresses from this list? gharred.h...@gmail.com hannah.ghar...@gmail.com hana.ghar...@uhasselt.be Thank you, Ivan On Tue, 1 Jun 2021 at 02:15, Hana Gharrad wrote: > Conference: The 11th International Conference on Current and

[Haskell] CFP (ICTH 2021) The 11th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare) Leuven, Belgium

Conference: The 11th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH) Date: November 1-4, 2021 Location: Leuven, Belgium Website: http://cs-conferences.acadiau.ca/icth-21/

Re: [Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) - Extended Deadline 13 June 2021

Can the mailing list admins please permanently ban this address as well? 6 CfPs in 5 months and no other contribution. Ivan On Sun, 30 May 2021 at 02:05, Mayssa HEMDANI wrote: > Call for papers > * > International Conference on Recent Theories

[Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) - Extended Deadline 13 June 2021

Call for papers * International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) Prague - Czech Republic, October 14-15, 2021 https://confscience.com/rtatm/ All papers accepted in RTATM 2021 will be

Re: [Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) - Extended Deadline 13 june 2021

For the record: I have 12 CfP from this person (or bot?) via the Haskell Mailing list so far in 2021. I think enough is enough. Ivan On Sat, 29 May 2021 at 15:58, Ivan Perez wrote: > Haskell mailing lists admins, > > Can we please permanently ban everyone from the confscience.com domain? > >

Re: [Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) - Extended Deadline 13 june 2021

Haskell mailing lists admins, Can we please permanently ban everyone from the confscience.com domain? Thanks, Ivan On Sat, 29 May 2021 at 15:44, Emilia Marc wrote: > Call for papers > > * > > International Conference on Informatics Revolution

[Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) - Extended Deadline 13 june 2021

Call for papers * International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/irsh/ All papers accepted in IRSH 2021 will be published in Springer

[Haskell] CALCO 2021: Deadline extension and invited speakers

[Apologies if you receive multiple copies of this message] = CALL FOR PAPERS: CALCO 2021 9th International Conference on Algebra and Coalgebra in Computer Science 31 Aug - 03 Sep 2021 Salzburg, Austria (if possible) Co-located with MFPS

[Haskell] PhD position on the formalization of logical calculi in Saarbrücken

A PhD position is open at the MPI for Informatics in Saarbrücken, supervised by Christoph Weidenbach, Jasmin Blanchette and Sophie Tourret. The project is about using Isabelle/HOL to formalize logical calculi. See https://www.cs.vu.nl/~jbe248/sb_job.html for more information.

Re: [Haskell] (Online) Utrecht Summer School on Advanced functional programming

Hi, I just wanted to mention that I studied my MsC. degree at Utrecht University and Prof. Swiestra was my thesis supervisor. I cannot recommend this summer school enough. Not only are Prof. Swiestra's accomplishments extraordinary (you can look that up online) but he is also very gifted at

[Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) -Extended Deadline 13 june 2021

Call for papers * International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) Prague - Czech Republic, October 14-15, 2021 https://confscience.com/rtatm/ All papers accepted in RTATM 2021 will

[Haskell] CFPs ICTH 2021 (The 11th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare) Leuven, Belgium

Conference: The 11th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH) Date: November 1-4, 2021 Location: Leuven, Belgium Website: http://cs-conferences.acadiau.ca/icth-21/

[Haskell] International Conference on Informatics Revolution for Smarter Healthcare -(IRSH 2021) -Prague- New extended deadline 13 June

Call for papers * International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/irsh/ All papers accepted in IRSH 2021 will be published in Springer CCIS

[Haskell] International Conference on Applied Data Science and Intelligence - (ADSI 2021) -New extended deadline 13 june 2021

Call for papers * International Conference on Applied Data Science and Intelligence - (ADSI 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/adsi/ All papers accepted in ADSI 2021 will be published in Springer CCIS

[Haskell] Position of Lecturer or Senior Lecturer in Cybersecurity at University of Sheffield

Greetings, The Department of Computer Science at University of Sheffield has an open position of Lecturer or Senior Lecturer in Cybersecurity. Details can be found here: https://www.jobs.ac.uk/job/CFN168/lecturer-senior-lecturer-in-cybersecurity Note that "formalisation and proof of system

[Haskell] Final call for the *regular* round of Papers for the Haskell Symposium 2021

Dear all, This is the final call for the *regular* round of papers for the upcoming Haskell Symposium. Please forward to anyone that you believe might be interested. The deadline for this round is May 21. Apologies for receiving multiple copies of this announcement. Best regards, Jurriaan

[Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021)

Call for papers * International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) Prague - Czech Republic, October 14-15, 2021 https://confscience.com/rtatm/ All papers accepted in RTATM 2021 will be

[Haskell] Second Call for Talks: Haskell Implementors' Workshop @ ICFP'21

Call for Talks ACM SIGPLAN Haskell Implementors' Workshop https://icfp21.sigplan.org/home/hiw-2021 Virtual, 22 Aug, 2021 Co-located with ICFP 2021

[Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) -prague

Call for papers * International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/irsh/ All papers accepted in IRSH 2021 will be published in Springer

[Haskell] CFPs ICTH 2021 Leuven, Belgium (The 11th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare)

Conference: The 11th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH) Date: November 1-4, 2021 Location: Leuven, Belgium Website: http://cs-conferences.acadiau.ca/icth-21/

[Haskell] Call for Papers: 19th Asian Symposium on Programming Languages and Systems (APLAS 2021)

CALL FOR PAPERS 19th Asian Symposium on Programming Languages and Systems (APLAS 2021) Oct 17-Oct 22, 2021, Chicago, Illinois (co-located with SPLASH 2021) https://conf.researchr.org/home/aplas-2021 The 19th Asian Symposium on Programming Languages and Systems (APLAS 2021) aims to stimulate

[Haskell] PPDP 2021 Deadline extension

=== PPDP 2021  Deadline extension === 23rd International Symposium on Principles and Practice of Declarative Programming 6–8 September 2021, Tallinn, Estonia http://imft.ftn.uns.ac.rs/PPDP2021 Collocated with LOPSTR 2021

[Haskell] FHPNC 2021 - Call for Papers and Extended Abstracts: Extended Deadline

FHPNC 2021 Call for Papers == Satellite event of the 26th ACM SIGPLAN International Conference on Functional Programming (ICFP 2021), held on the 22nd of August. TL;DR: Extended paper/abstract deadline to May 21st. Scope - The ACM SIGPLAN International Workshop on

[Haskell] CFP: SLE 2021 - 14th ACM SIGPLAN International Conference on Software Language Engineering

14th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2021) October 17-19, 2021 Chicago, Illinois https://conf.researchr.org/home/sle-2021 http://www.sleconf.org/2021 Follow us on twitter:

[Haskell] LOPSTR 2021 - Call for Papers: Extended Deadline

31st International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2021 http://saks.iasi.cnr.it/lopstr21/ Tallinn (Estonia) and Virtual September 7-9, 2021 (co-located with PPDP 2021) *** EXTENDED SUBMISSION DEADLINE: June 7, 2021 *** * The conference will be held as a

[Haskell] First Call for Papers: Formal Methods Teaching Workshop and Tutorial (FMTea 2021)

[ Please distribute, apologies for multiple postings. ] = Call for Papers: Formal Methods Teaching Workshop and Tutorial (FMTea 2021) 21 November 2021, *online* Co-located with the 24th International Symposium on Formal Methods, FM 2021

[Haskell] Second call for the *regular* round of Papers for the Haskell Symposium 2021

Dear all, First, some * BREAKING NEWS *: Jean-Philippe Bernardy has accepted the invitation to speak at the symposium. He will be talking about Linear Haskell. This is the second call for the *regular* round of papers for the upcoming Haskell Symposium. Please forward to anyone that you

[Haskell] [Deadline Extension] WPTE 2021: Call For Papers

--- WPTE 2021: 8th International Workshop on Rewriting Techniques for Program Transformations and Evaluation Held online on July 18, 2021

[Haskell] CALCO 2021: Second call for papers

[Apologies if you receive multiple copies of this message] = CALL FOR PAPERS: CALCO 2021 9th International Conference on Algebra and Coalgebra in Computer Science 31 Aug - 03 Sep 2021 Salzburg, Austria (if possible) Co-located

[Haskell] [Information] Invitation: Special Issue "Information for Business and Management–Software Development for Data Processing and Management"

Dear Colleagues, As Guest Editor, I cordially invite you to submit a manuscript for consideration and possible publication in a Special Issue "Information for Business and Management–Software Development for Data Processing and Management" to be published in the journal Information

[Haskell] [Electronics] Invitation: Special Issue "Security Measures in Vehicular Ad-Hoc Networks"

Dear Colleagues, As Guest Editor, I cordially invite you to submit a manuscript for consideration and possible publication in a Special Issue "Security Measures in Vehicular Ad-Hoc Networks" to be published in the journal Electronics (IF 2.412) (ISSN 2079-9292)

[Haskell] [Smart Cities] Invitation: Special Issue "Cloud-Based IoT Applications for Smart Cities"

Dear Colleagues, As Guest Editors, we cordially invite you to submit a manuscript for consideration and possible publication in a Special Issue "Cloud-Based IoT Applications for Smart Cities" to be published in the journal Smart Cities (ISSN 2624-6511)

[Haskell] CFPs [ICTH 2021] Leuven, Belgium (The 11th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare)

Conference: The 11th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH) Date: November 1-4, 2021 Location: Leuven, Belgium Website: http://cs-conferences.acadiau.ca/icth-21/

[Haskell] SETTA 2021: 2nd CFP updated with a special issue for STTT

SETTA 2021: Symposium on Dependable Software Engineering: Theories, Tools and Applications Institute of Software, Chinese Academy of Sciences, Beijing, China, November 25-27, 2021 Submission deadline: July 23rd, 2021 Conference website:

[Haskell] (Online) Utrecht Summer School on Advanced functional programming

SUMMER SCHOOL ON ADVANCED FUNCTIONAL PROGRAMMING Online - 05-9 July 2021 http://www.afp.school # Call for Participation ## About The Advanced Functional Programming summer school has been running for more than ten years. We aim to

[Haskell] [CFP] Call for Abstracts and Call for the Wireless Networks and Mobile Systems Doctoral Consortium (Submission Deadline :: 12th of May)

Dear Colleagues, WINSYS 2021 is welcoming abstract submissions and also contributions to the Wireless Networks and Mobile Systems 2021 Doctoral Consortium, until the 12th of May. ABSTRACT TRACK: In order to ensure a proper and fair review of the abstracts, we encourage authors to submit

[Haskell] [CFP] Call for Abstracts and Call for the e-Business 2021 Doctoral Consortium (Submission Deadline :: 12th of May)

Dear Colleagues, ICE-B 2021 is welcoming abstract submissions and also contributions to the e-Business 2021 Doctoral Consortium, until the 12th of May. ABSTRACT TRACK: In order to ensure a proper and fair review of the abstracts, we encourage authors to submit abstracts with clear insights and

[Haskell] ACM Workshop on Functional Art, Music, Modelling and Design - Last Call for Papers, Demos, and Performances

Less than 2 weeks to go! === 7th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design (FARM) Call for Papers, Demos,

[Haskell] International Conference on Applied Data Science and Intelligence - (ADSI 2021)

Call for papers * International Conference on Applied Data Science and Intelligence - (ADSI 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/adsi/ All papers accepted in ADSI 2021 will be published in Springer CCIS

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

Dear all, If you or one of your students recently completed a PhD 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 31st May 2021. Please share! Best wishes, Graham

[Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) -Prague

Call for papers * International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/irsh/ All papers accepted in IRSH 2021 will be published in Springer

[Haskell] CFPs (ICTH 2021) Leuven, Belgium (The 11th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare)

Conference: The 10th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH) Date: November 1-4, 2021 Location: Leuven, Belgium Website: http://cs-conferences.acadiau.ca/icth-21/

[Haskell] [Announcement] ZuriHac 2021 (18-20 June) - Registration now open

Hey Haskell friends, We are happy to announce that you can now register for ZuriHac 2021. It will take place from Friday 18th to Sunday 20th of June. Like last year, we are holding the event online. While we are sad that we don't yet get to see each other in person, this also allowed ~1000

[Haskell] Free online intro/advanced Haskell courses [YouTube]

Hi all, For the last few months, I've been preparing YouTube videos for the introductory and advanced Haskell courses that I teach to students at the University of Nottingham. The courses have now finished, and the full sets of videos are now available: Intro course:

[Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021)

Call for papers * International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/irsh/ All papers accepted in IRSH 2021 will be published in Springer CCIS

[Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) -Prague

Call for papers * International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) Prague - Czech Republic, October 14-15, 2021 https://confscience.com/rtatm/ All papers accepted in RTATM 2021 will

[Haskell] PPDP 2021 Call for Papers

== PPDP 2021 Call for Papers == 23rd International Symposium on Principles and Practice of Declarative Programming 6–8 September 2021, Tallinn, Estonia http://imft.ftn.uns.ac.rs/PPDP2021 Collocated with LOPSTR 2021

[Haskell] Formal Methods 2021 (virtual conference): Final call for papers

** FM 2021: 24th International Symposium on Formal Methods Beijng, China, November 20 - 26, 2021 https://lcs.ios.ac.cn/fm2021/ ** FM 2021 is the 24th international

[Haskell] First call for the *regular* round of Papers for the Haskell Symposium 2021

Dear all, * Please ignore the message I sent a few minutes ago. It had the wrong subject. Sorry for that. * This is the first call for the *regular* round of papers for the upcoming Haskell Symposium. Please forward to anyone that you believe might be interested. The deadline for this round

[Haskell] Final Call for the early round of Papers for the Haskell Symposium 2021

Dear all, This is the first call for the *regular* round of papers for the upcoming Haskell Symposium. Please forward to anyone that you believe might be interested. The deadline for this round is May 21. Apologies for receiving multiple copies of this announcement. Best regards, Jurriaan

[Haskell] [ANNOUNCE] GHC 9.2.1-alpha2 released

Hi all, The GHC developers are very happy to announce the availability of the second alpha release in the 9.2.1 series. Binary distributions, source distributions, and documentation are available at https://downloads.haskell.org/ghc/9.2.1-alpha2 GHC 9.2 will bring a number of exciting

[ANNOUNCE] GHC 9.2.1-alpha2 released

Hi all, The GHC developers are very happy to announce the availability of the second alpha release in the 9.2.1 series. Binary distributions, source distributions, and documentation are available at https://downloads.haskell.org/ghc/9.2.1-alpha2 GHC 9.2 will bring a number of exciting

[Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021)

Call for papers * International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) Prague - Czech Republic, October 14-15, 2021 https://confscience.com/rtatm/ All papers accepted in RTATM 2021 will be

[Haskell] International Conference on Applied Data Science and Intelligence - (ADSI 2021) -Prague

Call for papers * International Conference on Applied Data Science and Intelligence - (ADSI 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/adsi/ All papers accepted in ADSI 2021 will be published in Springer CCIS

Guarantees about shape of Generic's Rep

Hi! I have a question about guarantees that GHC provides about shape of generic representation of data type. To be more concrete if we have two single-constructor data types with N fields will their binary trees built from (:*:) be balanced in same way? Same for (:+:) binary tree. I want to

[Haskell] Bx 2021 - FINAL CALL FOR PAPERS

Dear Haskellers, Lenses is Bx and our own Edward Kmett will be giving the keynote! Please consider submitting. Best regards, Meng Bx 2021 - FINAL CALL FOR PAPERS ** 9th International Workshop on

[Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) -Prague

Call for papers * International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/irsh/ All papers accepted in IRSH 2021 will be published in Springer

[Haskell] The 18th International Conference on Mobile Systems and Pervasive Computing (MobiSPC)

-- Apologies for Cross-Posting --- - The 18th International Conference on Mobile Systems and Pervasive Computing (MobiSPC) Leuven, Belgium, August 9-12, 2021 http://cs-conferences.acadiau.ca/mobispc-21/ - Important Dates - Workshop

[Haskell] [CFP] NetSys2021 WKSHPS: 1st International Workshop on Cyber Forensics and Advanced Threat Investigations in Emerging Technologies

Call for Papers: 1st International Workshop on Cyber Forensics and Advanced Threat Investigations in Emerging Technologies (CFATI 2021) in conjunction with the 5th International Conference on Networked Systems (Netsys 2021) September 13- 16 2021, Lübeck, Germany https://cfati3.conceptechint.net

[Haskell] [CFP] Last Call :: 18th Int. Conf. on Wireless Networks and Mobile Systems (Deadline 29th of April)

Dear Colleagues, It is our pleasure to invite you to submit your latest research results to the 18th Int. Conf. on Wireless Networks and Mobile Systems (WINSYS 2021), that will be held Online from July 07 to July 09, 2021, until the 29th of April. Please notice this is a hard deadline and

[Haskell] CFP SETTA 2021 - Symposiumon Dependable Software Engineering: Theories, Tools and Applications

(apologies for cross-posting) SETTA 2021: Symposium on Dependable Software Engineering: Theories, Tools and Applications Institute of Software, Chinese Academy of Sciences, Beijing, China, November 25-27, 2021 Submission deadline: July 23rd, 2021

[Haskell] CfP: 11th International Conference on Sustainable Energy Information Technology August 9-12, 2021, Leuven, Belgium

The 11th International Conference on Sustainable Energy Information Technology (SEIT 2021) Leuven, Belgium August 9-12, 2021 Conference Website: http://cs-conferences.acadiau.ca/seit-21 Important Dates - Workshop

<    2   3   4   5   6   7   8   9   10   11   >