The Coq mailing list

[Peter Achten <P.Achten AT cs.ru.nl>]

-------------------------------------------------------------------------------
              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.