The Coq mailing list

[Peter Achten <P.Achten AT cs.ru.nl>]

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