[Agda] [TFP'21] first call for papers: Trends in Functional Programming 2021, 17-19 February (with Lambda Days 2021 & TFPIE 2021)

[Peter Achten]

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

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
Submission deadline for draft papers:             15th January, 2021
Symposium dates:                                  17-19th February, 2021

* We strongly encourage authors to submit their work for the first 
deadline.
   Authors whose papers are accepted for presentation, but not 
immediately for the
   proceedings in this first round, will have almost two months to 
address the
   reviewers' concerns. Papers submitted for the first deadline will 
also have
   priority for the presentation slots at the symposium.

Visit tfp2021.org for more information.