[Agda] [TFP'21] final call for papers: Trends in Functional Programming 2021, 17-19 February (online event with Lambda Days 2021 & TFPIE 2021)
Peter Achten
P.Achten at cs.ru.nl
Fri Jan 8 09:03:01 CET 2021
-------------------------------------------------------------------------
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.
* TFP offers a supportive reviewing process designed to help less
experienced
authors succeed, with two rounds of review, both before and after the
symposium itself. Authors have an opportunity to address reviewers'
concerns
before final decisions on publication in the proceedings.
* TFP offers two "best paper" awards, the John McCarthy award for best
paper,
and the David Turner award for best student paper.
* TFP is co-located with Lambda Days in beautiful Krakow. Lambda Days is
a vibrant
developer conference with hundreds of attendees and a lively
programme of talks on
functional programming in practice. Due to the covid pandemic, the
event is online
with a lot of attention to interaction and getting to socialize with
the community.
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.
More information about the Agda
mailing list