Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] [TFP'21] second call for papers: Trends in Fun...

view this post on Zulip Email Gateway (Dec 09 2020 at 11:15):

From: Peter Achten <>

Second call for papers
        22nd Symposium on Trends in Functional Programming

Did you miss the deadline to submit a paper to Trends in Functional
Programming No worries -- it's not too late!
Submission is open until January 15th 2021, for a presentation slot at
the event
and post-symposium reviewing.

The symposium on Trends in Functional Programming (TFP) is an international
forum for researchers with interests in all aspects of functional
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

Important Dates

Submission deadline for pre-symposium review:   20th November, 2020  --
passed --
Submission deadline for draft papers:           15th January, 2021
Symposium dates:                                18-19th February, 2021

Visit for more information.

Last updated: Jul 15 2022 at 23:21 UTC