Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] [TFP'20] call for participation: Trends in Fun...


view this post on Zulip Email Gateway (Aug 22 2022 at 21:14):

From: Peter Achten <P.Achten@cs.ru.nl>


Call for participation
        21st Symposium on Trends in Functional Programming
tfp2020.org


The list of accepted papers is available at
http://www.cse.chalmers.se/~rjmh/tfp/

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:   15th November,    2019 
-- passed --
Submission deadline for draft papers:           10th January,     2020 
-- passed --
Registration (regular):                         2nd February,    2020
Registration (late):                            13th February,    2020
Symposium dates:                                13-14th February, 2020

Visit tfp2020.org for more information.


Last updated: Apr 19 2024 at 12:27 UTC