Professor of Software Technology, @UniUtrecht, (functional) programming languages, type systems, parallel computing @Gckeller@toot.community
Joined June 2014
- Tweets641
- Following427
- Followers1K
- Likes2.3K
Gabriele Keller retweeted
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.
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!
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!
conf.researchr.org/home/icfp…
Gabriele Keller retweeted
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!
conf.researchr.org/home/icfp…
Gabriele Keller retweeted
3000 people protesting education and research cuts in Utrecht. The UU on strike! @WOinactie
Gabriele Keller retweeted
Have a read of Shin-Cheng Mu's beautiful functional pearl on deriving an algorithm for bottom-up computation using trees of sublists: cambridge.org/core/journals/…
Gabriele Keller retweeted
The next Haskell Utrecht Meetup is on 18 November. Check it out! meetup.com/haskell-utrecht/e…
Gabriele Keller retweeted
Registration for ICFP'24 is open! Register early (by Aug 3) for a discounted rate:
icfp24.sigplan.org/attending…
Hope to see you in Milan!
Gabriele Keller retweeted
Read Michael Sperber's review for JFP of Sandy Maguire's book, Algebra-Driven Design: cambridge.org/core/journals/…
Come and join us at the Advanced Functional Programming Summerschool in beautiful Utrecht! Registration deadline is in two weeks, on June 1st!
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! utrechtsummerschool.nl/cours…
Gabriele Keller retweeted
2 days left to submit!
SENSymposium’24 invites one-page lighting talk proposals. Deadline 17 May @ 23:59 CEST. sensym24-lightning.hotcrp.co… #sensymposium24
Event takes place Friday 7 June at CWI Amsterdam. Spread the word!
@VERSEN_NL
@wzblin
@Ayushi_Rastogi
@tvdstorm
@jurgenvinju
Gabriele Keller retweeted
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: ifip-wg28.github.io/index.ht…
Gabriele Keller retweeted
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: voltnederland.org/nieuws/eu-…
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! conf.researchr.org/home/plnl…
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! utrechtsummerschool.nl/cours…
Gabriele Keller retweeted
A massive thank you to @ivogabe for giving us a great talk yesterday on functional parallel array programming.
Hope you enjoyed visiting! – at Bristol, England
ALT A picture of us all at lunch before the talk
Gabriele Keller retweeted
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 👉 lambdadays.org
#lambdadays
Gabriele Keller retweeted
See the JFP's most downloaded articles of 2023! cambridge.org/core/journals/…
Gabriele Keller retweeted
My paper with Eva Graversen (who I believe is not on this site) and @famontesi is out now in JFP! Read in order to understand how to do process polymorphism in choreographies. doi.org/10.1017/S09567968230…
Gabriele Keller retweeted
Complete Stream Fusion for Software-Defined Radio by @moatom and Oleg Kiselyov 🚀 popl24.sigplan.org/details/p…
Gabriele Keller retweeted
The video for my FHPNC talk on Fast Deep Learning with Categories is up! youtube.com/watch?v=9C6edduT…
