[Agda] [TFP'20] one month left for pre-symposium submissions for Trends in Functional Programming 2020, 13-14 February, Krakow, Poland

Peter Achten P.Achten at cs.ru.nl
Fri Oct 11 14:36:29 CEST 2019


-------------------------------------------------------------------------
                     Second call for papers
         21st Symposium on Trends in Functional Programming
                           tfp2020.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 is moving to new winter dates, to provide an FP forum in between the
   annual ICFP events.

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

* This year we are particularly excited to co-locate 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. TFP will be held in the same venue, and participants will 
be able
   to session-hop between the two events.


Important Dates
---------------

Submission deadline for pre-symposium review:   15th November, 2019
Submission deadline for draft papers:           10th January, 2020
Symposium dates:                                13-14th February, 2020

Visit tfp2020.org for more information.


More information about the Agda mailing list