[Agda] [TFP'20] draft paper deadline open (January 10 2020) Trends in Functional Programming 2020, 13-14 February, Krakow, Poland

Peter Achten P.Achten at cs.ru.nl
Tue Jan 7 09:25:10 CET 2020


-------------------------------------------------------------------------
                      Final call for papers
         21st Symposium on Trends in Functional Programming
                           tfp2020.org
-------------------------------------------------------------------------

Did you miss the deadline to submit a paper to Trends in Functional 
Programming
http://www.cse.chalmers.se/~rjmh/tfp/? No worries -- it's not too late!
Submission is open until January 10th 2020, 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 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  -- 
passed --
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