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

[Peter Achten]

-------------------------------------------------------------------------
                      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.

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

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