Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] [TFP'21] final call for papers: Trends in Func...

view this post on Zulip Email Gateway (Jan 09 2021 at 12:36):

From: Peter Achten <>

Final call for papers
        22nd Symposium on Trends in Functional Programming
deadline: January 15 2021

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:                                17-19th February, 2021

Visit for more information.

Last updated: Jan 25 2022 at 01:11 UTC