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


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


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

Visit http://tfp2021.org/ for more information.


Last updated: Sep 25 2021 at 10:20 UTC