[Agda] [TFP (and TFPiE) 2024] Call For Participation (January 9-12, Seton Hall University, NJ, USA)
Peter Achten
P.Achten at cs.ru.nl
Fri Dec 22 10:04:56 CET 2023
# TFP 2024 -- Call For Participation
(trendsfp.github.io)
## Venue
TFPiE and TFP will take place in-person at Seton Hall University, New
Jersey in the United States.
## Dates
TFPiE Workshop: Tuesday 9th January, 2024
TFP Symposium: Wednesday 10th - Friday 12th January, 2024
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. It aspires to be a lively environment for
presenting the latest research results, and other contributions.
## Keynote speakers
We are happy to have the following keynotes in the programme:
* Jeremy Gibbons, Oxford University
* Benjamin Pierce, University of Pennsylvania
* John Reppy, University of Chicago
## Programme
The programme schedule can be found here:
trendsfp.github.io/schedule.html
## Excursion and banquet
After lunch on Thursday there is a private guided tour of the
Thomas Edison National Historical Park and Museum.
Thursday evening we have the TFP banquet at Forno's of Spain.
During dinner the winners of the best paper awards of last year's TFP
will be announced.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20231222/8afe401a/attachment.html>
More information about the Agda
mailing list