🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

Don't miss Robby Findler talking at the Chalmers FP Seminar tomorrow: "Concolic Testing with Higher-Order Inputs". chalmersfp.org.

Don't miss Stephanie Weirich at the Chalmers FP Seminar tomorrow: "Strongly Typed System F in GHC". Exploring the limits of dependently-typed programming in GHC. Chalmersfp.org

Don't forget Jeremy Gibbons seminar later today, on "Algorithm Design with Haskell"! chalmersfp.org

The proceedings of Trends in Functional Programming 2020 is now published! Free access for four weeks via this link: cse.chalmers.se/~rjmh/tfp/proc….

The call for (virtual) Trends in Functional Programming 2021 is out! Time to turn ideas from ICFP into papers to submit in November. Deadline: 20th Nov. tfp2021.org.

About 300 downloads of the TFP 2020 proceedings so far-- more for some of the papers: link.springer.com/chapter/10.100… Time to plan a submission for the 2021 edition: tfp2021.org.

I'm working on a new talk for this as we speak...

One of our favourite keynotes - youtu.be/FGQAP0GxlW8 from Mary Sheeran and John Hughes 5-6 November will be time for #CodeMeshV and John will delivering a #Haskell Tutorial - From Zero To Hero! #FunctionalProgramming #AlternativeTech

I'm working on my online Haskell tutorial for #CodeMeshV: codesync.global/speaker/john-h…. 3 1/2 hours of #Haskell hacking. #QuickCheck will loom large :-)

I'm getting quite excited about my #CodeMeshV tutorial next week. Here's what I'll be talking about: introducing both #Haskell and property-based testing with #QuickCheck.

An overview of the topics I'll cover in my #Haskell tutorial at #CodeMeshV next week.

Graham Hutton explains compiler correctness in 17 minutes, with a bit of QuickCheck at the end. Beautiful! youtube.com/watch?v=T_IINW…

Interested why John Hughes, our Lambda Days PC member, loves the Lambda Days? Watch the newest LD video, check the updated speakers line up: Kathi Fisler, Bartosz Milewski, Simon Thompson, Susan Potter, edwinbrady, Duncan McGreggor and make sure you save your seat: ow.ly/JQhU50CMZIm

I'll be hosting this, and we'll have Niki Vazou on the panel too. Should be a great discussion... Join us!

The panel discussion I chaired last week is online. Adam Chlipala, Edwin Brady, Niki Vazou, Stephanie Weirich and Thorsten Altenkirch. I learned a lot--check it out! youtu.be/x3y22-cMBMQ

I'll be talking to Fred Hebert about property-based testing.

The lambdadays.org/lambdadays2022 call is out--Krakow in November (with a virtual back-up plan). It's a great event for FP:ers of all flavours. The talk slots will fill up, so don't wait until the last moment to submit yours!

The call for talks is closing very soon, so it's time to submit!

We are advertising tenured faculty positions in any area of CS at Chalmers! The deadline for application is January 15th. chalmers.se/en/about-chalm…

This is the last week to submit an abstract to Lambda Days--we've had excellent submissions so far, it's going to be particularly good this year. lambdadays.org/lambdadays2025…