Chalmers online seminars and LambdaConf Global Edition

Skip to first unread message

Lyle Kopnicky

Jun 1, 2020, 1:20:10 AM6/1/20
to pdxfunc
Hi folks,

I thought you'd like to know about some online functional programming talks that are available for free!

The Chalmers Online Functional Programming Seminar Series is every Monday at 7am PDT, from May 11th to June 29th, 2020. The past talks were recorded so you can watch them at your leisure. Info at

LambdaConf 2020 Global Edition started on May 5th and runs through June 20th. All the seminars require registration but are free to attend. Info at

Hope you are staying safe,

Matt Rice

Jun 2, 2020, 12:50:28 AM6/2/20
I also just learned Andrej Bauer is doing a series of seminars with
the authors of various more experimental proof assistants/interesting
type theories.

There is a schedule and recordings of past talks here:

Having just started watching, the beluga talk is really interesting

> Hope you are staying safe,


> Lyle
Reply all
Reply to author
0 new messages