Gabriele Keller

Professor of Software Technology, @UniUtrecht, (functional) programming languages, type systems, parallel computing @[email protected]

[Luc Stultiens @LucStultiens]

Het kabinet is weg, nu de onderwijsbezuinigingen nog.

Het is de hoogste tijd om te versterken wat door dit kabinet is afgebroken.

Daarom dienen we vandaag met onze bondgenoten een wetswijziging in om de €1,6 miljard aan onderwijsbezuinigingen volledig van tafel te krijgen.

[Gabriele Keller @gckeller]

The abstract deadline for FProPer is coming up in a bit more than two weeks (31/5 - paper deadline 14/6). If you're working in the space, please consider submitting! And of course, if you know anyone doing interesting work in this area, please also encourage them to submit!

[Mike Sperber @sperbsen]

I'm honored to chair - with @gckeller and Sven-Bodo Scholz - FProPer’25, the Workshop on Functional Programming for Productivity and Performance.
CfP asks for full papers (abstract deadline May 31) or standalone abstracts (Aug 2) - hope you'll submit!
https://t.co/HZbcXJfz0B

[Mike Sperber @sperbsen]

I'm honored to chair - with @gckeller and Sven-Bodo Scholz - FProPer’25, the Workshop on Functional Programming for Productivity and Performance.
CfP asks for full papers (abstract deadline May 31) or standalone abstracts (Aug 2) - hope you'll submit!
https://t.co/HZbcXJfz0B

[Albert Ali Salah @SzassTam]

3000 people protesting education and research cuts in Utrecht. The UU on strike! @WOinactie

[Journal of Functional Programming @journal_of_fp]

Have a read of Shin-Cheng Mu's beautiful functional pearl on deriving an algorithm for bottom-up computation using trees of sublists: https://t.co/x09sVi0BAH

[Manuel Chakravarty🦋@tacticalgrace.justtesting.org @TacticalGrace]

The next Haskell Utrecht Meetup is on 18 November. Check it out! https://t.co/WrOgZz9Ma3

[ICFP Conference @icfp_conference]

Registration for ICFP'24 is open! Register early (by Aug 3) for a discounted rate:
https://t.co/ff5GmctfB2

Hope to see you in Milan!

[Gabriele Keller @gckeller]

@satnam6502 @PLDI I'm sad I missed it - would have loved to be there!

[Gabriele Keller @gckeller]

@tobycmurray @DSI_VIC Congratulations, Toby!

[Journal of Functional Programming @journal_of_fp]

Read Michael Sperber's review for JFP of Sandy Maguire's book, Algebra-Driven Design: https://t.co/1yKjFhn1p1

[Gabriele Keller @gckeller]

Come and join us at the Advanced Functional Programming Summerschool in beautiful Utrecht! Registration deadline is in two weeks, on June 1st!

[Gabriele Keller @gckeller]

I'm happy to announce that the Utrecht Advanced Functional Programming summer school is happening again this year! It takes place in the second week of July. If you'd like to join, please register via the link below! https://t.co/lcAGuGLN8b

[Casper Bach @eclecnant]

2 days left to submit!

SENSymposium’24 invites one-page lighting talk proposals. Deadline 17 May @ 23:59 CEST. https://t.co/d3e9Tr0xDb #sensymposium24

Event takes place Friday 7 June at CWI Amsterdam. Spread the word!

@VERSEN_NL
@wzblin
@Ayushi_Rastogi
@tvdstorm
@jurgenvinju

[Gabriele Keller @gckeller]

@satnam6502 Safe travels!

[Manuel Chakravarty🦋@tacticalgrace.justtesting.org @TacticalGrace]

Last day of the IFIP WG2.8 meeting in Utrecht is upcoming. It was awesome to have all this functional programming brain power in Utrecht: https://t.co/PFxO8hdmtY

[Manuel Chakravarty🦋@tacticalgrace.justtesting.org @TacticalGrace]

Are you one of the 650,000 foreign EU citizen, living in the Netherlands? Did you know that you can vote in the Netherlands for a Dutch party in the European elections? Here is how it works: https://t.co/kevDgNz4yS

[Gabriele Keller @gckeller]

The deadline for submitting a talk proposal for the 4th VERSEN Workshop on Programming Languages in Groningen is in one week! It's a great opportunity to present your work to other PL researchers! https://t.co/Itaz8YvMrk

[Gabriele Keller @gckeller]

@ProgrammerDude thanks! 😀

[Gabriele Keller @gckeller]

I'm happy to announce that the Utrecht Advanced Functional Programming summer school is happening again this year! It takes place in the second week of July. If you'd like to join, please register via the link below! https://t.co/lcAGuGLN8b

[PLRG :: Bristol @PLRG_bristol]

A massive thank you to @ivogabe for giving us a great talk yesterday on functional parallel array programming.
Hope you enjoyed visiting!

[Lambda Days @LambdaDays]

Learn how pure functional languages like Clean using TOP abstractions are suitable to construct complex multi-user data-intensive real-world applications:
join us in May for the keynote talk by Rinus Plasmeijer🙌
details & tickets 👉 https://t.co/ZzV3RtyFOe
#lambdadays