Chalmers online seminars and LambdaConf Global Edition

7 views
Skip to first unread message

Lyle Kopnicky

unread,
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 http://chalmersfp.org/.

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 https://lambdaconf.zohobackstage.com/LambdaConf2020#/tickets?lang=en.

Hope you are staying safe,
Lyle

Matt Rice

unread,
Jun 2, 2020, 12:50:28 AM6/2/20
to pdx...@googlegroups.com
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:
http://math.andrej.com/category/every-proof-assistant/

Having just started watching, the beluga talk is really interesting

>
> Hope you are staying safe,

Likewise

> Lyle
Reply all
Reply to author
Forward
0 new messages