Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] [TFP'20] draft paper deadline open (January 10...


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

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


Third call for papers
        21st Symposium on Trends in Functional Programming
tfp2020.org


Did you miss the deadline to submit a paper to Trends in Functional
Programming
http://cse.chalmers.se/~rjmh/tfp/? No worries -- it's not too late!
Submission is open until January 10th 2020, 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:   15th November, 2019  --
passed --
Submission deadline for draft papers:           10th January, 2020
Symposium dates:                                13-14th February, 2020

Visit tfp2020.org for more information.

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

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


Final call for papers
        21st Symposium on Trends in Functional Programming
tfp2020.org


Did you miss the deadline to submit a paper to Trends in Functional
Programming
http://www.cse.chalmers.se/~rjmh/tfp/? No worries -- it's not too late!
Submission is open until January 10th 2020, 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:   15th November, 2019  --
passed --
Submission deadline for draft papers:           10th January, 2020
Symposium dates:                                13-14th February, 2020

Visit tfp2020.org for more information.


Last updated: Nov 21 2024 at 12:39 UTC