Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] [TFP (and TFPiE) 2024] Call For Participation ...


view this post on Zulip Email Gateway (Dec 22 2023 at 13:23):

From: Peter Achten <cl-isabelle-users@lists.cam.ac.uk>

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:

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.


Last updated: Apr 29 2024 at 04:18 UTC