Long Live EdLambda! 18th February meetup

10 views
Skip to first unread message

Rob Stewart

unread,
Jan 20, 2021, 3:53:48 PM1/20/21
to edla...@googlegroups.com, Amy Vitoria, Paul Richards
Comrades,

EdLambda is dead! Long live EdLambda!

During lockdown in 2020, EdLambda quietly undertook an organisational transition.

OVO Energy have taken the reins of EdLambda, through the leadership of Amy Vitoria (CC'd -- amy.v...@ovoenergy.com ).

Thank you Amy!

OVO Energy have established a new office in Edinburgh. They recruit software engineers with functional programming backgrounds.

The 1st EdLambda meetup of 2021 is being held, online, at 6pm Thursday 18th February:

Speaker: Phil Wadler

Title: (Programming Languages) in Agda = Programming (Languages in Agda)

Abstract: To prove properties of programming languages in Agda, all we need do is program a description of those languages Agda. Finding an abstruse mathematical proof becomes as simple and as fun as hacking a program.


The Meetup.com EdLambda page is: https://www.meetup.com/EdLambda/

We are now in the very capable hands of Amy, of OVO Energy.

--
Rob




Amy Vitoria

unread,
Feb 12, 2021, 4:45:35 AM2/12/21
to edla...@googlegroups.com
Hello everybody!!

Thank you Rob for the warm welcome!! Myself and the OVO Engineers are very excited to take the lead on EdLambda and hopefully bring you all some great events in 2021 😁

The countdown is on until our first event of the year......1 WEEK TO GO!!!

We can't wait to get the ball rolling with future meetups, but it would be great to see you all next Thursday!

As a reminder the meetup is being held, online, at 6pm Thursday 18th February:

Speaker: Phil Wadler

Title: (Programming Languages) in Agda = Programming (Languages in Agda)

Abstract: To prove properties of programming languages in Agda, all we need do is program a description of those languages Agda. Finding an abstruse mathematical proof becomes as simple and as fun as hacking a program.


The Meetup.com EdLambda page is: https://www.meetup.com/EdLambda/

Any questions, please let me know!

Thanks!!!
--

Amy Vitoria - Tech Talent Acquisition Specialist



Reply all
Reply to author
Forward
0 new messages