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 <P.Achten@cs.ru.nl>


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


Did you miss the deadline to submit a paper to Trends in Functional
Programming
http://tfp2021.org/? 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
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.

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 http://tfp2021.org/ for more information.


Last updated: Dec 05 2021 at 22:18 UTC