[Agda] [Call for participation] TFPiE and TFP online events March 16-18

Peter Achten P.Achten at cs.ru.nl
Sun Mar 13 11:59:37 CET 2022


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

  11th International Workshop on Trends in Functional Programming in 
Education
                                   +
            23rd Symposium on Trends in Functional Programming

                          16 - 18 March 2022

                  wiki.tfpie.science.ru.nl/TFPIE2022
                          trendsfp.github.io
-------------------------------------------------------------------------------

The programmes for TFPIE and TFP are online (all times are UTC+0):
- TFPIE: https://wiki.tfpie.science.ru.nl/TFPIE2022
- TFP:   https://trendsfp.github.io/schedule.html

Registration is free. Prior to the events you receive a mail with the 
links to
the Zoom meetings.

The Symposium on Trends in Functional Programming (TFP) is an international
forum for researchers with interests in all aspects of functional 
programming,
taking a broad view of current and future trends in the area. We aspire 
to be
a lively environment for presenting the latest research results, and other
contributions.

The Trends in Functional Programming in Education workshops are an 
informal meeting
intended for researchers, professors, teachers, and all professionals 
that use or
are interested in the use of functional programming in education. TFPIE 
aims to be
a venue where novel ideas, classroom-tested ideas, and work in progress 
on the use
of functional programming in education are discussed. We foster a spirit 
of open
discussion by having a review process for publication after the workshop.

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

Trends in Functional Programming in Education keynote speaker:
---------------------------------------------------------------
Peter Achten: The Perfect Functional Programming Course

Trends in Functional Programming keynote speaker:
-------------------------------------------------
Christiaan Baaij: Building a Haskell-to-Hardware compiler: Theory & Practice




More information about the Agda mailing list