[TYPES/announce] [Lambda Days + TFP + TFPIE 2021] call for participation
Peter Achten
P.Achten at cs.ru.nl
Fri Jan 22 08:55:32 EST 2021
-------------------------------------------------------------------------------
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
Education
+
22nd Symposium on Trends in Functional Programming
16 - 19 February 2021
https://www.lambdadays.org/lambdadays2021
-------------------------------------------------------------------------------
The programmes for Lambda Days, TFPIE, and TFP are online:
- Lambda Days overall program at: https://www.lambdadays.org/lambdadays2021
- TFPIE specific program at: https://wiki.tfpie.science.ru.nl/TFPIE2021
- TFP specific program at: http://tfp2021.org/
(all times are in Central European Time Zone: 12.00:18.00 (CEST))
Lambda Days is a place where academia meets industry, where research and
practical
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
Wadler.
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 (zsv at elte.hu) with your name,
university,
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.
More information about the Types-announce
mailing list