Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] [Lambda Days + TFP + TFPIE 2021] call for part...

view this post on Zulip Email Gateway (Jan 23 2021 at 10:53):

From: Peter Achten <>

C A L L  F O R  P A R T I C I P A T I O N

8th Lambda Days
 10th International Workshop on Trends in Functional Programming in
           22nd Symposium on Trends in Functional Programming

16 - 19 February 2021

The programmes for Lambda Days, TFPIE, and TFP are online:

Lambda Days is a place where academia meets industry, where research and
application collide.

Once again Lambda Days joins forces with Trends in Functional
Programming (TFP) and
Trends in Functional Programming in Education (TFPiE) so that for four
days you can
be at the centre of the functional programming world.

The program has a lot of interesting talks, possibilities for
interaction, and a host
of keynote presentations:

Lambda Days keynote speakers:

Perdita Stevens, Pat Hannahan, Simon Peyton Jones, Andy Gordon, Philip

Trends in Functional Programming in Education keynote speakers:

Francesco Cesarini, Simon Thompson, and Bartosz Milewski.

Trends in Functional Programming keynote speaker:

Zhenjiang Hu.

Thanks to a generous sponsor, TFP has a limited number of free tickets
for PhD, Msc,
Bsc students with an interest in functional programming. To apply, send
a mail to
the program chair of TFP, Viktória Zsók ( with your name,
2-3 lines of motivation, and a valid student card photo to get the
registration code.
Tickets will be delivered in the order of application.

Last updated: Dec 05 2021 at 23:19 UTC