[Chicken-users] [TFP 2014] 1st Call For Papers

[Peter Achten]

Dear reader,

Please find included the first call for papers for next year's Trends In 
Functional Programming event, organized by Jurriaan Hage from Utrecht 
University, The Netherlands.


With kind regards,
Peter Achten
Communication chair TFP


-
C A L L   F O R   P A P E R S
-

 TFP 2014 ===

15th Symposium on Trends in Functional Programming
May 26-28, 2014
Utrecht University
Soesterberg, The Netherlands
http://www.cs.uu.nl/wiki/TFP2014/WebHome

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 (see below), described in draft papers submitted prior to the
symposium. A formal post-symposium refereeing process then selects a subset
of the articles presented at the symposium and submitted for formal
publication.

Selected papers will be published as a Springer Lecture Notes in Computer
Science (LNCS) volume.

TFP 2014 will be the main event of a pair of functional programming events.
The other is the International Workshop on Trends in Functional Programming
in Education (TFPIE). TFPIE will take place on May 25th.

The TFP symposium is the heir of the successful series of Scottish 
Functional

Programming Workshops. Previous TFP symposia were held in
Edinburgh (Scotland) in 2003, in Munich (Germany) in 2004,
in Tallinn (Estonia) in 2005, in Nottingham (UK) in 2006,
in New York (USA) in 2007, in Nijmegen (The Netherlands) in 2008,
in Komarno (Slovakia) in 2009, in Oklahoma (USA) in 2010, in Madrid 
(Spain) in

2011, St. Andrews (UK) in 2012 and Provo (Utah, USA) in 2013.
For further general information about TFP please see the TFP homepage.

INVITED SPEAKERS

TFP is pleased to announce talks by the following two invited speakers:

John Hughes of Chalmers, Goteborg, Sweden, is well-known as author of
Why Functional Programming Matters, and as one of the designers of 
QuickCheck

(together with Koen Claessen); the paper on QuickCheck won the
ICFP Most Influential Paper Award in 2010. Currently he divides his time 
between
his professorship and Quviq, a company that performs property-based 
testing of

software with a tool implemented in Erlang.

Dr. Geoffrey Mainland received his PhD from Harvard University where he was
advised by Greg Morrisett and Matt Welsh. After a two year postdoc with the
Programming Principles and Tools group at Microsoft Research Cambridge, 
he is

now an assistant professor at Drexel University. His research focuses on
high-level programming language and runtime support for non-general purpose
computation.

SCOPE

The symposium recognizes that new trends may arise through various routes.
As part of the Symposium's focus on trends we therefore identify the
following five article categories. High-quality articles are solicited 
in any

of these categories:

Research Articles: leading-edge, previously unpublished research work
Position Articles: on what new trends should or should not be
Project Articles: descriptions of recently started new projects
Evaluation Articles: what lessons can be drawn from a finished project
Overview Articles: summarizing work with respect to a trendy subject

Articles must be original and not submitted for simultaneous publication to
any other forum. They may consider any aspect of functional programming:
theoretical, implementation-oriented, or more experience-oriented.
Applications of functional programming techniques to other languages are
also within the scope of the symposium.

Topics suitable for the symposium include:

Functional programming and multicore/manycore computing
Functional programming in the cloud
High performance functional computing
Extra-functional (behavioural) properties of functional programs
Dependently typed functional programming
Validation and verification of functional programs
Using functional techniques to reason about 
imperative/object-oriented programs

Debugging for functional languages
Functional programming in different application areas:
  security, mobility, telecommunications applications, embedded 
systems,

  global computing, grids, etc.
Interoperability with imperative programming languages
Novel memory management techniques
Program analysis and transformation techniques
Empirical performance studies
Abstract/virtual machines and compilers for functional languages
(Embedded) domain specific languages
New implementation strategies
Any new emerging trend in the functional programming area

If you are in doubt on whether your article is within the scope of TFP,
please contact

[Chicken-users] TFP 2014 - 2nd call for papers

[Peter Achten]

 at j.h...@uu.nl.

BEST PAPER AWARDS

To reward excellent contributions, TFP awards a prize for the best paper
accepted for the formal proceedings.

TFP traditionally pays special attention to research students,
acknowledging that students are almost by definition part of new subject
trends. A student paper is one for which the authors state that the paper
is mainly the work of students, the students are listed as first authors,
and a student would present the paper. A prize for the best student paper
is awarded each year.

In both cases, it is the PC of TFP that awards the prize.
In case the best paper happens to be a student paper, that paper will then
receive both prizes.

SPONSORS

TFP is financially supported by NWO (Netherlands Organisation for 
Scientific

Research), Well-Typed and Erlang Solutions.

PAPER SUBMISSIONS

Acceptance of articles for presentation at the symposium is based on a
lightweight peer review process of extended abstracts (4 to 10 pages in
length) or full papers (16 pages). The submission must clearly indicate
which category it belongs to: research, position, project, evaluation,
or overview paper. It should also indicate whether the main author or
authors are research students. In the case of a FULL STUDENT paper, the
draft paper will receive additional feedback by one of the PC members 
shortly

after the symposium has taken place.

We use EasyChair for the refereeing process.

IMPORTANT DATES

Submission of draft papers:March 17,  2014
Notification:  March 24,  2014
Registration:  April 7,   2014
TFP Symposium: May 26-28, 2014
Student papers feedback:   June 9th,  2014
Submission for formal review:  July 1st,  2014
Notification of acceptance:September 8th, 2014
Camera ready paper:October 8th,   2014

PROGRAM COMMITTEE

Peter AchtenRadboud University Nijmegen
Emil AxelssonChalmers
Lucilia Camarao de Figueiredo  Universidade Federal de Ouro Preto
Laura CastroUniversity of A Coruna
Frank HuchChristian-Albrechts-University of Kiel
Matthew FluetRochester Institute of Technology
Jurriaan Hage (chair)   University of Utrecht
Yukiyoshi KameyamaUniversity of Tsukuba
Andrew Kennedy Microsoft Research
Tamas Kozsik   Eotvos Lorand University
Ben LippmeierUniversity of New South Wales
Luc Maranget   INRIA
Jay McCarthy (co-chair)Brigham Young University
Marco T. Morazan   Seton Hall University
Ricardo Pena   Universidad Complutense de Madrid
Alexey Rodriguez   LiquidM
Sven-Bodo Scholz   Heriot-Watt University
Manuel Serrano INRIA Sophia Antipolis
Simon Thompson University of Kent
Tarmo Uustalu  Inst of Cybernetics
David Van Horn University of Maryland
Janis Voigtlaender University of Bonn


___
Chicken-users mailing list
Chicken-users@nongnu.org
https://lists.nongnu.org/mailman/listinfo/chicken-users

[Chicken-users] 2nd Call for Papers - TFPIE 2014

[Peter Achten]

All,

Please find below the call for papers for the 3rd International Workshop 
on Trends In Functional Programming in Education, TFPIE 2014. 
 Apologies in advance for multiple copies you may receive.


Best regards,
James Caldwell



Call for Papers
___

*3rd International Workshop on Trends in Functional Programming in 
Education (TFPIE 2014)*

May 25, 2014
Utrecht University
Soesterberg, The Netherlands
(http://www.cs.uwyo.edu/~jlc/tfpie14/ 
http://www.cs.uwyo.edu/%7Ejlc/tfpie14/)



The 3rd International Workshop on Trends in Functional Programming in 
Education, TFPIE 2014, will be co-located with the Symposium on Trends 
in Functional Programming (TFP 2014) http://www.cs.uu.nl/wiki/TFP2014/ 
at Soesterberg, at the Kontakt der Kontinenten 
http://www.kontaktderkontinenten.nl/conferentiehotel/home.aspx?lang=en-US 
hotel in the Netherlands on Sunday, May 25th.  TFP will follow from May 
26-28.



The goal of TFPIE is to gather researchers, teachers and professionals 
that use, or are interested in the use of, functional programming in 
education. TFPIE aims to be a venue where novel ideas, classroom-tested 
ideas and work-in-progress on the use of functional programming in 
education are discussed. The one-day workshop will foster a spirit of 
open discussion by having a review process for publication after the 
workshop. The program chair of TFPIE 2014 will screen submissions to 
ensure that all presentations are within scope and are of interest to 
participants. Potential presenters are invited to submit an extended 
abstract (4-6 pages) or a draft paper (up to 16 pages) in EPTCS style. 
The authors of accepted presentations will have their preprints and 
their slides made available on the workshop's website/wiki. Visitors to 
the TFPIE 2014 website/wiki will be able to add comments. This includes 
presenters who may respond to comments and questions as well as provide 
pointers to improvements and follow-up work.  After the workshop, 
presenters will be invited to submit (a revised version of) their 
article for review. The PC will select the best articles for publication 
in the journalElectronic Proceedings in Theoretical Computer Science 
(EPTCS) http://published.eptcs.org/. Articles not selected for 
presentation and extended abstracts will not be formally reviewed by the PC.


TFPIE workshops have previously been held in St Andrews, Scotland (2012) 
and in Provo Utah, USA (2013).


*Program Committee*

James Caldwell, (Program Chair) University of Wyoming
Peter Achten, Radboud University, Nijmgen
Edwin Brady, University of St Andrews, St Andrews
Jurriaan Hage, Universiteit Utrecht
Philip Holzenspies, University of Twente
Daniel R. Licata, Wesleyan University
Marco T Morazan, Seton Hall University
Christian Skalka, University of Vermont
David Van Horn, Northeastern University

*Submission Guidelines*

There will be two types of presentations at TFPIE 2014.  Regular papers 
and best lecture presentations.  The best lecture talks are intended 
to allow for presentations or short lectures of purely pedagogical 
material. Papers and abstracts can be submitted via easychair at the 
following link: https://www.easychair.org/conferences/?conf=tfpie2014


*Papers*

TFPIE 2014 welcomes submissions describing techniques used in the 
classroom, tools used in and/or developed for the classroom and any 
creative use of functional programming (FP) to aid education in or 
outside Computer Science. Topics of interest include, but are not 
limited to:


* FP and beginning CS students
* FP and Computational Thinking
* FP and Artificial Intelligence
* FP in Robotics
* FP and Music
* Advanced FP for undergraduates
* FP in graduate education
* Engaging students in research using FP
* FP in Programming Languages
* FP in the high school curriculum
* FP as a stepping stone to other CS topics
* FP and Philosophy
*
*
*Best Lectures*

In addition to papers, this year we are requesting best lecture 
presentations.  What's your best lecture topic in an FP related course? 
 Do you have a fun way to present FP concepts to novices or perhaps an 
especially interesting presentation of a difficult topic?  In either 
case, please consider sharing it.  Best lecture topics will be selected 
for presentation based on a short abstract describing the lecture and 
its interest to TFPIE attendees.


*Important Dates*

* 1 February 2014: TFPIE submissions open on easychair.
* 7 April 2014: TFP and TFPIE registration opens
* 21 April 2014: Submission deadline for draft TFPIE papers and abstracts
* 27  April 2014: Notification of acceptance for presentation
* 25 May 2014: Presentations in Soesterberg, Netherlands
* 29 June 2014: Full papers for EPTCS proceedings due.
* 16 August 2014: Notification of acceptance for proceedings
*  8 September 2014: Camera ready copy due for EPTCS

Submission of an abstract implies no obligation to submit a full paper

[Chicken-users] [TFP2014] Final Call For Papers

[Peter Achten]

 at j.h...@uu.nl.

BEST PAPER AWARDS

To reward excellent contributions, TFP awards a prize for the best paper
accepted for the formal proceedings.

TFP traditionally pays special attention to research students,
acknowledging that students are almost by definition part of new subject
trends. A student paper is one for which the authors state that the paper
is mainly the work of students, the students are listed as first authors,
and a student would present the paper. A prize for the best student paper
is awarded each year.

In both cases, it is the PC of TFP that awards the prize.
In case the best paper happens to be a student paper, that paper will then
receive both prizes.

FINANCIAL SUPPORT

TFP is financially supported by the Department of Information and
Computing Sciences of Utrecht University, NWO (Netherlands Organisation
for Scientific Research), Well-Typed and Erlang Solutions.

PAPER SUBMISSIONS

Acceptance of articles for presentation at the symposium is based on a
lightweight peer review process of extended abstracts (4 to 10 pages in
length) or full papers (16 pages). The submission must clearly indicate
which category it belongs to: research, position, project, evaluation,
or overview paper. It should also indicate whether the main author or
authors are research students. In the case of a FULL STUDENT paper, the
draft paper will receive additional feedback by one of the PC members 
shortly

after the symposium has taken place. For the preproceedings, papers
can be in any format (inclduing LNCS, IEEE and ACM style), but papers
submitted to the postrefereeing process must be in LNCS style, and
are bound by the limitations on paper length.

We use EasyChair for the refereeing process.

IMPORTANT DATES

Submission of draft papers: March 17, 2014
Notification: March 24, 2014
Registration: April 7, 2014
TFP Symposium: May 26-28, 2014
Student papers feedback: June 9th, 2014
Submission for formal review: July 1st, 2014
Notification of acceptance: September 8th, 2014
Camera ready paper: October 8th, 2014

PROGRAM COMMITTEE

Peter AchtenRadboud University Nijmegen
Emil AxelssonChalmers
Lucilia Camarao de Figueiredo  Universidade Federal de Ouro Preto
Laura CastroUniversity of A Coruna
Frank HuchChristian-Albrechts-University of Kiel
Matthew FluetRochester Institute of Technology
Jurriaan Hage (chair)   University of Utrecht
Yukiyoshi KameyamaUniversity of Tsukuba
Andrew Kennedy Microsoft Research
Tamas Kozsik   Eotvos Lorand University
Ben LippmeierUniversity of New South Wales
Luc Maranget   INRIA
Jay McCarthy (co-chair)Brigham Young University
Marco T. Morazan   Seton Hall University
Ricardo Pena   Universidad Complutense de Madrid
Alexey Rodriguez   LiquidM
Sven-Bodo Scholz   Heriot-Watt University
Manuel Serrano INRIA Sophia Antipolis
Simon Thompson University of Kent
Tarmo Uustalu  Inst of Cybernetics
David Van Horn University of Maryland
Janis Voigtlaender University of Bonn


___
Chicken-users mailing list
Chicken-users@nongnu.org
https://lists.nongnu.org/mailman/listinfo/chicken-users

[Chicken-users] [TFP2014] First Call for Participation

[Peter Achten]

  -
 1ST CALL FOR PARTICIPATION
  -

 TFP 2014 ===

15th Symposium on Trends in Functional Programming
May 26-28, 2014
Utrecht University
Soesterberg, The Netherlands
http://www.cs.uu.nl/wiki/TFP2014/WebHome

Registration is now open for the symposium on Trends in Functional
Programming (TFP). It 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. Submission for TFP is now closed, and the 
complete
programme (29 presentations and two invited talks) for TFP can be 
perused here:


   http://www.cs.uu.nl/wiki/TFP2014/PresentationSchedule

TFP 2014 will be the main event of a pair of functional programming events.
The other is the International Workshop on Trends in Functional Programming
in Education (TFPIE). TFPIE will take place on May 25th. Its website is 
located

at http://www.cs.uwyo.edu/~jlc/tfpie14/ . The submission deadline for TFPIE
is April 21, 2014.


INVITED SPEAKERS

TFP is pleased to announce talks by the following two invited speakers:

John Hughes of Chalmers, Goteborg, Sweden, is well-known as author of
Why Functional Programming Matters, and as one of the designers of 
QuickCheck

(together with Koen Claessen); the paper on QuickCheck won the
ICFP Most Influential Paper Award in 2010. Currently he divides his time 
between
his professorship and Quviq, a company that performs property-based 
testing of

software with a tool implemented in Erlang.

Geoffrey Mainland received his PhD from Harvard University where he was
advised by Greg Morrisett and Matt Welsh. After a two year postdoc with the
Programming Principles and Tools group at Microsoft Research Cambridge, 
he is

now an assistant professor at Drexel University. His research focuses on
high-level programming language and runtime support for non-general purpose
computation.

IMPORTANT DATES

Early registration: April 14, 2014
Late registration: May 15, 2014
TFPIE Workshop: May 25, 2014
TFP Symposium: May 26-28, 2014

Registrations can be made at the following URL:

  http://www.cs.uu.nl/wiki/TFP2014/Register

This page will also point you to the web page of the venue where you can 
arrange

for your stay.

hoping to see you there.
Jurriaan Hage (General Chair)


___
Chicken-users mailing list
Chicken-users@nongnu.org
https://lists.nongnu.org/mailman/listinfo/chicken-users

[Chicken-users] [TFPIE2014] final call for papers

[Peter Achten]

3rd International Workshop on Trends in Functional Programming in 
Education (TFPIE 2014)

May 25, 2014
Utrecht University
Soesterberg, The Netherlands
(http://www.cs.uwyo.edu/~jlc/tfpie14/)


The 3rd International Workshop on Trends in Functional Programming in 
Education, TFPIE 2014, will be co-located with the Symposium on Trends 
in Functional Programming (TFP 2014) at Soesterberg, at the “Kontakt der 
Kontinenten” hotel in the Netherlands on Sunday, May 25th. TFP will 
follow from May 26-28.



The goal of TFPIE is to gather researchers, teachers and professionals 
that use, or are interested in the use of, functional programming in 
education. TFPIE aims to be a venue where novel ideas, classroom-tested 
ideas and work-in-progress on the use of functional programming in 
education are discussed. The one-day workshop will foster a spirit of 
open discussion by having a review process for publication after the 
workshop. The program chair of TFPIE 2014 will screen submissions to 
ensure that all presentations are within scope and are of interest to 
participants. Potential presenters are invited to submit an extended 
abstract (4-6 pages) or a draft paper (up to 16 pages) in EPTCS style. 
The authors of accepted presentations will have their preprints and 
their slides made available on the workshop's website/wiki. Visitors to 
the TFPIE 2014 website/wiki will be able to add comments. This includes 
presenters who may respond to comments and questions as well as provide 
pointers to improvements and follow-up work. After the workshop, 
presenters will be invited to submit (a revised version of) their 
article for review. The PC will select the best articles for publication 
in the journal Electronic Proceedings in Theoretical Computer Science 
(EPTCS). Articles not selected for presentation and extended abstracts 
will not be formally reviewed by the PC.


TFPIE workshops have previously been held in St Andrews, Scotland (2012) 
and in Provo Utah, USA (2013).



** Invited Speaker **
TFPIE is pleased to announce that professor Johan Jeuring of Utrecht 
University and Open University, both in The Netherlands is giving an 
invited talk entitled: Automatic tutoring and assessing functional 
programs.



** Program Committee **

James Caldwell, (Program Chair) University of Wyoming
Peter Achten, Radboud University, Nijmgen
Edwin Brady, University of St Andrews, St Andrews
Jurriaan Hage, Universiteit Utrecht
Philip Holzenspies, University of Twente
Daniel R. Licata, Wesleyan University
Marco T Morazan, Seton Hall University
Christian Skalka, University of Vermont
David Van Horn, Northeastern University


** Submission Guidelines **

There will be two types of presentations at TFPIE 2014. Regular papers 
and “best lecture” presentations. The best lecture talks are intended to 
allow for presentations or short lectures of purely pedagogical 
material. Papers and abstracts can be submitted via easychair at the 
following link: https://www.easychair.org/conferences/?conf=tfpie2014



** Papers **

TFPIE 2014 welcomes submissions describing techniques used in the 
classroom, tools used in and/or developed for the classroom and any 
creative use of functional programming (FP) to aid education in or 
outside Computer Science. Topics of interest include, but are not 
limited to:


* FP and beginning CS students
* FP and Computational Thinking
* FP and Artificial Intelligence
* FP in Robotics
* FP and Music
* Advanced FP for undergraduates
* FP in graduate education
* Engaging students in research using FP
* FP in Programming Languages
* FP in the high school curriculum
* FP as a stepping stone to other CS topics
* FP and Philosophy


** Best Lectures **

In addition to papers, this year we are requesting “best lecture” 
presentations. What’s your best lecture topic in an FP related course? 
Do you have a fun way to present FP concepts to novices or perhaps an 
especially interesting presentation of a difficult topic? In either 
case, please consider sharing it. Best lecture topics will be selected 
for presentation based on a short abstract describing the lecture and 
its interest to TFPIE attendees.



** Important Dates **

* 1 February 2014: TFPIE submissions open on easychair.
* 14 April 2014: Early registration for TFP closes
* 21 April 2014: Submission deadline for draft TFPIE papers and abstracts
* 27 April 2014: Notification of acceptance for presentation
* 15 May 2014: Registration for TFPIE closes - as does late registration 
for TFP

* 25 May 2014: Presentations in Soesterberg, Netherlands
* 29 June 2014: Full papers for EPTCS proceedings due
* 16 August 2014: Notification of acceptance for proceedings
* 8 September 2014: Camera ready copy due for EPTCS

Submission of an abstract implies no obligation to submit a full paper; 
abstracts with no corresponding full versions by the full paper deadline 
will be considered as withdrawn. At least one author from each accepted 
presentation must attend

[Chicken-users] [TFPIE2014] final call for participation

[Peter Achten]

[FINAL CALL FOR PARTICIPATION]

3rd International Workshop on Trends in Functional Programming in 
Education (TFPIE 2014)

May 25, 2014
Utrecht University
Soesterberg, The Netherlands
(http://www.cs.uwyo.edu/~jlc/tfpie14/)


The 3rd International Workshop on Trends in Functional Programming in 
Education, TFPIE 2014, will be co-located with the Symposium on Trends 
in Functional Programming (TFP 2014) at Soesterberg, at the “Kontakt der 
Kontinenten” hotel in the Netherlands on Sunday, May 25th. TFP will 
follow from May 26-28.



The goal of TFPIE is to gather researchers, teachers and professionals 
that use, or are interested in the use of, functional programming in 
education. TFPIE aims to be a venue where novel ideas, classroom-tested 
ideas and work-in-progress on the use of functional programming in 
education are discussed. The one-day workshop will foster a spirit of 
open discussion by having a review process for publication after the 
workshop. The program chair of TFPIE 2014 will screen submissions to 
ensure that all presentations are within scope and are of interest to 
participants. Potential presenters are invited to submit an extended 
abstract (4-6 pages) or a draft paper (up to 16 pages) in EPTCS style. 
The authors of accepted presentations will have their preprints and 
their slides made available on the workshop's website/wiki. Visitors to 
the TFPIE 2014 website/wiki will be able to add comments. This includes 
presenters who may respond to comments and questions as well as provide 
pointers to improvements and follow-up work. After the workshop, 
presenters will be invited to submit (a revised version of) their 
article for review. The PC will select the best articles for publication 
in the journal Electronic Proceedings in Theoretical Computer Science 
(EPTCS). Articles not selected for presentation and extended abstracts 
will not be formally reviewed by the PC.


TFPIE workshops have previously been held in St Andrews, Scotland (2012) 
and in Provo Utah, USA (2013).



** Invited Speaker **
TFPIE is pleased to announce that professor Johan Jeuring of Utrecht 
University and Open University, both in The Netherlands is giving an 
invited talk entitled: Automatic tutoring and assessing functional 
programs.



** Program Committee **

James Caldwell, (Program Chair) University of Wyoming
Peter Achten, Radboud University, Nijmgen
Edwin Brady, University of St Andrews, St Andrews
Jurriaan Hage, Universiteit Utrecht
Philip Holzenspies, University of Twente
Daniel R. Licata, Wesleyan University
Marco T Morazan, Seton Hall University
Christian Skalka, University of Vermont
David Van Horn, Northeastern University


** Program **

The preliminary program of TFPIE 2014 is available at the home site of 
TFPIE 2014 and the TFPIE wiki (http://wiki.science.ru.nl/tfpie/Main_Page).
This year's edition features 14 talks. The program is closed with a 
plenary discussion.



** Important Dates **

* 1 February 2014: TFPIE submissions open on easychair.
* 14 April 2014: Early registration for TFP closes
* 21 April 2014: Submission deadline for draft TFPIE papers and abstracts
* 27 April 2014: Notification of acceptance for presentation
* 15 May 2014: Registration for TFPIE closes - as does late registration 
for TFP

* 25 May 2014: Presentations in Soesterberg, Netherlands
* 29 June 2014: Full papers for EPTCS proceedings due
* 16 August 2014: Notification of acceptance for proceedings
* 8 September 2014: Camera ready copy due for EPTCS

Submission of an abstract implies no obligation to submit a full paper; 
abstracts with no corresponding full versions by the full paper deadline 
will be considered as withdrawn. At least one author from each accepted 
presentation must attend the workshop.



___
Chicken-users mailing list
Chicken-users@nongnu.org
https://lists.nongnu.org/mailman/listinfo/chicken-users

[Chicken-users] [TFP 2015] 1st call for papers

[Peter Achten]

-
C A L L   F O R   P A P E R S
-

 TFP 2015 ===

  16th Symposium on Trends in Functional Programming
   June 3-5, 2015
   Inria Sophia Antipolis, France
  http://tfp2015.inria.fr/


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 (see
below). Authors of draft papers will be invited to submit revised
papers based on the feedback receive at the symposium.  A
post-symposium refereeing process will then select a subset of these
articles for formal publication.

The selected revised papers are expected to be published as a Springer
Lecture Notes in Computer Science (LNCS) volume.

TFP 2015 will be the main event of a pair of functional programming
events. TFP 2015 will be accompanied by the International Workshop on
Trends in Functional Programming in Education (TFPIE), which will take
place on June 2nd.

The TFP symposium is the heir of the successful series of Scottish
Functional Programming Workshops. Previous TFP symposia were held in
  * Edinburgh (Scotland) in 2003;
  * Munich (Germany) in 2004;
  * Tallinn (Estonia) in 2005;
  * Nottingham (UK) in 2006;
  * New York (USA) in 2007;
  * Nijmegen (The Netherlands) in 2008;
  * Komarno (Slovakia) in 2009;
  * Oklahoma (USA) in 2010;
  * Madrid (Spain) in 2011;
  * St. Andrews (UK) in 2012;
  * Provo (Utah, USA) in 2013;
  * and in Soesterberg (The Netherlands) in 2014.
For further general information about TFP please see the TFP homepage.
(http://www.tifp.org/).


== INVITED SPEAKERS ==

TFP is pleased to announce talks by the following two invited speakers:

  * Laurence Rideau is a researcher at INRIA and is interested in the
semantics of programming languages , the formal methods, and the
verification tools for programs and mathematical proofs.  She
participated in the beginnings of the Compcert project (certified
compiler), and is part of the Component Mathematical team in the
MSR-INRIA joint laboratory, who performed the formalization of the
Feit-Thompson theorem successfully.

Thirty years ago, computers barged in mathematics with the famous
proof of the Four Color Theorem.  Initially limited to simple
calculation, their role is now expanding to the reasoning whose
complexity is beyond the capabilities of most humans, as the proof of
the classification of finite simple groups.  We present our large
collaborative adventure around the formalization of the Feit-Thompson
theorem (http://en.wikipedia.org/wiki/Feit%E2%80%93Thompson_theorem)
that is a first step to the classification of finite groups
and that uses a palette of methods and techniques that range from
formal logic to software (and mathematics) engineering.

  * Sam Aaron (?)


== SCOPE ==

The symposium recognizes that new trends may arise through various
routes.  As part of the Symposium's focus on trends we therefore
identify the following five article categories. High-quality articles
are solicited in any of these categories:

Research Articles: leading-edge, previously unpublished research work
Position Articles: on what new trends should or should not be
Project Articles: descriptions of recently started new projects
Evaluation Articles: what lessons can be drawn from a finished project
Overview Articles: summarizing work with respect to a trendy subject

Articles must be original and not simultaneously submitted for
publication to any other forum. They may consider any aspect of
functional programming: theoretical, implementation-oriented, or
experience-oriented.  Applications of functional programming
techniques to other languages are also within the scope of the
symposium.

Topics suitable for the symposium include:

Functional programming and multicore/manycore computing
Functional programming in the cloud
High performance functional computing
Extra-functional (behavioural) properties of functional programs
Dependently typed functional programming
Validation and verification of functional programs
Debugging and profiling for functional languages
Functional programming in different application areas:
  security, mobility, telecommunications applications, embedded 
systems,

  global computing, grids, etc.
Interoperability with imperative programming languages
Novel memory management techniques
Program analysis and transformation techniques
Empirical performance studies
Abstract/virtual machines and compilers for functional 

[Chicken-users] [TFP 2015] 2nd call for papers

[Peter Achten]

-
 S E C O N D   C A L L   F O R   P A P E R S
-

 TFP 2015 ===

  16th Symposium on Trends in Functional Programming
   June 3-5, 2015
   Inria Sophia Antipolis, France
  http://tfp2015.inria.fr/


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 (see
below). Authors of draft papers will be invited to submit revised
papers based on the feedback receive at the symposium.  A
post-symposium refereeing process will then select a subset of these
articles for formal publication.

The selected revised papers will be published as a Springer Lecture
Notes in Computer Science (www.springer.com/lncs) volume.

TFP 2015 will be the main event of a pair of functional programming
events. TFP 2015 will be accompanied by the International Workshop on
Trends in Functional Programming in Education (TFPIE), which will take
place on June 2nd.

The TFP symposium is the heir of the successful series of Scottish
Functional Programming Workshops. Previous TFP symposia were held in
  * Edinburgh (Scotland) in 2003;
  * Munich (Germany) in 2004;
  * Tallinn (Estonia) in 2005;
  * Nottingham (UK) in 2006;
  * New York (USA) in 2007;
  * Nijmegen (The Netherlands) in 2008;
  * Komarno (Slovakia) in 2009;
  * Oklahoma (USA) in 2010;
  * Madrid (Spain) in 2011;
  * St. Andrews (UK) in 2012;
  * Provo (Utah, USA) in 2013;
  * and in Soesterberg (The Netherlands) in 2014.
For further general information about TFP please see the TFP homepage.
(http://www.tifp.org/).


== INVITED SPEAKER ==

TFP is pleased to announce a talk by the following invited speaker:

  * Laurence Rideau is a researcher at INRIA and is interested in the
semantics of programming languages , the formal methods, and the
verification tools for programs and mathematical proofs.  She
participated in the beginnings of the Compcert project (certified
compiler), and is part of the Component Mathematical team in the
MSR-INRIA joint laboratory, who performed the formalization of the
Feit-Thompson theorem successfully.

Thirty years ago, computers barged in mathematics with the famous
proof of the Four Color Theorem.  Initially limited to simple
calculation, their role is now expanding to the reasoning whose
complexity is beyond the capabilities of most humans, as the proof of
the classification of finite simple groups.  We present our large
collaborative adventure around the formalization of the Feit-Thompson
theorem (http://en.wikipedia.org/wiki/Feit%E2%80%93Thompson_theorem)
that is a first step to the classification of finite groups
and that uses a palette of methods and techniques that range from
formal logic to software (and mathematics) engineering.


== SCOPE ==

The symposium recognizes that new trends may arise through various
routes.  As part of the Symposium's focus on trends we therefore
identify the following five article categories. High-quality articles
are solicited in any of these categories:

Research Articles: leading-edge, previously unpublished research work
Position Articles: on what new trends should or should not be
Project Articles: descriptions of recently started new projects
Evaluation Articles: what lessons can be drawn from a finished project
Overview Articles: summarizing work with respect to a trendy subject

Articles must be original and not simultaneously submitted for
publication to any other forum. They may consider any aspect of
functional programming: theoretical, implementation-oriented, or
experience-oriented.  Applications of functional programming
techniques to other languages are also within the scope of the
symposium.

Topics suitable for the symposium include:

Functional programming and multicore/manycore computing
Functional programming in the cloud
High performance functional computing
Extra-functional (behavioural) properties of functional programs
Dependently typed functional programming
Validation and verification of functional programs
Debugging and profiling for functional languages
Functional programming in different application areas:
  security, mobility, telecommunications applications, embedded 
systems,

  global computing, grids, etc.
Interoperability with imperative programming languages
Novel memory management techniques
Program analysis and transformation techniques
Empirical performance studies
Abstract/virtual machines and compilers for functional languages

[Chicken-users] [TFP'15] final call for papers - deadline extended march 31 -

[Peter Achten]

-
L A S TA L L   F O R   P A P E R S
-

 TFP 2015 ===

  16th Symposium on Trends in Functional Programming
   June 3-5, 2015
   Inria Sophia Antipolis, France
  http://tfp2015.inria.fr/


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 (see
below). Authors of draft papers will be invited to submit revised
papers based on the feedback receive at the symposium.  A
post-symposium refereeing process will then select a subset of these
articles for formal publication.

The selected revised papers will be published as a Springer Lecture
Notes in Computer Science (www.springer.com/lncs) volume.

TFP 2015 will be the main event of a pair of functional programming
events. TFP 2015 will be accompanied by the International Workshop on
Trends in Functional Programming in Education (TFPIE), which will take
place on June 2nd.

The TFP symposium is the heir of the successful series of Scottish
Functional Programming Workshops. Previous TFP symposia were held in
  * Edinburgh (Scotland) in 2003;
  * Munich (Germany) in 2004;
  * Tallinn (Estonia) in 2005;
  * Nottingham (UK) in 2006;
  * New York (USA) in 2007;
  * Nijmegen (The Netherlands) in 2008;
  * Komarno (Slovakia) in 2009;
  * Oklahoma (USA) in 2010;
  * Madrid (Spain) in 2011;
  * St. Andrews (UK) in 2012;
  * Provo (Utah, USA) in 2013;
  * and in Soesterberg (The Netherlands) in 2014.
For further general information about TFP please see the TFP homepage.
(http://www.tifp.org/).


== INVITED SPEAKERS ==

TFP is pleased to announce talks by the following two invited speakers:

  * Laurence Rideau is a researcher at INRIA and is interested in the
semantics of programming languages , the formal methods, and the
verification tools for programs and mathematical proofs.  She
participated in the beginnings of the Compcert project (certified
compiler), and is part of the Component Mathematical team in the
MSR-INRIA joint laboratory, who performed the formalization of the
Feit-Thompson theorem successfully.

Thirty years ago, computers barged in mathematics with the famous
proof of the Four Color Theorem.  Initially limited to simple
calculation, their role is now expanding to the reasoning whose
complexity is beyond the capabilities of most humans, as the proof of
the classification of finite simple groups.  We present our large
collaborative adventure around the formalization of the Feit-Thompson
theorem (http://en.wikipedia.org/wiki/Feit%E2%80%93Thompson_theorem)
that is a first step to the classification of finite groups
and that uses a palette of methods and techniques that range from
formal logic to software (and mathematics) engineering.

  * Anil Madhavapeddy

== SCOPE ==

The symposium recognizes that new trends may arise through various
routes.  As part of the Symposium's focus on trends we therefore
identify the following five article categories. High-quality articles
are solicited in any of these categories:

Research Articles: leading-edge, previously unpublished research work
Position Articles: on what new trends should or should not be
Project Articles: descriptions of recently started new projects
Evaluation Articles: what lessons can be drawn from a finished project
Overview Articles: summarizing work with respect to a trendy subject

Articles must be original and not simultaneously submitted for
publication to any other forum. They may consider any aspect of
functional programming: theoretical, implementation-oriented, or
experience-oriented.  Applications of functional programming
techniques to other languages are also within the scope of the
symposium.

Topics suitable for the symposium include:

Functional programming and multicore/manycore computing
Functional programming in the cloud
High performance functional computing
Extra-functional (behavioural) properties of functional programs
Dependently typed functional programming
Validation and verification of functional programs
Debugging and profiling for functional languages
Functional programming in different application areas:
  security, mobility, telecommunications applications, embedded 
systems,

  global computing, grids, etc.
Interoperability with imperative programming languages
Novel memory management techniques
Program analysis and transformation techniques
Empirical performance studies
Abstract/virtual machines and compilers for 

[Chicken-users] [TFPIE 2015] 2nd call for papers

[Peter Achten]

 Trends in Functional Programming in Education (TFPIE 2015)
   2nd Call for papers
https://wiki.science.ru.nl/tfpie/TFPIE2015

The 4th International Workshop on Trends in Functional Programming in 
Education,
TFPIE 2015, will be held on June 2, 2015 in Sophia-Antipolis in France. 
It is

co-located with the Symposium on Trends in Functional Programming (TFP 2015)
which takes place from June 3 - 5.

*** Goal ***

The goal of TFPIE is to gather researchers, teachers and professionals 
that use,
or are interested in the use of, functional programming in education. 
TFPIE aims
to be a venue where novel ideas, classroom-tested ideas and 
work-in-progress on

the use of functional programming in education are discussed. The one-day
workshop will foster a spirit of open discussion by having a review 
process for

publication after the workshop. The program chair of TFPIE 2015 will screen
submissions to ensure that all presentations are within scope and are of
interest to participants. Potential presenters are invited to submit an 
extended

abstract (4-6 pages) or a draft paper (up to 16 pages) in EPTCS style. The
authors of accepted presentations will have their preprints and their slides
made available on the workshop's website/wiki. Visitors to the TFPIE 2015
website/wiki will be able to add comments. This includes presenters who may
respond to comments and questions as well as provide pointers to 
improvements
and follow-up work. After the workshop, presenters will be invited to 
submit (a

revised version of) their article for review. The PC will select the best
articles for publication in the journal Electronic Proceedings in 
Theoretical

Computer Science (EPTCS). Articles rejected for presentation and extended
abstracts will not be formally reviewed by the PC. TFPIE workshops have
previously been held in St Andrews, Scotland (2012), Provo Utah, USA 
(2013), and

Soesterberg, The Netherlands (2014).

*** Program Committee ***

Peter Achten, Radboud University Nijmegen, The Netherlands
Edwin Brady, University of St Andrews, UK
Johan Jeuring, Utrecht University and Open University, The Netherlands 
(Chair)

Shriram Krishnamurthi, Brown University, US
Rita Loogen, Philipps-Universität Marburg, Germany
Marco Morazan, Seton Hall University, US
Norman Ramsey, Tufts University, US

*** Submission Guidelines ***

TFPIE 2015 welcomes submissions describing techniques used in the classroom,
tools used in and/or developed for the classroom and any creative use of
functional programming (FP) to aid education in or outside Computer Science.
Topics of interest include, but are not limited to:

- FP and beginning CS students
- FP and Computational Thinking
- FP and Artificial Intelligence
- FP in Robotics
- FP and Music
- Advanced FP for undergraduates
- Tools supporting learning FP
- FP in graduate education
- Engaging students in research using FP
- FP in Programming Languages
- FP in the high school curriculum
- FP as a stepping stone to other CS topics
- FP and Philosophy

*** Best Lectures ***

In addition to papers, we request “best lecture” presentations. What is your
best lecture topic in an FP related course? Do you have a fun way to 
present FP

concepts to novices or perhaps an especially interesting presentation of a
difficult topic? In either case, please consider sharing it. Best 
lecture topics

will be selected for presentation based on a short abstract describing the
lecture and its interest to TFPIE attendees.

*** Submission ***

Papers and abstracts can be submitted via easychair at the following link:
https://easychair.org/conferences/?conf=tfpie2015
It is expected at at least one author for each submitted paper will 
attend the

workshop.

*** Important Dates ***

April 7, 2015: Early Registration for TFP closes
April 27, 2015: Submission deadline for draft TFPIE papers and abstracts
May 3 2015: Notification of acceptance for presentation
?? (Probably May 22 2015): Registration for TFPIE closes - as does late 
registration for TFP

June 2, 2015: Presentations in Sophia-Antipolis, France
July 7, 2015: Full papers for EPTCS proceedings due.
September 1, 2015: Notification of acceptance for proceedings
September 22, 2015: Camera ready copy due for EPTCS

Submission of an abstract implies no obligation to submit a full version;
abstracts with no corresponding full versions by the full paper deadline 
will be

considered as withdrawn.


___
Chicken-users mailing list
Chicken-users@nongnu.org
https://lists.nongnu.org/mailman/listinfo/chicken-users

[Chicken-users] [TFP'15] call for participation

[Peter Achten]

-
  L A S T   C A L L   F O R   P A R T I C I P A T I O N
-

 TFP 2015 ===

  16th Symposium on Trends in Functional Programming
   June 3-5, 2015
   Inria Sophia Antipolis, France
  http://tfp2015.inria.fr/


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 (see
below). Authors of draft papers will be invited to submit revised
papers based on the feedback receive at the symposium.  A
post-symposium refereeing process will then select a subset of these
articles for formal publication.

The selected revised papers will be published as a Springer Lecture
Notes in Computer Science (www.springer.com/lncs) volume.

TFP 2015 will be the main event of a pair of functional programming
events. TFP 2015 will be accompanied by the International Workshop on
Trends in Functional Programming in Education (TFPIE), which will take
place on June 2nd.

The TFP symposium is the heir of the successful series of Scottish
Functional Programming Workshops. Previous TFP symposia were held in
  * Edinburgh (Scotland) in 2003;
  * Munich (Germany) in 2004;
  * Tallinn (Estonia) in 2005;
  * Nottingham (UK) in 2006;
  * New York (USA) in 2007;
  * Nijmegen (The Netherlands) in 2008;
  * Komarno (Slovakia) in 2009;
  * Oklahoma (USA) in 2010;
  * Madrid (Spain) in 2011;
  * St. Andrews (UK) in 2012;
  * Provo (Utah, USA) in 2013;
  * and in Soesterberg (The Netherlands) in 2014.
For further general information about TFP please see the TFP homepage.
(http://www.tifp.org/).


== INVITED SPEAKERS ==

TFP is pleased to announce talks by the following two invited speakers:

  * Laurence Rideau is a researcher at INRIA and is interested in the
semantics of programming languages , the formal methods, and the
verification tools for programs and mathematical proofs.  She
participated in the beginnings of the Compcert project (certified
compiler), and is part of the Component Mathematical team in the
MSR-INRIA joint laboratory, who performed the formalization of the
Feit-Thompson theorem successfully.

Thirty years ago, computers barged in mathematics with the famous
proof of the Four Color Theorem.  Initially limited to simple
calculation, their role is now expanding to the reasoning whose
complexity is beyond the capabilities of most humans, as the proof of
the classification of finite simple groups.  We present our large
collaborative adventure around the formalization of the Feit-Thompson
theorem (http://en.wikipedia.org/wiki/Feit%E2%80%93Thompson_theorem)
that is a first step to the classification of finite groups
and that uses a palette of methods and techniques that range from
formal logic to software (and mathematics) engineering.

  * Anil Madhavapeddy

== SCOPE ==

The symposium recognizes that new trends may arise through various
routes.  As part of the Symposium's focus on trends we therefore
identify the following five article categories. High-quality articles
are solicited in any of these categories:

Research Articles: leading-edge, previously unpublished research work
Position Articles: on what new trends should or should not be
Project Articles: descriptions of recently started new projects
Evaluation Articles: what lessons can be drawn from a finished project
Overview Articles: summarizing work with respect to a trendy subject

Articles must be original and not simultaneously submitted for
publication to any other forum. They may consider any aspect of
functional programming: theoretical, implementation-oriented, or
experience-oriented.  Applications of functional programming
techniques to other languages are also within the scope of the
symposium.

Topics suitable for the symposium include:

Functional programming and multicore/manycore computing
Functional programming in the cloud
High performance functional computing
Extra-functional (behavioural) properties of functional programs
Dependently typed functional programming
Validation and verification of functional programs
Debugging and profiling for functional languages
Functional programming in different application areas:
  security, mobility, telecommunications applications, embedded 
systems,

  global computing, grids, etc.
Interoperability with imperative programming languages
Novel memory management techniques
Program analysis and transformation techniques
Empirical performance studies
Abstract/virtual machines and 

[Chicken-users] [TFP 2016] 1st call for papers

[Peter Achten]

-
C A L L   F O R   P A P E R S
-

 TFP 2016 ===

  17th Symposium on Trends in Functional Programming
   June 8-10, 2016
 University of Maryland, College Park
 Near Washington, DC
 http://tfp2016.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 (see
below). Authors of draft papers will be invited to submit revised
papers based on the feedback receive at the symposium.  A
post-symposium refereeing process will then select a subset of these
articles for formal publication.

TFP 2016 will be the main event of a pair of functional programming
events. TFP 2016 will be accompanied by the International Workshop on
Trends in Functional Programming in Education (TFPIE), which will take
place on June 7nd.

The TFP symposium is the heir of the successful series of Scottish
Functional Programming Workshops. Previous TFP symposia were held in
   * Edinburgh (Scotland) in 2003;
   * Munich (Germany) in 2004;
   * Tallinn (Estonia) in 2005;
   * Nottingham (UK) in 2006;
   * New York (USA) in 2007;
   * Nijmegen (The Netherlands) in 2008;
   * Komarno (Slovakia) in 2009;
   * Oklahoma (USA) in 2010;
   * Madrid (Spain) in 2011;
   * St. Andrews (UK) in 2012;
   * Provo (Utah, USA) in 2013;
   * Soesterberg (The Netherlands) in 2014;
   * and Inria Sophia-Antipolis (France) in 2015.
For further general information about TFP please see the TFP homepage.
(http://www.tifp.org/).


== SCOPE ==

The symposium recognizes that new trends may arise through various
routes.  As part of the Symposium's focus on trends we therefore
identify the following five article categories. High-quality articles
are solicited in any of these categories:

Research Articles: leading-edge, previously unpublished research work
Position Articles: on what new trends should or should not be
Project Articles: descriptions of recently started new projects
Evaluation Articles: what lessons can be drawn from a finished project
Overview Articles: summarizing work with respect to a trendy subject

Articles must be original and not simultaneously submitted for
publication to any other forum. They may consider any aspect of
functional programming: theoretical, implementation-oriented, or
experience-oriented.  Applications of functional programming
techniques to other languages are also within the scope of the
symposium.

Topics suitable for the symposium include, but are not limited to:

 Functional programming and multicore/manycore computing
 Functional programming in the cloud
 High performance functional computing
 Extra-functional (behavioural) properties of functional programs
 Dependently typed functional programming
 Validation and verification of functional programs
 Debugging and profiling for functional languages
 Functional programming in different application areas:
   security, mobility, telecommunications applications, embedded
   systems, global computing, grids, etc.
 Interoperability with imperative programming languages
 Novel memory management techniques
 Program analysis and transformation techniques
 Empirical performance studies
 Abstract/virtual machines and compilers for functional languages
 (Embedded) domain specific languages
 New implementation strategies
 Any new emerging trend in the functional programming area

If you are in doubt on whether your article is within the scope of
TFP, please contact the TFP 2016 program chair, David Van Horn.


== BEST PAPER AWARDS ==

To reward excellent contributions, TFP awards a prize for the best paper
accepted for the formal proceedings.

TFP traditionally pays special attention to research students,
acknowledging that students are almost by definition part of new
subject trends. A student paper is one for which the authors state
that the paper is mainly the work of students, the students are listed
as first authors, and a student would present the paper. A prize for
the best student paper is awarded each year.

In both cases, it is the PC of TFP that awards the prize. In case the
best paper happens to be a student paper, that paper will then receive
both prizes.


== SPONSORS ==

TFP is financially supported by CyberPoint, Galois, Trail of Bits, and
the University of Maryland Computer Science Department.


== PAPER SUBMISSIONS ==

Acceptance of articles for presentation at the symposium is based on a
lightweight peer review process of extended abstracts (4 to 10 pages
in length) or full papers (20 

[Chicken-users] [TFPIE 2016] 1st call for papers

[Peter Achten]

  Trends in Functional Programming in Education (TFPIE 2016)
  Call for papers
 https://wiki.science.ru.nl/tfpie/TFPIE2016

The 5th International Workshop on Trends in Functional Programming in
Education, TFPIE 2016, will be held on June 7, 2016 at the University
of Maryland College Park in the USA. It is co-located with the
Symposium on Trends in Functional Programming (TFP 2016) which takes
place from June 8 - 10.

*** Goal ***

The goal of TFPIE is to gather researchers, teachers and professionals
that use, or are interested in the use of, functional programming in
education. TFPIE aims to be a venue where novel ideas,
classroom-tested ideas and work-in-progress on the use of functional
programming in education are discussed. The one-day workshop will
foster a spirit of open discussion by having a review process for
publication after the workshop. The program chair of TFPIE 2016 will
screen submissions to ensure that all presentations are within scope
and are of interest to participants. Potential presenters are invited
to submit an extended abstract (4-6 pages) or a draft paper (up to 16
pages) in EPTCS style. The authors of accepted presentations will have
their preprints and their slides made available on the workshop's
website/wiki. Visitors to the TFPIE 2016 website/wiki will be able to
add comments. This includes presenters who may respond to comments and
questions as well as provide pointers to improvements and follow-up
work. After the workshop, presenters will be invited to submit (a
revised version of) their article for review. The PC will select the
best articles for publication in the journal Electronic Proceedings in
Theoretical Computer Science (EPTCS). Articles rejected for
presentation and extended abstracts will not be formally reviewed by
the PC. TFPIE workshops have previously been held in St Andrews,
Scotland (2012), Provo Utah, USA (2013), Soesterberg, The Netherlands
(2014), and Sophia-Antipolis, France (2015).

*** Program Committee ***

  Stephen Changat Northeastern Universityin 
Massachusetts, USA

 Marc Feeley   at Université de Montréal in Québec, Canada
 Patricia Johann   at Appalachian State University   in North 
Carolina, USA
  Jay McCarthy at University of Massachusetts Lowell in 
Massachusetts, USA (Chair)

Prabhakar Ragdeat University of Waterloo in Ontario, Canada
Brent Yorgey   at Hendrix Collegein Arkansas, USA

*** Submission Guidelines ***

TFPIE 2016 welcomes submissions describing techniques used in the
classroom, tools used in and/or developed for the classroom and any
creative use of functional programming (FP) to aid education in or
outside Computer Science.  Topics of interest include, but are not
limited to:

- FP and beginning CS students
- FP and Computational Thinking
- FP and Artificial Intelligence
- FP in Robotics
- FP and Music
- Advanced FP for undergraduates
- Tools supporting learning FP
- FP in graduate education
- Engaging students in research using FP
- FP in Programming Languages
- FP in the high school curriculum
- FP as a stepping stone to other CS topics
- FP and Philosophy

*** Best Lectures ***

In addition to papers, we request "best lecture" presentations. What
is your best lecture topic in an FP related course? Do you have a fun
way to present FP concepts to novices or perhaps an especially
interesting presentation of a difficult topic? In either case, please
consider sharing it. Best lecture topics will be selected for
presentation based on a short abstract describing the lecture and its
interest to TFPIE attendees.

*** Submission ***

Papers and abstracts can be submitted via EasyChair at the following
link:

https://easychair.org/conferences/?conf=tfpie2016

It is expected at at least one author for each submitted paper will
attend the workshop.

*** Registration & Local Information ***

Please see the TFP site for registration and local information:

http://tfp2016.org/

*** Important Dates ***

April 27, 2016: Submission deadline for draft TFPIE papers and 
abstracts

  May  3, 2016: Notification of acceptance for presentation
  May 13, 2016: Registration for TFP/TFPIE closes
 June  7, 2016: Presentations in Maryland, USA
 July  7, 2016: Full papers for EPTCS proceedings due.
September  1, 2016: Notification of acceptance for proceedings
September 22, 2016: Camera ready copy due for EPTCS

Submission of an abstract implies no obligation to submit a full version;
abstracts with no corresponding full versions by the full paper deadline 
will be

considered as withdrawn.


___
Chicken-users mailing list
Chicken-users@nongnu.org
https://lists.nongnu.org/mailman/listinfo/chicken-users

[Chicken-users] [TFP 2016] 2nd call for papers

[Peter Achten]

-
C A L L   F O R   P A P E R S
-

 TFP 2016 ===

  17th Symposium on Trends in Functional Programming
   June 8-10, 2016
 University of Maryland, College Park
 Near Washington, DC
 http://tfp2016.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 (see
below). Authors of draft papers will be invited to submit revised
papers based on the feedback receive at the symposium.  A
post-symposium refereeing process will then select a subset of these
articles for formal publication.

TFP 2016 will be the main event of a pair of functional programming
events. TFP 2016 will be accompanied by the International Workshop on
Trends in Functional Programming in Education (TFPIE), which will take
place on June 7nd.


== INVITED SPEAKERS ==

TFP 2016 is pleased to announce keynote talks by the following two
invited speakers:

* Ronald Garcia, University of British Columbia
* Steve Zdancewic, University of Pennsylvania


== HISTORY ==

The TFP symposium is the heir of the successful series of Scottish
Functional Programming Workshops. Previous TFP symposia were held in
   * Edinburgh (Scotland) in 2003;
   * Munich (Germany) in 2004;
   * Tallinn (Estonia) in 2005;
   * Nottingham (UK) in 2006;
   * New York (USA) in 2007;
   * Nijmegen (The Netherlands) in 2008;
   * Komarno (Slovakia) in 2009;
   * Oklahoma (USA) in 2010;
   * Madrid (Spain) in 2011;
   * St. Andrews (UK) in 2012;
   * Provo (Utah, USA) in 2013;
   * Soesterberg (The Netherlands) in 2014;
   * and Inria Sophia-Antipolis (France) in 2015.
For further general information about TFP please see the TFP homepage.
(http://www.tifp.org/).


== SCOPE ==

The symposium recognizes that new trends may arise through various
routes.  As part of the Symposium's focus on trends we therefore
identify the following five article categories. High-quality articles
are solicited in any of these categories:

Research Articles: leading-edge, previously unpublished research work
Position Articles: on what new trends should or should not be
Project Articles: descriptions of recently started new projects
Evaluation Articles: what lessons can be drawn from a finished project
Overview Articles: summarizing work with respect to a trendy subject

Articles must be original and not simultaneously submitted for
publication to any other forum. They may consider any aspect of
functional programming: theoretical, implementation-oriented, or
experience-oriented.  Applications of functional programming
techniques to other languages are also within the scope of the
symposium.

Topics suitable for the symposium include, but are not limited to:

 Functional programming and multicore/manycore computing
 Functional programming in the cloud
 High performance functional computing
 Extra-functional (behavioural) properties of functional programs
 Dependently typed functional programming
 Validation and verification of functional programs
 Debugging and profiling for functional languages
 Functional programming in different application areas:
   security, mobility, telecommunications applications, embedded
   systems, global computing, grids, etc.
 Interoperability with imperative programming languages
 Novel memory management techniques
 Program analysis and transformation techniques
 Empirical performance studies
 Abstract/virtual machines and compilers for functional languages
 (Embedded) domain specific languages
 New implementation strategies
 Any new emerging trend in the functional programming area

If you are in doubt on whether your article is within the scope of
TFP, please contact the TFP 2016 program chair, David Van Horn.


== BEST PAPER AWARDS ==

To reward excellent contributions, TFP awards a prize for the best paper
accepted for the formal proceedings.

TFP traditionally pays special attention to research students,
acknowledging that students are almost by definition part of new
subject trends. A student paper is one for which the authors state
that the paper is mainly the work of students, the students are listed
as first authors, and a student would present the paper. A prize for
the best student paper is awarded each year.

In both cases, it is the PC of TFP that awards the prize. In case the
best paper happens to be a student paper, that paper will then receive
both prizes.


== SPONSORS ==

TFP is financially supported by CyberPoint, Galois, Trail of Bits, and
the University of Maryland 

[Chicken-users] [TFP 2016] extended deadline, april 25 2016, final call for papers

[Peter Achten]

TFP 2016 has extended its deadline for draft papers by two weeks (now
April 25).  Although all draft papers accepted to TFP 2016 will be
invited to submit to the post-symposium formal proceedings, authors
are reminded that they are not obligated to do so; we welcome works in
progress that may not be destined for the TFP proceedings.

Thanks,
David Van Horn

-
C A L L   F O R   P A P E R S
-

 TFP 2016 ===

  17th Symposium on Trends in Functional Programming
   June 8-10, 2016
 University of Maryland, College Park
 Near Washington, DC
 http://tfp2016.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 (see
below). Authors of draft papers will be invited to submit revised
papers based on the feedback receive at the symposium.  A
post-symposium refereeing process will then select a subset of these
articles for formal publication.

TFP 2016 will be the main event of a pair of functional programming
events. TFP 2016 will be accompanied by the International Workshop on
Trends in Functional Programming in Education (TFPIE), which will take
place on June 7nd.


== INVITED SPEAKERS ==

TFP 2016 is pleased to announce keynote talks by the following two
invited speakers:

* Ronald Garcia, University of British Columbia: "Static and Dynamic
  Type Checking: A Synopsis"

* Steve Zdancewic, University of Pennsylvania: "Type- and
  Example-Driven Program Synthesis"


== HISTORY ==

The TFP symposium is the heir of the successful series of Scottish
Functional Programming Workshops. Previous TFP symposia were held in
   * Edinburgh (Scotland) in 2003;
   * Munich (Germany) in 2004;
   * Tallinn (Estonia) in 2005;
   * Nottingham (UK) in 2006;
   * New York (USA) in 2007;
   * Nijmegen (The Netherlands) in 2008;
   * Komarno (Slovakia) in 2009;
   * Oklahoma (USA) in 2010;
   * Madrid (Spain) in 2011;
   * St. Andrews (UK) in 2012;
   * Provo (Utah, USA) in 2013;
   * Soesterberg (The Netherlands) in 2014;
   * and Inria Sophia-Antipolis (France) in 2015.
For further general information about TFP please see the TFP homepage.
(http://www.tifp.org/).


== SCOPE ==

The symposium recognizes that new trends may arise through various
routes.  As part of the Symposium's focus on trends we therefore
identify the following five article categories. High-quality articles
are solicited in any of these categories:

Research Articles: leading-edge, previously unpublished research work
Position Articles: on what new trends should or should not be
Project Articles: descriptions of recently started new projects
Evaluation Articles: what lessons can be drawn from a finished project
Overview Articles: summarizing work with respect to a trendy subject

Articles must be original and not simultaneously submitted for
publication to any other forum. They may consider any aspect of
functional programming: theoretical, implementation-oriented, or
experience-oriented.  Applications of functional programming
techniques to other languages are also within the scope of the
symposium.

Topics suitable for the symposium include, but are not limited to:

 Functional programming and multicore/manycore computing
 Functional programming in the cloud
 High performance functional computing
 Extra-functional (behavioural) properties of functional programs
 Dependently typed functional programming
 Validation and verification of functional programs
 Debugging and profiling for functional languages
 Functional programming in different application areas:
   security, mobility, telecommunications applications, embedded
   systems, global computing, grids, etc.
 Interoperability with imperative programming languages
 Novel memory management techniques
 Program analysis and transformation techniques
 Empirical performance studies
 Abstract/virtual machines and compilers for functional languages
 (Embedded) domain specific languages
 New implementation strategies
 Any new emerging trend in the functional programming area

If you are in doubt on whether your article is within the scope of
TFP, please contact the TFP 2016 program chair, David Van Horn.


== BEST PAPER AWARDS ==

To reward excellent contributions, TFP awards a prize for the best paper
accepted for the formal proceedings.

TFP traditionally pays special attention to research students,
acknowledging that students are almost by definition part of new
subject trends. A student paper is one for which the authors state

[Chicken-users] [TFPIE 2016] 2nd call for papers

[Peter Achten]

  Trends in Functional Programming in Education (TFPIE 2016)
   2nd Call for papers
 https://wiki.science.ru.nl/tfpie/TFPIE2016

The 5th International Workshop on Trends in Functional Programming in
Education, TFPIE 2016, will be held on June 7, 2016 at the University
of Maryland College Park in the USA. It is co-located with the
Symposium on Trends in Functional Programming (TFP 2016) which takes
place from June 8 - 10.

*** Goal ***

The goal of TFPIE is to gather researchers, teachers and professionals
that use, or are interested in the use of, functional programming in
education. TFPIE aims to be a venue where novel ideas,
classroom-tested ideas and work-in-progress on the use of functional
programming in education are discussed. The one-day workshop will
foster a spirit of open discussion by having a review process for
publication after the workshop. The program chair of TFPIE 2016 will
screen submissions to ensure that all presentations are within scope
and are of interest to participants. Potential presenters are invited
to submit an extended abstract (4-6 pages) or a draft paper (up to 16
pages) in EPTCS style. The authors of accepted presentations will have
their preprints and their slides made available on the workshop's
website/wiki. Visitors to the TFPIE 2016 website/wiki will be able to
add comments. This includes presenters who may respond to comments and
questions as well as provide pointers to improvements and follow-up
work. After the workshop, presenters will be invited to submit (a
revised version of) their article for review. The PC will select the
best articles for publication in the journal Electronic Proceedings in
Theoretical Computer Science (EPTCS). Articles rejected for
presentation and extended abstracts will not be formally reviewed by
the PC. TFPIE workshops have previously been held in St Andrews,
Scotland (2012), Provo Utah, USA (2013), Soesterberg, The Netherlands
(2014), and Sophia-Antipolis, France (2015).

*** Program Committee ***

  Stephen Changat Northeastern Universityin 
Massachusetts, USA

 Marc Feeley   at Université de Montréal in Québec, Canada
 Patricia Johann   at Appalachian State University   in North 
Carolina, USA
  Jay McCarthy at University of Massachusetts Lowell in 
Massachusetts, USA (Chair)

Prabhakar Ragdeat University of Waterloo in Ontario, Canada
Brent Yorgey   at Hendrix Collegein Arkansas, USA

*** Submission Guidelines ***

TFPIE 2016 welcomes submissions describing techniques used in the
classroom, tools used in and/or developed for the classroom and any
creative use of functional programming (FP) to aid education in or
outside Computer Science.  Topics of interest include, but are not
limited to:

- FP and beginning CS students
- FP and Computational Thinking
- FP and Artificial Intelligence
- FP in Robotics
- FP and Music
- Advanced FP for undergraduates
- Tools supporting learning FP
- FP in graduate education
- Engaging students in research using FP
- FP in Programming Languages
- FP in the high school curriculum
- FP as a stepping stone to other CS topics
- FP and Philosophy

*** Best Lectures ***

In addition to papers, we request "best lecture" presentations. What
is your best lecture topic in an FP related course? Do you have a fun
way to present FP concepts to novices or perhaps an especially
interesting presentation of a difficult topic? In either case, please
consider sharing it. Best lecture topics will be selected for
presentation based on a short abstract describing the lecture and its
interest to TFPIE attendees.

*** Submission ***

Papers and abstracts can be submitted via EasyChair at the following
link:

https://easychair.org/conferences/?conf=tfpie2016

It is expected at at least one author for each submitted paper will
attend the workshop.

*** Registration & Local Information ***

Please see the TFP site for registration and local information:

http://tfp2016.org/

*** Important Dates ***

April 27, 2016: Submission deadline for draft TFPIE papers and 
abstracts

  May  3, 2016: Notification of acceptance for presentation
  May 13, 2016: Registration for TFP/TFPIE closes
 June  7, 2016: Presentations in Maryland, USA
 July  7, 2016: Full papers for EPTCS proceedings due.
September  1, 2016: Notification of acceptance for proceedings
September 22, 2016: Camera ready copy due for EPTCS

Submission of an abstract implies no obligation to submit a full version;
abstracts with no corresponding full versions by the full paper deadline 
will be

considered as withdrawn.


___
Chicken-users mailing list
Chicken-users@nongnu.org
https://lists.nongnu.org/mailman/listinfo/chicken-users

[Chicken-users] [TFP 2016] Final call for papers

[Peter Achten]

-
C A L L   F O R   P A P E R S
-

 TFP 2016 ===

  17th Symposium on Trends in Functional Programming
   June 8-10, 2016
 University of Maryland, College Park
 Near Washington, DC
 http://tfp2016.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 (see
below). Authors of draft papers will be invited to submit revised
papers based on the feedback receive at the symposium.  A
post-symposium refereeing process will then select a subset of these
articles for formal publication.

TFP 2016 will be the main event of a pair of functional programming
events. TFP 2016 will be accompanied by the International Workshop on
Trends in Functional Programming in Education (TFPIE), which will take
place on June 7nd.


== INVITED SPEAKERS ==

TFP 2016 is pleased to announce keynote talks by the following two
invited speakers:

* Ronald Garcia, University of British Columbia
* Steve Zdancewic, University of Pennsylvania


== HISTORY ==

The TFP symposium is the heir of the successful series of Scottish
Functional Programming Workshops. Previous TFP symposia were held in
   * Edinburgh (Scotland) in 2003;
   * Munich (Germany) in 2004;
   * Tallinn (Estonia) in 2005;
   * Nottingham (UK) in 2006;
   * New York (USA) in 2007;
   * Nijmegen (The Netherlands) in 2008;
   * Komarno (Slovakia) in 2009;
   * Oklahoma (USA) in 2010;
   * Madrid (Spain) in 2011;
   * St. Andrews (UK) in 2012;
   * Provo (Utah, USA) in 2013;
   * Soesterberg (The Netherlands) in 2014;
   * and Inria Sophia-Antipolis (France) in 2015.
For further general information about TFP please see the TFP homepage.
(http://www.tifp.org/).


== SCOPE ==

The symposium recognizes that new trends may arise through various
routes.  As part of the Symposium's focus on trends we therefore
identify the following five article categories. High-quality articles
are solicited in any of these categories:

Research Articles: leading-edge, previously unpublished research work
Position Articles: on what new trends should or should not be
Project Articles: descriptions of recently started new projects
Evaluation Articles: what lessons can be drawn from a finished project
Overview Articles: summarizing work with respect to a trendy subject

Articles must be original and not simultaneously submitted for
publication to any other forum. They may consider any aspect of
functional programming: theoretical, implementation-oriented, or
experience-oriented.  Applications of functional programming
techniques to other languages are also within the scope of the
symposium.

Topics suitable for the symposium include, but are not limited to:

 Functional programming and multicore/manycore computing
 Functional programming in the cloud
 High performance functional computing
 Extra-functional (behavioural) properties of functional programs
 Dependently typed functional programming
 Validation and verification of functional programs
 Debugging and profiling for functional languages
 Functional programming in different application areas:
   security, mobility, telecommunications applications, embedded
   systems, global computing, grids, etc.
 Interoperability with imperative programming languages
 Novel memory management techniques
 Program analysis and transformation techniques
 Empirical performance studies
 Abstract/virtual machines and compilers for functional languages
 (Embedded) domain specific languages
 New implementation strategies
 Any new emerging trend in the functional programming area

If you are in doubt on whether your article is within the scope of
TFP, please contact the TFP 2016 program chair, David Van Horn.


== BEST PAPER AWARDS ==

To reward excellent contributions, TFP awards a prize for the best paper
accepted for the formal proceedings.

TFP traditionally pays special attention to research students,
acknowledging that students are almost by definition part of new
subject trends. A student paper is one for which the authors state
that the paper is mainly the work of students, the students are listed
as first authors, and a student would present the paper. A prize for
the best student paper is awarded each year.

In both cases, it is the PC of TFP that awards the prize. In case the
best paper happens to be a student paper, that paper will then receive
both prizes.


== SPONSORS ==

TFP is financially supported by CyberPoint, Galois, Trail of Bits, and
the University of Maryland 

[Chicken-users] 1st call for papers: Trends in Functional Programming, 19-21 june 2017, University of Kent, Canterbury

[Peter Achten]

-
C A L L   F O R   P A P E R S
-

 TFP 2017 ===

  18th Symposium on Trends in Functional Programming
   19-21 June, 2017
 University of Kent, Canterbury
   https://www.cs.kent.ac.uk/events/tfp17/index.html

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 (see
below). Authors of draft papers will be invited to submit revised
papers based on the feedback receive at the symposium.  A
post-symposium refereeing process will then select a subset of these
articles for formal publication.

TFP 2017 will be the main event of a pair of functional programming
events. TFP 2017 will be accompanied by the International Workshop on
Trends in Functional Programming in Education (TFPIE), which will take
place on 22 June.

The TFP symposium is the heir of the successful series of Scottish
Functional Programming Workshops. Previous TFP symposia were held in
   * Edinburgh (Scotland) in 2003;
   * Munich (Germany) in 2004;
   * Tallinn (Estonia) in 2005;
   * Nottingham (UK) in 2006;
   * New York (USA) in 2007;
   * Nijmegen (The Netherlands) in 2008;
   * Komarno (Slovakia) in 2009;
   * Oklahoma (USA) in 2010;
   * Madrid (Spain) in 2011;
   * St. Andrews (UK) in 2012;
   * Provo (Utah, USA) in 2013;
   * Soesterberg (The Netherlands) in 2014;
   * Inria Sophia-Antipolis (France) in 2015;
   * and Maryland (USA) in 2016.

For further general information about TFP please see the TFP homepage.
(http://www.tifp.org/).


== SCOPE ==

The symposium recognizes that new trends may arise through various
routes.  As part of the Symposium's focus on trends we therefore
identify the following five article categories. High-quality articles
are solicited in any of these categories:

Research Articles: leading-edge, previously unpublished research work
Position Articles: on what new trends should or should not be
Project Articles: descriptions of recently started new projects
Evaluation Articles: what lessons can be drawn from a finished project
Overview Articles: summarizing work with respect to a trendy subject

Articles must be original and not simultaneously submitted for
publication to any other forum. They may consider any aspect of
functional programming: theoretical, implementation-oriented, or
experience-oriented.  Applications of functional programming
techniques to other languages are also within the scope of the
symposium.

Topics suitable for the symposium include, but are not limited to:

 Functional programming and multicore/manycore computing
 Functional programming in the cloud
 High performance functional computing
 Extra-functional (behavioural) properties of functional programs
 Dependently typed functional programming
 Validation and verification of functional programs
 Debugging and profiling for functional languages
 Functional programming in different application areas:
   security, mobility, telecommunications applications, embedded
   systems, global computing, grids, etc.
 Interoperability with imperative programming languages
 Novel memory management techniques
 Program analysis and transformation techniques
 Empirical performance studies
 Abstract/virtual machines and compilers for functional languages
 (Embedded) domain specific languages
 New implementation strategies
 Any new emerging trend in the functional programming area

If you are in doubt on whether your article is within the scope of
TFP, please contact the TFP 2017 program chairs, Scott Owens and Meng Wang.


== BEST PAPER AWARDS ==

To reward excellent contributions, TFP awards a prize for the best paper
accepted for the formal proceedings.

TFP traditionally pays special attention to research students,
acknowledging that students are almost by definition part of new
subject trends. A student paper is one for which the authors state
that the paper is mainly the work of students, the students are listed
as first authors, and a student would present the paper. A prize for
the best student paper is awarded each year.

In both cases, it is the PC of TFP that awards the prize. In case the
best paper happens to be a student paper, that paper will then receive
both prizes.


== SPONSORS ==

TBD

== PAPER SUBMISSIONS ==

Acceptance of articles for presentation at the symposium is based on a
lightweight peer review process of extended abstracts (4 to 10 pages
in length) or full papers (20 pages). The submission must clearly
indicate which category it belongs to: research, position, project,
evaluation, 

[Chicken-users] 2nd call for papers: Trends in Functional Programming, 19-21 june 2017, University of Kent, Canterbury

[Peter Achten]

. It should also indicate which authors
are research students, and whether the main author(s) are students.  A
draft paper for which ALL authors are students will receive additional
feedback by one of the PC members shortly after the symposium has
taken place.

We use EasyChair for the refereeing process. Papers must be submitted at:

   https://easychair.org/conferences/?conf=tfp17

Papers must be written in English, and written using the LNCS
style. For more information about formatting please consult the
Springer LNCS web site:

http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0

== INVITED SPEAKERS ==
Conor McBride   University of Strathclyde (UK)
Cătălin Hriţcu  INRIA Paris (FR)


== IMPORTANT DATES ==

Submission of draft papers: 5 May, 2017
Notification:   12 May, 2017
Registration:   11 June, 2017
TFP Symposium:  19-21 June, 2017
Student papers feedback:29 June, 2017
Submission for formal review:   2 August, 2017
Notification of acceptance: 3 November, 2017
Camera ready paper: 2 December, 2017


== PROGRAM COMMITTEE ==

Co-Chairs
Meng Wang   University of Kent (UK)
Scott Owens University of Kent (UK)

PC
Jeremy Yallop   University of Cambridge (UK)
Nicolas Wu  University of Bristol (UK)
Laura CastroUniversity of A Coruña (ES)
Gabriel SchererNortheastern University (US)
Edwin Brady University of St Andrews (UK)
Janis Voigtländer   Radboud University Nijmegen (NL)
Peter AchtenRadboud University Nijmegen (NL)
Tom Schrijvers  KU Leuven (BE)
Matthew Fluet   Rochester Institute of Technology (US)
Mauro JaskelioffCIFASIS/Universidad Nacional de Rosario (AG)
Patricia Johann Appalachian State University (US)
Bruno Oliveira  The University of Hong Kong (HK)
Rita Loogen Philipps-Universität Marburg (GE)
David Van Horn  University of Marylan (US)
Soichiro Hidaka Hosei University (JP)
Michał PałkaChalmers University of Technology (SE)
Sandrine Blazy  University of Rennes 1 - IRISA (FR)



___
Chicken-users mailing list
Chicken-users@nongnu.org
https://lists.nongnu.org/mailman/listinfo/chicken-users

[Chicken-users] Call for participation: Trends in Functional Programming, 19-21 june 2017, University of Kent, Canterbury

[Peter Achten]

 paper. It should also indicate which authors
are research students, and whether the main author(s) are students.  A
draft paper for which ALL authors are students will receive additional
feedback by one of the PC members shortly after the symposium has
taken place.

We use EasyChair for the refereeing process. Papers must be submitted at:

   https://easychair.org/conferences/?conf=tfp17

Papers must be written in English, and written using the LNCS
style. For more information about formatting please consult the
Springer LNCS web site:

http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0

== INVITED SPEAKERS ==
Conor McBride   University of Strathclyde (UK)
Cătălin Hriţcu  INRIA Paris (FR)


== IMPORTANT DATES ==

Submission of draft papers: 5 May, 2017
Notification:   12 May, 2017
Registration:   11 June, 2017
TFP Symposium:  19-21 June, 2017
Student papers feedback:29 June, 2017
Submission for formal review:   2 August, 2017
Notification of acceptance: 3 November, 2017
Camera ready paper: 2 December, 2017


== PROGRAM COMMITTEE ==

Co-Chairs
Meng Wang   University of Kent (UK)
Scott Owens University of Kent (UK)

PC
Jeremy Yallop   University of Cambridge (UK)
Nicolas Wu  University of Bristol (UK)
Laura CastroUniversity of A Coruña (ES)
Gabriel Scherer Northeastern University (US)
Edwin Brady University of St Andrews (UK)
Janis Voigtländer   Radboud University Nijmegen (NL)
Peter AchtenRadboud University Nijmegen (NL)
Tom Schrijvers  KU Leuven (BE)
Matthew Fluet   Rochester Institute of Technology (US)
Mauro JaskelioffCIFASIS/Universidad Nacional de Rosario (AG)
Patricia Johann Appalachian State University (US)
Bruno Oliveira  The University of Hong Kong (HK)
Rita Loogen Philipps-Universität Marburg (GE)
David Van Horn  University of Marylan (US)
Soichiro Hidaka Hosei University (JP)
Michał PałkaChalmers University of Technology (SE)
Sandrine Blazy  University of Rennes 1 - IRISA (FR)


___
Chicken-users mailing list
Chicken-users@nongnu.org
https://lists.nongnu.org/mailman/listinfo/chicken-users

[Chicken-users] Call for participation: Trends in Functional Programming, 19-21 june 2017 AND Trends in Functional Programming in Education, 22 june 2017, University of Kent, Canterbury

[Peter Achten]

 will then receive
both prizes.


== PAPER SUBMISSIONS ==

Acceptance of articles for presentation at the symposium is based on a
lightweight peer review process of extended abstracts (4 to 10 pages
in length) or full papers (20 pages). The submission must clearly
indicate which category it belongs to: research, position, project,
evaluation, or overview paper. It should also indicate which authors
are research students, and whether the main author(s) are students.  A
draft paper for which ALL authors are students will receive additional
feedback by one of the PC members shortly after the symposium has
taken place.

We use EasyChair for the refereeing process. Papers must be submitted at:

   https://easychair.org/conferences/?conf=tfp17

Papers must be written in English, and written using the LNCS
style. For more information about formatting please consult the
Springer LNCS web site:

http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0

== INVITED SPEAKERS ==
Conor McBride   University of Strathclyde (UK)
Cătălin Hriţcu  INRIA Paris (FR)
Heather Miller  Northeastern University (USA) and EPFL (CH)

== IMPORTANT DATES ==

Submission of draft papers: 5 May, 2017
Notification:   12 May, 2017
Registration:   11 June, 2017
TFP Symposium:  19-21 June, 2017
Student papers feedback:29 June, 2017
Submission for formal review:   2 August, 2017
Notification of acceptance: 3 November, 2017
Camera ready paper: 2 December, 2017


== PROGRAM COMMITTEE ==

Co-Chairs
Meng Wang   University of Kent (UK)
Scott Owens University of Kent (UK)

PC
Jeremy Yallop   University of Cambridge (UK)
Nicolas Wu  University of Bristol (UK)
Laura CastroUniversity of A Coruña (ES)
Gabriel Scherer Northeastern University (US)
Edwin Brady University of St Andrews (UK)
Janis Voigtländer   Radboud University Nijmegen (NL)
Peter AchtenRadboud University Nijmegen (NL)
Tom Schrijvers  KU Leuven (BE)
Matthew Fluet   Rochester Institute of Technology (US)
Mauro JaskelioffCIFASIS/Universidad Nacional de Rosario (AG)
Patricia Johann Appalachian State University (US)
Bruno Oliveira  The University of Hong Kong (HK)
Rita Loogen Philipps-Universität Marburg (GE)
David Van Horn  University of Marylan (US)
Soichiro Hidaka Hosei University (JP)
Michał PałkaChalmers University of Technology (SE)
Sandrine Blazy  University of Rennes 1 - IRISA (FR)


___
Chicken-users mailing list
Chicken-users@nongnu.org
https://lists.nongnu.org/mailman/listinfo/chicken-users

[Chicken-users] Deadline extension may 15: Trends in Functional Programming, 19-21 june 2017, University of Kent, Canterbury

[Peter Achten]

 will then receive
both prizes.


== PAPER SUBMISSIONS ==

Acceptance of articles for presentation at the symposium is based on a
lightweight peer review process of extended abstracts (4 to 10 pages
in length) or full papers (20 pages). The submission must clearly
indicate which category it belongs to: research, position, project,
evaluation, or overview paper. It should also indicate which authors
are research students, and whether the main author(s) are students.  A
draft paper for which ALL authors are students will receive additional
feedback by one of the PC members shortly after the symposium has
taken place.

We use EasyChair for the refereeing process. Papers must be submitted at:

   https://easychair.org/conferences/?conf=tfp17

Papers must be written in English, and written using the LNCS
style. For more information about formatting please consult the
Springer LNCS web site:

http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0

== INVITED SPEAKERS ==
Conor McBride   University of Strathclyde (UK)
Cătălin Hriţcu  INRIA Paris (FR)


== IMPORTANT DATES ==

Submission of draft papers:  ***15 May, 2017*** extension
Notification:   12 May, 2017
Registration:   11 June, 2017
TFP Symposium:  19-21 June, 2017
Student papers feedback:29 June, 2017
Submission for formal review:   2 August, 2017
Notification of acceptance: 3 November, 2017
Camera ready paper: 2 December, 2017


== PROGRAM COMMITTEE ==

Co-Chairs
Meng Wang   University of Kent (UK)
Scott Owens University of Kent (UK)

PC
Jeremy Yallop   University of Cambridge (UK)
Nicolas Wu  University of Bristol (UK)
Laura CastroUniversity of A Coruña (ES)
Gabriel Scherer Northeastern University (US)
Edwin Brady University of St Andrews (UK)
Janis Voigtländer   Radboud University Nijmegen (NL)
Peter AchtenRadboud University Nijmegen (NL)
Tom Schrijvers  KU Leuven (BE)
Matthew Fluet   Rochester Institute of Technology (US)
Mauro JaskelioffCIFASIS/Universidad Nacional de Rosario (AG)
Patricia Johann Appalachian State University (US)
Bruno Oliveira  The University of Hong Kong (HK)
Rita Loogen Philipps-Universität Marburg (GE)
David Van Horn  University of Marylan (US)
Soichiro Hidaka Hosei University (JP)
Michał PałkaChalmers University of Technology (SE)
Sandrine Blazy  University of Rennes 1 - IRISA (FR)


___
Chicken-users mailing list
Chicken-users@nongnu.org
https://lists.nongnu.org/mailman/listinfo/chicken-users

[Chicken-users] Final call for papers: Trends in Functional Programming, 19-21 june 2017, University of Kent, Canterbury

[Peter Achten]

 paper. It should also indicate which authors
are research students, and whether the main author(s) are students.  A
draft paper for which ALL authors are students will receive additional
feedback by one of the PC members shortly after the symposium has
taken place.

We use EasyChair for the refereeing process. Papers must be submitted at:

   https://easychair.org/conferences/?conf=tfp17

Papers must be written in English, and written using the LNCS
style. For more information about formatting please consult the
Springer LNCS web site:

http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0

== INVITED SPEAKERS ==
Conor McBride   University of Strathclyde (UK)
Cătălin Hriţcu  INRIA Paris (FR)


== IMPORTANT DATES ==

Submission of draft papers: 5 May, 2017
Notification:   12 May, 2017
Registration:   11 June, 2017
TFP Symposium:  19-21 June, 2017
Student papers feedback:29 June, 2017
Submission for formal review:   2 August, 2017
Notification of acceptance: 3 November, 2017
Camera ready paper: 2 December, 2017


== PROGRAM COMMITTEE ==

Co-Chairs
Meng Wang   University of Kent (UK)
Scott Owens University of Kent (UK)

PC
Jeremy Yallop   University of Cambridge (UK)
Nicolas Wu  University of Bristol (UK)
Laura CastroUniversity of A Coruña (ES)
Gabriel Scherer Northeastern University (US)
Edwin Brady University of St Andrews (UK)
Janis Voigtländer   Radboud University Nijmegen (NL)
Peter AchtenRadboud University Nijmegen (NL)
Tom Schrijvers  KU Leuven (BE)
Matthew Fluet   Rochester Institute of Technology (US)
Mauro JaskelioffCIFASIS/Universidad Nacional de Rosario (AG)
Patricia Johann Appalachian State University (US)
Bruno Oliveira  The University of Hong Kong (HK)
Rita Loogen Philipps-Universität Marburg (GE)
David Van Horn  University of Marylan (US)
Soichiro Hidaka Hosei University (JP)
Michał PałkaChalmers University of Technology (SE)
Sandrine Blazy  University of Rennes 1 - IRISA (FR)


___
Chicken-users mailing list
Chicken-users@nongnu.org
https://lists.nongnu.org/mailman/listinfo/chicken-users

[Chicken-users] final call for papers: Trends in Functional Programming, 11-13 june 2018, Chalmers Campus Johanneberg, Gothenburg - deadline extended -

[Peter Achten]

 for 
formal publication.



== Paper categories ==

Draft papers and papers submitted for formal review are submitted as 
extended
abstracts (4 to 10 pages in length) or full papers (20 pages). The 
submission must

clearly indicate which category it belongs to: research, position, project,
evaluation, or overview paper. It should also indicate which authors are 
research
students, and whether the main author(s) are students. A draft paper for 
which all
authors are students will receive additional feedback by one of the PC 
members

shortly after the symposium has taken place.


== Format ==

Papers must be written in English, and written using the LNCS style. For 
more

information about formatting please consult the Springer LNCS web site.


== Important Dates ==

Submission (pre-symposium review):   March 26, 2018  --  
passed  --
Submission (draft, post-symposium review):   May   11, 2018  -- 
extended --
Notification (pre- and post-symposium review):   May   13, 2018  -- 
extended --

Registration:    June   3, 2018
TFP Symposium:   June 11-13, 2018
TFPIE Workshop:  June   14, 2018
Student papers feedback: June   21, 2018
Submission (post-symposium review):  August 14, 2018
Notification (post-symposium review):    September 20, 2018
Camera-ready paper (pre- and post-symposium review): November 30, 2018


== Program Committee ==

Program Co-chairs
Michał Pałka,    Chalmers University of Technology (SE)
Magnus Myreen,    Chalmers University of Technology (SE)

Program Committee
Soichiro Hidaka,    Hosei University (JP)
Meng Wang,  University of Bristol (UK)
Sam Tobin-Hochstadt,    Indiana University Bloomington (US)
Tiark Rompf,    Purdue University (US)
Patricia Johann,    Appalachian State University (US)
Neil Sculthorpe,    Nottingham Trent University (UK)
Andres Löh, Well-Typed LLP (UK)
Tarmo Uustalu,  Tallinn University of Technology (EE)
Cosmin E. Oancea,   University of Copenhagen (DK)
Mauro Jaskelioff,   Universidad Nacional de Rosario (AR)
Peter Achten,   Radboud University (NL)
Dimitrios Vytiniotis,   Microsoft Research (UK)
Alberto Pardo,  Universidad de la República (UY)
Natalia Chechina,   University of Glasgow (UK)
Peter Sestoft,  IT University of Copenhagen (DK)
Scott Owens,    University of Kent (UK)

___
Chicken-users mailing list
Chicken-users@nongnu.org
https://lists.nongnu.org/mailman/listinfo/chicken-users

[Chicken-users] 1st call for papers: Trends in Functional Programming, 11-13 june 2018, Chalmers Campus Johanneberg, Gothenburg

[Peter Achten]

 and papers submitted for formal review are submitted as extended
abstracts (4 to 10 pages in length) or full papers (20 pages). The submission 
must
clearly indicate which category it belongs to: research, position, project,
evaluation, or overview paper. It should also indicate which authors are 
research
students, and whether the main author(s) are students. A draft paper for which 
all
authors are students will receive additional feedback by one of the PC members
shortly after the symposium has taken place.


== Format ==

Papers must be written in English, and written using the LNCS style. For more
information about formatting please consult the Springer LNCS web site.


== Important Dates ==

Submission (pre-symposium review):   March 26, 2018
Submission (draft, post-symposium review):   April 26, 2018
Notification (pre- and post-symposium review):   May3, 2018
Registration:June   3, 2018
TFP Symposium:   June 11-13, 2018
TFPIE Workshop:  June   14, 2018
Student papers feedback: June   21, 2018
Submission (post-symposium review):  August 14, 2018
Notification (post-symposium review):September 20, 2018
Camera-ready paper (pre- and post-symposium review): November  30, 2018


== Program Committee ==

Program Co-chairs
Michał Pałka,   Chalmers University of Technology (SE)
Magnus Myreen,  Chalmers University of Technology (SE)

Program Committee
Soichiro Hidaka,Hosei University (JP)
Meng Wang,  University of Bristol (UK)
Sam Tobin-Hochstadt,Indiana University Bloomington (US)
Tiark Rompf,Purdue University (US)
Patricia Johann,Appalachian State University (US)
Neil Sculthorpe,Nottingham Trent University (UK)
Andres Löh, Well-Typed LLP (UK)
Tarmo Uustalu,  Tallinn University of Technology (EE)
Cosmin E. Oancea,   University of Copenhagen (DK)
Mauro Jaskelioff,   Universidad Nacional de Rosario (AR)
Peter Achten,   Radboud University (NL)
Dimitrios Vytiniotis,   Microsoft Research (UK)
Alberto Pardo,  Universidad de la República (UY)
Natalia Chechina,   University of Glasgow (UK)
Peter Sestoft,  IT University of Copenhagen (DK)
Scott Owens,University of Kent (UK)


___
Chicken-users mailing list
Chicken-users@nongnu.org
https://lists.nongnu.org/mailman/listinfo/chicken-users

[Chicken-users] [TFPIE'19] Call for papers: Trends in Functional Programming in Education 2019, 11 June 2019, Vancouver, BC, CA

[Peter Achten]

TFPIE 2019 Call for papers
http://www.staff.science.uu.nl/~hage0101/tfpie2019/index.html
(June 11th, University of British Columbia, Vancouver Canada, co-located 
with TFP 2019)


TFPIE 2019 welcomes submissions describing techniques used in the 
classroom, tools used
in and/or developed for the classroom and any creative use of functional 
programming (FP)
to aid education in or outside Computer Science. Topics of interest 
include, but are not

limited to:

  FP and beginning CS students
  FP and Computational Thinking
  FP and Artificial Intelligence
  FP in Robotics
  FP and Music
  Advanced FP for undergraduates
  FP in graduate education
  Engaging students in research using FP
  FP in Programming Languages
  FP in the high school curriculum
  FP as a stepping stone to other CS topics
  FP and Philosophy
  The pedagogy of teaching FP
  FP and e-learning: MOOCs, automated assessment etc.
  Best Lectures Ð more details below

In addition to papers, we are requesting best lecture presentations. 
What's your
best lecture topic in an FP related course? Do you have a fun way to 
present FP

concepts to novices or perhaps an especially interesting presentation of a
difficult topic? In either case, please consider sharing it. Best 
lecture topics

will be selected for presentation based on a short abstract describing the
lecture and its interest to TFPIE attendees. The length of the presentation
should be comparable to that of a paper. On top of the lecture itself,
the presentation can also provide commentary on the lecture.

Submissions
Potential presenters are invited to submit an extended abstract (4-6 
pages) or a

draft paper (up to 16 pages) in EPTCS style. The authors of accepted
presentations will have their preprints and their slides made available 
on the
workshop's website. Papers and abstracts can be submitted via easychair 
at the

following link:

https://easychair.org/conferences/?conf=tfpie2019

After the workshop, presenters will be invited to submit (a revised 
version of)

their article for review. The PC will select the best articles that will be
published in the Electronic Proceedings in Theoretical Computer Science 
(EPTCS).
Articles rejected for presentation and extended abstracts will not be 
formally

reviewed by the PC.

Dates
Submission deadline:  May  14th 2019, Anywhere on Earth.
Notification: May  20th
Workshop: June 11th
Submission for formal review: August 18th 2019, Anywhere on Earth
Notification of full article: October 6th
Camera ready: November 1st


Program Committee

Alex Gerdes   - University of Gothenburg / Chalmers
Jurriaan Hage (Chair) - Utrecht University
Pieter Koopman    - Radboud University, the Netherlands
Elena Machkasova  - University of Minnesota, Morris, USA
Heather Miller    - Carnegie Mellon University and EPFL Lausanne
Prabhakar Ragde   - University of Waterloo, Waterloo, Ontario, Canada
Simon Thompson    - University of Kent, UK
Sharon Tuttle - Humboldt State University, Arcata, USA

Note: information on TFP is available at https://www.tfp2019.org/index.html



___
Chicken-users mailing list
Chicken-users@nongnu.org
https://lists.nongnu.org/mailman/listinfo/chicken-users

[Chicken-users] [TFP'19] first call for papers: Trends in Functional Programming 2019, 12-14 June 2019, Vancouver, BC, CA (corrected dates and instructions)

[Peter Achten]

 ---
   C A L L  F O R  P A P E R S
 ---

  == TFP 2019 ==

  20th Symposium on Trends in Functional Programming
   12-14 June, 2019
  Vancouver, BC, CA
  https://www.tfp2019.org/index.html


== Important Dates ==

Submission Deadline for pre-symposium formal review    Thursday, March 
28, 2019

Sumbission Deadline for Draft Papers   Thursday, May 9, 2019
Notification for pre-symposium submissions Thursday, May 2, 2019
Notification for Draft Papers  Tuesday, May 14, 1029
TFPIE  Tuesday, June 11, 
2019

Symposium Wednesday, June 12, 2019 – Friday, June 14, 2019
Notification of Student Paper Feedback Friday June 21, 2019
Submission Deadline for revised Draft Papers (post-symposium formal review)
   Thursday, August 
1, 2019
Notification for post-symposium submissions    Thursday, October 
24, 2019
Camera Ready Deadline (both pre- and post-symposium)   Friday, November 
29, 2019



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 (see 
below at scope).


Please be aware that TFP uses two distinct rounds of submissions (see 
below at submission

details).

TFP 2019 will be the main event of a pair of functional programming 
events. TFP 2019
will be accompanied by the International Workshop on Trends in 
Functional Programming

in Education (TFPIE), which will take place on June 11.


== Scope ==

The symposium recognizes that new trends may arise through various 
routes. As part of
the Symposium's focus on trends we therefore identify the following five 
article

categories. High-quality articles are solicited in any of these categories:

    Research Articles:
    Leading-edge, previously unpublished research work
    Position Articles:
    On what new trends should or should not be
    Project Articles:
    Descriptions of recently started new projects
    Evaluation Articles:
    What lessons can be drawn from a finished project
    Overview Articles:
    Summarizing work with respect to a trendy subject

Articles must be original and not simultaneously submitted for 
publication to any
other forum. They may consider any aspect of functional programming: 
theoretical,
implementation-oriented, or experience-oriented. Applications of 
functional programming

techniques to other languages are also within the scope of the symposium.

Topics suitable for the symposium include, but are not limited to:

    Functional programming and multicore/manycore computing
    Functional programming in the cloud
    High performance functional computing
    Extra-functional (behavioural) properties of functional programs
    Dependently typed functional programming
    Validation and verification of functional programs
    Debugging and profiling for functional languages
    Functional programming in different application areas:
    security, mobility, telecommunications applications, embedded
    systems, global computing, grids, etc.
    Interoperability with imperative programming languages
    Novel memory management techniques
    Program analysis and transformation techniques
    Empirical performance studies
    Abstract/virtual machines and compilers for functional languages
    (Embedded) domain specific languages
    New implementation strategies
    Any new emerging trend in the functional programming area

If you are in doubt on whether your article is within the scope of TFP, 
please contact

the TFP 2019 program chairs, William J. Bowman and Ron Garcia.


== Best Paper Awards ==

To reward excellent contributions, TFP awards a prize for the best paper 
accepted for

the formal proceedings.

TFP traditionally pays special attention to research students, 
acknowledging that
students are almost by definition part of new subject trends. A student 
paper is one
for which the authors state that the paper is mainly the work of 
students, the students
are listed as first authors, and a student would present the paper. A 
prize for the

best student paper is awarded each year.

In both cases, it is the PC of TFP that awards the prize. In case the 
best paper happens

to be a student paper, that paper will then receive both prizes.


== Instructions to Author ==

Papers must be submitted at:

    https://easychair.org/conferences/?conf=tfp2019

Authors of papers have the choice of having their contributions formally 
reviewed either

before or after the 

[Chicken-users] [TFP'19] first call for papers: Trends in Functional Programming 2019, 12-14 June 2019, Vancouver, BC, CA

[Peter Achten]

 ---
   C A L L  F O R  P A P E R S
 ---

  == TFP 2019 ==

  20th Symposium on Trends in Functional Programming
   12-14 June, 2019
  Vancouver, BC, CA
  https://www.tfp2019.org/index.html


== Important Dates ==

Submission Deadline    Thursday, March 28, 2019
Paper Notification Thursday, May 2, 2019
TFPIE  Tuesday, June 11, 2019
Symposium  Wednesday, June 12, 2019 – Friday, June 
14, 2019

Student Paper Feedback Friday June 21, 2019
Submission for Formal Review   Thursday, August 1, 2019
Notification of Acceptance Thursday, October 24, 2019
Camera Ready   Friday, November 29, 2019


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 (see
below at scope).

Please be aware that TFP uses two distinct rounds of submissions (see
below at submission details).

TFP 2019 will be the main event of a pair of functional programming
events. TFP 2019 will be accompanied by the International Workshop on
Trends in Functional Programming in Education (TFPIE), which will take
place on June 11.


== Scope ==

The symposium recognizes that new trends may arise through various 
routes. As part of the Symposium's focus on trends we therefore identify 
the following five article categories. High-quality articles are 
solicited in any of these categories:


    Research Articles:
    Leading-edge, previously unpublished research work
    Position Articles:
    On what new trends should or should not be
    Project Articles:
    Descriptions of recently started new projects
    Evaluation Articles:
    What lessons can be drawn from a finished project
    Overview Articles:
    Summarizing work with respect to a trendy subject

Articles must be original and not simultaneously submitted for 
publication to any other forum. They may consider any aspect of 
functional programming: theoretical, implementation-oriented, or 
experience-oriented. Applications of functional programming techniques 
to other languages are also within the scope of the symposium.


Topics suitable for the symposium include, but are not limited to:

    Functional programming and multicore/manycore computing
    Functional programming in the cloud
    High performance functional computing
    Extra-functional (behavioural) properties of functional programs
    Dependently typed functional programming
    Validation and verification of functional programs
    Debugging and profiling for functional languages
    Functional programming in different application areas:
    security, mobility, telecommunications applications, embedded
    systems, global computing, grids, etc.
    Interoperability with imperative programming languages
    Novel memory management techniques
    Program analysis and transformation techniques
    Empirical performance studies
    Abstract/virtual machines and compilers for functional languages
    (Embedded) domain specific languages
    New implementation strategies
    Any new emerging trend in the functional programming area

If you are in doubt on whether your article is within the scope of TFP, 
please contact the TFP 2019 program chairs, William J. Bowman and Ron 
Garcia.



== Best Paper Awards ==

To reward excellent contributions, TFP awards a prize for the best paper
accepted for the formal proceedings.

TFP traditionally pays special attention to research students, 
acknowledging
that students are almost by definition part of new subject trends. A 
student
paper is one for which the authors state that the paper is mainly the 
work of
students, the students are listed as first authors, and a student would 
present

the paper. A prize for the best student paper is awarded each year.

In both cases, it is the PC of TFP that awards the prize. In case the best
paper happens to be a student paper, that paper will then receive both 
prizes.



== Instructions to Author ==

Papers must be submitted at:

    https://easychair.org/conferences/?conf=tfp2019

Authors of papers have the choice of having their contributions formally 
reviewed either before or after the Symposium.



== Pre-symposium formal review ==

Papers to be formally reviewed before the symposium should be submitted 
before an early deadline and receive their reviews and notification of 
acceptance for both presentation and publication before the symposium. A 
paper that has been rejected in this process may still be accepted for 
presentation at the symposium, but will not be 

[Chicken-users] [TFP'19] second call for papers: Trends in Functional Programming 2019, 12-14 June 2019, Vancouver, BC, CA

[Peter Achten]

   2 N D  C A L L  F O R  P A P E R S


  == TFP 2019 ==

  20th Symposium on Trends in Functional Programming
   12-14 June, 2019
  Vancouver, BC, CA
  https://www.tfp2019.org/index.html


== Important Dates ==

Submission Deadline for pre-symposium formal reviewThursday, March 28, 2019
Sumbission Deadline for Draft Papers   Thursday, May 9, 2019
Notification for pre-symposium submissions Thursday, May 2, 2019
Notification for Draft Papers  Tuesday, May 14, 1029
TFPIE  Tuesday, June 11, 2019
Symposium  Wednesday, June 12, 2019 
– Friday, June 14, 2019
Notification of Student Paper Feedback Friday June 21, 2019
Submission Deadline for revised Draft Papers (post-symposium formal review)
   Thursday, August 1, 2019
Notification for post-symposium submissionsThursday, October 24, 
2019
Camera Ready Deadline (both pre- and post-symposium)   Friday, November 29, 2019


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 (see below 
at scope).

Please be aware that TFP uses two distinct rounds of submissions (see below at 
submission
details).

TFP 2019 will be the main event of a pair of functional programming events. TFP 
2019
will be accompanied by the International Workshop on Trends in Functional 
Programming
in Education (TFPIE), which will take place on June 11.


== Scope ==

The symposium recognizes that new trends may arise through various routes. As 
part of
the Symposium's focus on trends we therefore identify the following five article
categories. High-quality articles are solicited in any of these categories:

Research Articles:
Leading-edge, previously unpublished research work
Position Articles:
On what new trends should or should not be
Project Articles:
Descriptions of recently started new projects
Evaluation Articles:
What lessons can be drawn from a finished project
Overview Articles:
Summarizing work with respect to a trendy subject

Articles must be original and not simultaneously submitted for publication to 
any
other forum. They may consider any aspect of functional programming: 
theoretical,
implementation-oriented, or experience-oriented. Applications of functional 
programming
techniques to other languages are also within the scope of the symposium.

Topics suitable for the symposium include, but are not limited to:

Functional programming and multicore/manycore computing
Functional programming in the cloud
High performance functional computing
Extra-functional (behavioural) properties of functional programs
Dependently typed functional programming
Validation and verification of functional programs
Debugging and profiling for functional languages
Functional programming in different application areas:
security, mobility, telecommunications applications, embedded
systems, global computing, grids, etc.
Interoperability with imperative programming languages
Novel memory management techniques
Program analysis and transformation techniques
Empirical performance studies
Abstract/virtual machines and compilers for functional languages
(Embedded) domain specific languages
New implementation strategies
Any new emerging trend in the functional programming area

If you are in doubt on whether your article is within the scope of TFP, please 
contact
the TFP 2019 program chairs, William J. Bowman and Ron Garcia.


== Best Paper Awards ==

To reward excellent contributions, TFP awards a prize for the best paper 
accepted for
the formal proceedings.

TFP traditionally pays special attention to research students, acknowledging 
that
students are almost by definition part of new subject trends. A student paper 
is one
for which the authors state that the paper is mainly the work of students, the 
students
are listed as first authors, and a student would present the paper. A prize for 
the
best student paper is awarded each year.

In both cases, it is the PC of TFP that awards the prize. In case the best 
paper happens
to be a student paper, that paper will then receive both prizes.


== Instructions to Author ==

Papers must be submitted at:

https://easychair.org/conferences/?conf=tfp2019

Authors of papers have the choice of having their contributions formally 

[Chicken-users] [TFP'19 and TFPIE'19] call for participation

[Peter Achten]

    -
    C A L L  F O R  P A R T I C I P A T I O N
    -

    == TFP 2019 ==

    20th Symposium on Trends in Functional Programming
 12-14 June, 2019
    Vancouver, BC, CA
    https://www.tfp2019.org/index.html


   == TFPIE 2019 ==

   8th International Workshop on Trends in Functional Programming in 
Education

 11 June, 2019
   Vancouver, BC, CA
http://www.staff.science.uu.nl/~hage0101/tfpie2019/index.html




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 (see 
below at scope).


Please be aware that TFP uses two distinct rounds of submissions (see 
below at submission

details).

TFP 2019 will be the main event of a pair of functional programming 
events. TFP 2019
will be accompanied by the International Workshop on Trends in 
Functional Programming

in Education (TFPIE), which will take place on June 11.


== Invited Speakers ==

TFP 2019 is pleased to announce keynote talks by the following two 
invited speakers:


Nikhil Swamy, Microsoft Research: Structuring the Verification of 
Imperative Programs with

  Functional Programming

Frank Wood, University of British Columbia: Probabilistic Programming


TFPIE 2019 is pleased to have the following invited speaker:

Gregor Kiczales: Functional Programming at the Core of a High Throughput 
Software

 Engineering Curriculum


== Scope ==

The symposium recognizes that new trends may arise through various 
routes. As part of
the Symposium's focus on trends we therefore identify the following five 
article

categories. High-quality articles are solicited in any of these categories:

    Research Articles:
    Leading-edge, previously unpublished research work
    Position Articles:
    On what new trends should or should not be
    Project Articles:
    Descriptions of recently started new projects
    Evaluation Articles:
    What lessons can be drawn from a finished project
    Overview Articles:
    Summarizing work with respect to a trendy subject

Articles must be original and not simultaneously submitted for 
publication to any
other forum. They may consider any aspect of functional programming: 
theoretical,
implementation-oriented, or experience-oriented. Applications of 
functional programming

techniques to other languages are also within the scope of the symposium.

Topics suitable for the symposium include, but are not limited to:

    Functional programming and multicore/manycore computing
    Functional programming in the cloud
    High performance functional computing
    Extra-functional (behavioural) properties of functional programs
    Dependently typed functional programming
    Validation and verification of functional programs
    Debugging and profiling for functional languages
    Functional programming in different application areas:
    security, mobility, telecommunications applications, embedded
    systems, global computing, grids, etc.
    Interoperability with imperative programming languages
    Novel memory management techniques
    Program analysis and transformation techniques
    Empirical performance studies
    Abstract/virtual machines and compilers for functional languages
    (Embedded) domain specific languages
    New implementation strategies
    Any new emerging trend in the functional programming area

If you are in doubt on whether your article is within the scope of TFP, 
please contact

the TFP 2019 program chairs, William J. Bowman and Ron Garcia.


== Best Paper Awards ==

To reward excellent contributions, TFP awards a prize for the best paper 
accepted for

the formal proceedings.

TFP traditionally pays special attention to research students, 
acknowledging that
students are almost by definition part of new subject trends. A student 
paper is one
for which the authors state that the paper is mainly the work of 
students, the students
are listed as first authors, and a student would present the paper. A 
prize for the

best student paper is awarded each year.

In both cases, it is the PC of TFP that awards the prize. In case the 
best paper happens

to be a student paper, that paper will then receive both prizes.


== Instructions to Author ==

Papers must be submitted at:

    https://easychair.org/conferences/?conf=tfp2019

Authors of papers have the choice of having their contributions formally 
reviewed either

before or after 

[Chicken-users] [TFP'19] final call for papers (deadline extension): Trends in Functional Programming 2019, 12-14 June 2019, Vancouver, BC, CA

[Peter Achten]

  
   F I N A L  C A L L  F O R  P A P E R S
  

  == TFP 2019 ==

  20th Symposium on Trends in Functional Programming
   12-14 June, 2019
  Vancouver, BC, CA
  https://www.tfp2019.org/index.html


== Important Dates ==

Sumbission Deadline for Draft Papers   Thursday,   May 16, 2019 
** extended deadline **
Notification for Draft Papers  Tuesday,May 21, 2019 
** extended deadline **
TFPIE  Tuesday,   June 11, 2019
Symposium  Wednesday, June 12, 2019 
– Friday, June 14, 2019
Notification of Student Paper Feedback Friday June 21, 2019
Submission Deadline for revised Draft Papers (post-symposium formal review)
   Thursday,  August  1,  
2019
Notification for post-symposium submissionsThursday,  October 24, 
2019
Camera Ready Deadline (both pre- and post-symposium)   Friday,   November 29, 
2019


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 (see below 
at scope).

Please be aware that TFP uses two distinct rounds of submissions (see below at 
submission
details).

TFP 2019 will be the main event of a pair of functional programming events. TFP 
2019
will be accompanied by the International Workshop on Trends in Functional 
Programming
in Education (TFPIE), which will take place on June 11.


== Scope ==

The symposium recognizes that new trends may arise through various routes. As 
part of
the Symposium's focus on trends we therefore identify the following five article
categories. High-quality articles are solicited in any of these categories:

Research Articles:
Leading-edge, previously unpublished research work
Position Articles:
On what new trends should or should not be
Project Articles:
Descriptions of recently started new projects
Evaluation Articles:
What lessons can be drawn from a finished project
Overview Articles:
Summarizing work with respect to a trendy subject

Articles must be original and not simultaneously submitted for publication to 
any
other forum. They may consider any aspect of functional programming: 
theoretical,
implementation-oriented, or experience-oriented. Applications of functional 
programming
techniques to other languages are also within the scope of the symposium.

Topics suitable for the symposium include, but are not limited to:

Functional programming and multicore/manycore computing
Functional programming in the cloud
High performance functional computing
Extra-functional (behavioural) properties of functional programs
Dependently typed functional programming
Validation and verification of functional programs
Debugging and profiling for functional languages
Functional programming in different application areas:
security, mobility, telecommunications applications, embedded
systems, global computing, grids, etc.
Interoperability with imperative programming languages
Novel memory management techniques
Program analysis and transformation techniques
Empirical performance studies
Abstract/virtual machines and compilers for functional languages
(Embedded) domain specific languages
New implementation strategies
Any new emerging trend in the functional programming area

If you are in doubt on whether your article is within the scope of TFP, please 
contact
the TFP 2019 program chairs, William J. Bowman and Ron Garcia.


== Best Paper Awards ==

To reward excellent contributions, TFP awards a prize for the best paper 
accepted for
the formal proceedings.

TFP traditionally pays special attention to research students, acknowledging 
that
students are almost by definition part of new subject trends. A student paper 
is one
for which the authors state that the paper is mainly the work of students, the 
students
are listed as first authors, and a student would present the paper. A prize for 
the
best student paper is awarded each year.

In both cases, it is the PC of TFP that awards the prize. In case the best 
paper happens
to be a student paper, that paper will then receive both prizes.


== Instructions to Author ==

Papers must be submitted at:

https://easychair.org/conferences/?conf=tfp2019

Authors of papers have the choice of having their contributions formally 
reviewed either
before or after the Symposium.


== Pre-symposium formal review ==

[Chicken-users] [TFPIE'19] Final call for papers: Trends in Functional Programming in Education 2019, 11 June 2019, Vancouver, BC, CA

[Peter Achten]

TFPIE 2019 Call for papers
http://www.staff.science.uu.nl/~hage0101/tfpie2019/index.html
(June 11th, University of British Columbia, Vancouver Canada, co-located with 
TFP 2019)

TFPIE 2019 welcomes submissions describing techniques used in the classroom, 
tools used
in and/or developed for the classroom and any creative use of functional 
programming (FP)
to aid education in or outside Computer Science. Topics of interest include, 
but are not
limited to:

  FP and beginning CS students
  FP and Computational Thinking
  FP and Artificial Intelligence
  FP in Robotics
  FP and Music
  Advanced FP for undergraduates
  FP in graduate education
  Engaging students in research using FP
  FP in Programming Languages
  FP in the high school curriculum
  FP as a stepping stone to other CS topics
  FP and Philosophy
  The pedagogy of teaching FP
  FP and e-learning: MOOCs, automated assessment etc.
  Best Lectures - more details below

In addition to papers, we are requesting best lecture presentations. What's your
best lecture topic in an FP related course? Do you have a fun way to present FP
concepts to novices or perhaps an especially interesting presentation of a
difficult topic? In either case, please consider sharing it. Best lecture topics
will be selected for presentation based on a short abstract describing the
lecture and its interest to TFPIE attendees. The length of the presentation
should be comparable to that of a paper. On top of the lecture itself,
the presentation can also provide commentary on the lecture.

Submissions
Potential presenters are invited to submit an extended abstract (4-6 pages) or a
draft paper (up to 16 pages) in EPTCS style. The authors of accepted
presentations will have their preprints and their slides made available on the
workshop's website. Papers and abstracts can be submitted via easychair at the
following link:

https://easychair.org/conferences/?conf=tfpie2019

After the workshop, presenters will be invited to submit (a revised version of)
their article for review. The PC will select the best articles that will be
published in the Electronic Proceedings in Theoretical Computer Science (EPTCS).
Articles rejected for presentation and extended abstracts will not be formally
reviewed by the PC.

Dates
Submission deadline:  May14th 2019, Anywhere on Earth.
Notification: May20th
Workshop: June   11th
Submission for formal review: August 18th 2019, Anywhere on Earth
Notification of full article: October 6th
Camera ready: November 1st


Program Committee

Alex Gerdes   - University of Gothenburg / Chalmers
Jurriaan Hage (Chair) - Utrecht University
Pieter Koopman- Radboud University, the Netherlands
Elena Machkasova  - University of Minnesota, Morris, USA
Heather Miller- Carnegie Mellon University and EPFL Lausanne
Prabhakar Ragde   - University of Waterloo, Waterloo, Ontario, Canada
Simon Thompson- University of Kent, UK
Sharon Tuttle - Humboldt State University, Arcata, USA

Note: information on TFP is available at https://www.tfp2019.org/index.html

___
Chicken-users mailing list
Chicken-users@nongnu.org
https://lists.nongnu.org/mailman/listinfo/chicken-users

[Chicken-users] [TFP'20] first call for papers: Trends in Functional Programming 2020, 13-14 February, Krakow, Poland

[Peter Achten]

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

___
Chicken-users mailing list
Chicken-users@nongnu.org
https://lists.nongnu.org/mailman/listinfo/chicken-users

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

[Peter Achten]

-
 Third 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://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.

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

[Peter Achten]

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

___
Chicken-users mailing list
Chicken-users@nongnu.org
https://lists.nongnu.org/mailman/listinfo/chicken-users

[TFP'20] call for participation: Trends in Functional Programming 2020, 13-14 February, Krakow, Poland

[Peter Achten]

-
    Call for participation
    21st Symposium on Trends in Functional Programming
  tfp2020.org
-

The list of accepted papers is available at 
http://www.cse.chalmers.se/~rjmh/tfp/


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

Registration (regular): 2nd February,    2020
Registration (late):    13th February,    2020
Symposium dates:    13-14th February, 2020

Visit tfp2020.org for more information.

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

[Peter Achten]

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

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

[TFPIE'21] First Call For Papers: Trends in Functional Programming *in Education* 2021, 16 February (with Lambda Days 2021 & TFP 2021)

[Peter Achten]

   TFPIE 2021 Call for papers

https://wiki.tfpie.science.ru.nl/TFPIE2021#TFPIE_2021
(February 16 2021, co-organized with TFP 2021 and Lambda Days 2021)

The goal of the International Workshops on Trends in Functional 
Programming in
Education is to gather researchers, professors, teachers, and all 
professionals
that use or are interested in the use of functional programming in 
education.
TFPIE aims to be a venue where novel ideas, classroom-tested ideas, and 
work in
progress on the use of functional programming in education are 
discussed. The

one-day workshop will foster a spirit of open discussion by having a review
process for publication after the workshop.

TFPIE 2021 welcomes submissions in the above mentioned areas. This year 
many
teaching programmes have had to make a rapid transition to online 
teaching, and

we explicitly solicit papers that explore this area of teaching functional
programming.

Topics of interest include, but are not limited to:
-  FP and beginning CS students
-  FP and Computational Thinking
-  FP and Artificial Intelligence
-  FP in Robotics
-  FP and Music
-  Advanced FP for undergraduates
-  FP in graduate education
-  Engaging students in research using FP
-  FP in Programming Languages
-  FP in the high school curriculum
-  FP as a stepping stone to other CS topics
-  FP and Philosophy
-  The pedagogy of teaching FP
-  FP and e-learning: MOOCs, automated assessment etc.
-  Best Lectures - more details below

In addition to papers, we are requesting best lecture presentations. 
What's your
best lecture topic in an FP related course? Do you have a fun way to 
present FP

concepts to novices or perhaps an especially interesting presentation of a
difficult topic? In either case, please consider sharing it. Best 
lecture topics

will be selected for presentation based on a short abstract describing the
lecture and its interest to TFPIE attendees. The length of the presentation
should be comparable to that of a paper. On top of the lecture itself,
the presentation can also provide commentary on the lecture.

Submissions
Potential presenters are invited to submit an extended abstract (4-6 
pages) or a

draft paper (up to 20 pages) in EPTCS style. The authors of accepted
presentations will have their preprints and their slides made available 
on the
workshop's website. Papers and abstracts can be submitted via easychair 
at the

following link:

https://easychair.org/conferences/?conf=tfpie2021

After the workshop, presenters are invited to submit (a revised version of)
their article for review. The PC will select the best articles. We plan to
publish them in the Electronic Proceedings in Theoretical Computer 
Science (EPTCS).
Articles rejected for presentation and extended abstracts will not be 
formally

reviewed by the PC.

Dates
-  Submission deadline: January 11 2021, Anywhere on Earth.
-  Notification: January 15 2021
-  Workshop: February 16 2021
-  Submission for formal review: April 20 2021, Anywhere on Earth.
-  Notification of full article: June 7 2021
-  Camera ready: July 1st 2021

Program Committee (under construction)
- Peter Achten,    Radboud University, Netherlands (chair)
- Edwin Brady, University of St Andrews, UK
- Laura Castro,    Universidade da Coruña, Spain
- Stephen Chang,   University of Massachusetts Boston, USA
- Youyou Cong, Tokyo Institute of Technology, Japan
- Matthew Flatt,   University of Utah, USA
- Alex Gerdes, University of Gothenburg, Sweden
- Prabhakar Ragde, University of Waterloo, Canada
- Melinda Tóth,    Eötvös Loránd University, Hungary

Registration
TFPIE is part of Lambda Days. Please visit the Lambda Days 2021 pages 
when registration

information becomes available.

Registration is mandatory for at least one author of every paper that is
presented at the workshop. Only papers that have been presented at TFPIE 
may be

submitted to the post-reviewing process.

Information on Lambda Days is available at 
https://www.lambdadays.org/lambdadays2021

Information on TFP is available at http://tfp2021.org

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

[TFPIE'21] Second Call For Papers: Trends in Functional Programming *in Education* 2021, 16 February 2021 (with Lambda Days 2021 & TFP 2021)

[Peter Achten]

---
   TFPIE 2021 2nd Call for papers
---
https://wiki.tfpie.science.ru.nl/TFPIE2021#TFPIE_2021
(February 16 2021, co-organized with TFP 2021 and Lambda Days 2021)

Because of the covid pandemic, the events are online this year.

The goal of the International Workshops on Trends in Functional 
Programming in
Education is to gather researchers, professors, teachers, and all 
professionals
that use or are interested in the use of functional programming in 
education.
TFPIE aims to be a venue where novel ideas, classroom-tested ideas, and 
work in
progress on the use of functional programming in education are 
discussed. The

one-day workshop will foster a spirit of open discussion by having a review
process for publication after the workshop.

TFPIE 2021 welcomes submissions in the above mentioned areas. This year 
many
teaching programmes have had to make a rapid transition to online 
teaching, and

we explicitly solicit papers that explore this area of teaching functional
programming.

Topics of interest include, but are not limited to:
-  FP and beginning CS students
-  FP and Computational Thinking
-  FP and Artificial Intelligence
-  FP in Robotics
-  FP and Music
-  Advanced FP for undergraduates
-  FP in graduate education
-  Engaging students in research using FP
-  FP in Programming Languages
-  FP in the high school curriculum
-  FP as a stepping stone to other CS topics
-  FP and Philosophy
-  The pedagogy of teaching FP
-  FP and e-learning: MOOCs, automated assessment etc.
-  Best Lectures - more details below

In addition to papers, we are requesting best lecture presentations. 
What's your
best lecture topic in an FP related course? Do you have a fun way to 
present FP

concepts to novices or perhaps an especially interesting presentation of a
difficult topic? In either case, please consider sharing it. Best 
lecture topics

will be selected for presentation based on a short abstract describing the
lecture and its interest to TFPIE attendees. The length of the presentation
should be comparable to that of a paper. On top of the lecture itself,
the presentation can also provide commentary on the lecture.

Submissions
Potential presenters are invited to submit an extended abstract (4-6 
pages) or a

draft paper (up to 20 pages) in EPTCS style. The authors of accepted
presentations will have their preprints and their slides made available 
on the
workshop's website. Papers and abstracts can be submitted via easychair 
at the

following link:

https://easychair.org/conferences/?conf=tfpie2021

After the workshop, presenters are invited to submit (a revised version of)
their article for review. The PC will select the best articles for 
publication

in the Electronic Proceedings in Theoretical Computer Science (EPTCS).
Articles rejected for presentation and extended abstracts will not be 
formally

reviewed by the PC.

Dates
-  Submission deadline: January 11 2021, Anywhere on Earth.
-  Notification: January 15 2021
-  Workshop: February 16 2021
-  Submission for formal review: April 20 2021, Anywhere on Earth.
-  Notification of full article: June 7 2021
-  Camera ready: July 1st 2021

Program Committee
- Peter Achten,    Radboud University, Netherlands (chair)
- Edwin Brady, University of St Andrews, UK
- Laura Castro,    Universidade da Coruña, Spain
- Stephen Chang,   University of Massachusetts Boston, USA
- Youyou Cong, Tokyo Institute of Technology, Japan
- Matthew Flatt,   University of Utah, USA
- Seth Fogarty,    Trinity University, USA
- Alex Gerdes, University of Gothenburg, Sweden
- Gabriele Keller, Utrecht University, Netherlands
- Prabhakar Ragde, University of Waterloo, Canada
- Melinda Tóth,    Eötvös Loránd University, Budapest, Hungary

Registration
TFPIE is part of Lambda Days. Please visit the Lambda Days 2021 pages 
when registration

information becomes available.

Only papers that have been presented at TFPIE may be submitted to the 
post-reviewing

process.

Information on Lambda Days is available at 
https://www.lambdadays.org/lambdadays2021

Information on TFP is available at http://tfp2021.org

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

[Peter Achten]

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

[Lambda Days + TFP + TFPIE 2021] call for participation

[Peter Achten]

---
  C A L L  F O R  P A R T I C I P A T I O N

   8th Lambda Days
  +
 10th International Workshop on Trends in Functional Programming in 
Education

  +
   22nd Symposium on Trends in Functional Programming

 16 - 19 February 2021

   https://www.lambdadays.org/lambdadays2021
---

The programmes for Lambda Days, TFPIE, and TFP are online:
- Lambda Days overall program at: https://www.lambdadays.org/lambdadays2021
- TFPIE  specific program at: https://wiki.tfpie.science.ru.nl/TFPIE2021
- TFP    specific program at: http://tfp2021.org/
(all times are in Central European Time Zone: 12.00:18.00 (CEST))

Lambda Days is a place where academia meets industry, where research and 
practical

application collide.

Once again Lambda Days joins forces with Trends in Functional 
Programming (TFP) and
Trends in Functional Programming in Education (TFPiE) so that for four 
days you can

be at the centre of the functional programming world.

The program has a lot of interesting talks, possibilities for 
interaction, and a host

of keynote presentations:

Lambda Days keynote speakers:
-
Perdita Stevens, Pat Hannahan, Simon Peyton Jones, Andy Gordon, Philip 
Wadler.


Trends in Functional Programming in Education keynote speakers:
---
Francesco Cesarini, Simon Thompson, and Bartosz Milewski.

Trends in Functional Programming keynote speaker:
-
Zhenjiang Hu.

Thanks to a generous sponsor, TFP has a limited number of free tickets 
for PhD, Msc,
Bsc students with an interest in functional programming. To apply, send 
a mail to
the program chair of TFP, Viktória Zsók (z...@elte.hu) with your name, 
university,
2-3 lines of motivation, and a valid student card photo to get the 
registration code.

Tickets will be delivered in the order of application.

[TFPIE'21] Third and Final Call For Papers: Trends in Functional Programming *in Education* 2021, 16 February 2021 (with Lambda Days 2021 & TFP 2021)

[Peter Achten]

--
   TFPIE 2021 3rd and Final Call for papers
--

***
-  Submission deadline: January 11 2021, Anywhere on Earth.
***

https://wiki.tfpie.science.ru.nl/TFPIE2021#TFPIE_2021
(February 16 2021, co-organized with TFP 2021 and Lambda Days 2021)

Because of the covid pandemic, the events are online this year.

The goal of the International Workshops on Trends in Functional 
Programming in
Education is to gather researchers, professors, teachers, and all 
professionals
that use or are interested in the use of functional programming in 
education.
TFPIE aims to be a venue where novel ideas, classroom-tested ideas, and 
work in
progress on the use of functional programming in education are 
discussed. The

one-day workshop will foster a spirit of open discussion by having a review
process for publication after the workshop.

TFPIE 2021 welcomes submissions in the above mentioned areas. This year 
many
teaching programmes have had to make a rapid transition to online 
teaching, and

we explicitly solicit papers that explore this area of teaching functional
programming.

Topics of interest include, but are not limited to:
-  FP and beginning CS students
-  FP and Computational Thinking
-  FP and Artificial Intelligence
-  FP in Robotics
-  FP and Music
-  Advanced FP for undergraduates
-  FP in graduate education
-  Engaging students in research using FP
-  FP in Programming Languages
-  FP in the high school curriculum
-  FP as a stepping stone to other CS topics
-  FP and Philosophy
-  The pedagogy of teaching FP
-  FP and e-learning: MOOCs, automated assessment etc.
-  Best Lectures - more details below

In addition to papers, we are requesting best lecture presentations. 
What's your
best lecture topic in an FP related course? Do you have a fun way to 
present FP

concepts to novices or perhaps an especially interesting presentation of a
difficult topic? In either case, please consider sharing it. Best 
lecture topics

will be selected for presentation based on a short abstract describing the
lecture and its interest to TFPIE attendees. The length of the presentation
should be comparable to that of a paper. On top of the lecture itself,
the presentation can also provide commentary on the lecture.

Submissions
Potential presenters are invited to submit an extended abstract (4-6 
pages) or a

draft paper (up to 20 pages) in EPTCS style. The authors of accepted
presentations will have their preprints and their slides made available 
on the
workshop's website. Papers and abstracts can be submitted via easychair 
at the

following link:

https://easychair.org/conferences/?conf=tfpie2021

After the workshop, presenters are invited to submit (a revised version of)
their article for review. The PC will select the best articles for 
publication

in the Electronic Proceedings in Theoretical Computer Science (EPTCS).
Articles rejected for presentation and extended abstracts will not be 
formally

reviewed by the PC.

Dates
-  Submission deadline: January 11 2021, Anywhere on Earth.
-  Notification: January 15 2021
-  Workshop: February 16 2021
-  Submission for formal review: April 20 2021, Anywhere on Earth.
-  Notification of full article: June 7 2021
-  Camera ready: July 1st 2021

Program Committee
- Peter Achten,    Radboud University, Netherlands (chair)
- Edwin Brady, University of St Andrews, UK
- Laura Castro,    Universidade da Coruña, Spain
- Stephen Chang,   University of Massachusetts Boston, USA
- Youyou Cong, Tokyo Institute of Technology, Japan
- Matthew Flatt,   University of Utah, USA
- Seth Fogarty,    Trinity University, USA
- Alex Gerdes, University of Gothenburg, Sweden
- Gabriele Keller, Utrecht University, Netherlands
- Prabhakar Ragde, University of Waterloo, Canada
- Melinda Tóth,    Eötvös Loránd University, Budapest, Hungary

Registration
TFPIE is part of Lambda Days. Please visit the Lambda Days 2021 pages 
when registration

information becomes available.

Only papers that have been presented at TFPIE may be submitted to the 
post-reviewing

process.

Information on Lambda Days is available at 
https://www.lambdadays.org/lambdadays2021

Information on TFP is available at http://tfp2021.org

[TFP'22] first call for papers: Trends in Functional Programming 2022, 10-11 February (with Lambda Days 2022 & TFPIE 2022)

[Peter Achten]

== TFP 2022 ==

23rd Symposium on Trends in Functional Programming
10-11 February, 2022
Krakow, Poland
https://trendsfp.github.io/index.html


== Important Dates ==

Submission deadline for pre-symposium review    Wednesday 1st 
December, 2021
Submission deadline for draft papers    Wednesday 12th 
January, 2022
Notification for pre-symposium submissions  Friday 21st 
January, 2022
Notification for draft submissions  Friday 21st 
January, 2022
Symposium dates Thursday 10th - 
Friday 11th February, 2022
Submission deadline for post-symposium reviewing    Wednesday 16th 
March, 2022
Notification for post-symposium submissions Friday 13rd May, 
2022


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.

Please be aware that TFP uses two distinct rounds of submissions.

TFP 2022 will be co-located with two other functional programming
events. TFP 2022 will be accompanied by the International Workshop on
Trends in Functional Programming in Education (TFPIE), which will take
place on February 11. Simultaneously with TFP, Lambda Days '22 is a
two day conference where academia meets industry, where research and
practical application collide.

== Scope ==

The symposium recognizes that new trends may arise through various
routes. As part of the Symposium's focus on trends we therefore
identify the following five article categories. High-quality articles
are solicited in any of these categories:

* Research Articles:
  Leading-edge, previously unpublished research work
* Position Articles:
 On what new trends should or should not be
* Project Articles:
  Descriptions of recently started new projects
* Evaluation Articles:
  What lessons can be drawn from a finished project
* Overview Articles:
  Summarizing work with respect to a trendy subject

Articles must be original and not simultaneously submitted for
publication to any other forum. They may consider any aspect of
functional programming: theoretical, implementation-oriented, or
experience-oriented. Applications of functional programming techniques
to other languages are also within the scope of the symposium.

Topics suitable for the symposium include, but are not limited to:

* Functional programming and multicore/manycore computing
* Functional programming in the cloud
* High performance functional computing
* Extra-functional (behavioural) properties of functional programs
* Dependently typed functional programming
* Validation and verification of functional programs
* Debugging and profiling for functional languages
* Functional programming in different application areas:
  security, mobility, telecommunications applications, embedded
  systems, global computing, grids, etc.
* Interoperability with imperative programming languages
* Novel memory management techniques
* Program analysis and transformation techniques
* Empirical performance studies
* Abstract/virtual machines and compilers for functional languages
* (Embedded) domain specific languages
* New implementation strategies
* Any new emerging trend in the functional programming area

If you are in doubt on whether your article is within the scope of
TFP, please contact the TFP 2022 program chairs, Wouter Swierstra and
Nicolas Wu.


== Best Paper Awards ==

To reward excellent contributions, TFP awards a prize for the best
paper accepted for the formal proceedings.

TFP traditionally pays special attention to research students,
acknowledging that students are almost by definition part of new
subject trends. A student paper is one for which the authors state
that the paper is mainly the work of students, the students are listed
as first authors, and a student would present the paper. A prize for
the best student paper is awarded each year.

In both cases, it is the PC of TFP that awards the prize. In case the
best paper happens to be a student paper, that paper will then receive
both prizes.


== Instructions to Author ==

Papers must be submitted at:

  https://easychair.org/conferences/?conf=tfp22

Authors of papers have the choice of having their contributions
formally reviewed either before or after the Symposium.


== Pre-symposium formal review ==

Papers to be formally reviewed before the symposium should be
submitted before an early deadline and receive their reviews and
notification of acceptance for both presentation and publication
before the symposium. A paper that has been rejected in this process
may still be accepted for presentation at the symposium, but will not
be considered for the post-symposium formal review.


== Post-symposium formal review ==

Draft papers will receive minimal reviews and 

[TFP'22] second call for papers: Trends in Functional Programming 2022 moved to March 17-18 online (together with TFPiE)

[Peter Achten]

== TFP 2022 ===
== MOVING TO ONLINE SYMPOSIUM, NEW DATES ==
===

23rd Symposium on Trends in Functional Programming
17-18 March, 2022
Online event
https://trendsfp.github.io/index.html

Due the pandemic, we have had to make TFP virtual this year. As a
result, we've decided to push back the deadlines and conference date
by a few weeks. In particular, the pre-symposium deadline for
submitting the first version of your paper is now just after the ICFP
deadline.


== Important Dates ==

Submission deadline for draft papers    Monday 7th March, 2022
Notification for draft submissions  Friday 11th March, 2022
Symposium dates Thursday 17th - 
Friday 18th March, 2022
Submission deadline for post-symposium reviewing    Wednesday 6th April, 
2022

Notification for post-symposium submissions Friday 27th May, 2022

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.



== Scope ==

The symposium recognizes that new trends may arise through various
routes. As part of the Symposium's focus on trends we therefore
identify the following five article categories. High-quality articles
are solicited in any of these categories:

* Research Articles:
   Leading-edge, previously unpublished research work
* Position Articles:
  On what new trends should or should not be
* Project Articles:
   Descriptions of recently started new projects
* Evaluation Articles:
   What lessons can be drawn from a finished project
* Overview Articles:
   Summarizing work with respect to a trendy subject

Articles must be original and not simultaneously submitted for
publication to any other forum. They may consider any aspect of
functional programming: theoretical, implementation-oriented, or
experience-oriented. Applications of functional programming techniques
to other languages are also within the scope of the symposium.

Topics suitable for the symposium include, but are not limited to:

* Functional programming and multicore/manycore computing
* Functional programming in the cloud
* High performance functional computing
* Extra-functional (behavioural) properties of functional programs
* Dependently typed functional programming
* Validation and verification of functional programs
* Debugging and profiling for functional languages
* Functional programming in different application areas:
   security, mobility, telecommunications applications, embedded
   systems, global computing, grids, etc.
* Interoperability with imperative programming languages
* Novel memory management techniques
* Program analysis and transformation techniques
* Empirical performance studies
* Abstract/virtual machines and compilers for functional languages
* (Embedded) domain specific languages
* New implementation strategies
* Any new emerging trend in the functional programming area

If you are in doubt on whether your article is within the scope of
TFP, please contact the TFP 2022 program chairs, Wouter Swierstra and
Nicolas Wu.


== Best Paper Awards ==

To reward excellent contributions, TFP awards a prize for the best
paper accepted for the formal proceedings.

TFP traditionally pays special attention to research students,
acknowledging that students are almost by definition part of new
subject trends. A student paper is one for which the authors state
that the paper is mainly the work of students, the students are listed
as first authors, and a student would present the paper. A prize for
the best student paper is awarded each year.

In both cases, it is the PC of TFP that awards the prize. In case the
best paper happens to be a student paper, that paper will then receive
both prizes.


== Instructions to Author ==

Papers must be submitted at:

   https://easychair.org/conferences/?conf=tfp22

Authors of papers have the choice of having their contributions
formally reviewed either before or after the Symposium.


== Post-symposium formal review process ==

Draft papers will receive minimal reviews and notification of
acceptance for presentation at the symposium. Authors of draft papers
will be invited to submit revised papers based on the feedback received
at the symposium. A post-symposium refereeing process will then select
a subset of these articles for formal publication.


== Paper categories ==

Draft papers and papers submitted for formal review are submitted as
extended abstracts (4 to 10 pages in length) or full papers (20
pages). The submission must clearly indicate which category it belongs
to: research, position, project, evaluation, or overview paper. It
should also indicate which authors are research students, and whether
the main author(s) 

[Call for participation] TFPiE and TFP online events March 16-18

[Peter Achten]

---
  C A L L  F O R  P A R T I C I P A T I O N

 11th International Workshop on Trends in Functional Programming in 
Education

  +
   23rd Symposium on Trends in Functional Programming

 16 - 18 March 2022

 wiki.tfpie.science.ru.nl/TFPIE2022
 trendsfp.github.io
---

The programmes for TFPIE and TFP are online (all times are UTC+0):
- TFPIE: https://wiki.tfpie.science.ru.nl/TFPIE2022
- TFP:   https://trendsfp.github.io/schedule.html

Registration is free. Prior to the events you receive a mail with the 
links to

the Zoom meetings.

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. We aspire 
to be

a lively environment for presenting the latest research results, and other
contributions.

The Trends in Functional Programming in Education workshops are an 
informal meeting
intended for researchers, professors, teachers, and all professionals 
that use or
are interested in the use of functional programming in education. TFPIE 
aims to be
a venue where novel ideas, classroom-tested ideas, and work in progress 
on the use
of functional programming in education are discussed. We foster a spirit 
of open

discussion by having a review process for publication after the workshop.

The program has a lot of interesting talks, possibilities for 
interaction, and

keynote presentations:

Trends in Functional Programming in Education keynote speaker:
---
Peter Achten: The Perfect Functional Programming Course

Trends in Functional Programming keynote speaker:
-
Christiaan Baaij: Building a Haskell-to-Hardware compiler: Theory & Practice

[TFP'22] final call for papers: Trends in Functional Programming 2022 (deadline March 7 2022)

[Peter Achten]

 TFP 2022 =
== Final Call For Papers ==
==  registration opened  ==
===

23rd Symposium on Trends in Functional Programming
17-18 March, 2022
Online event
https://trendsfp.github.io/index.html

Due the pandemic, we have had to make TFP virtual this year. As a
result, we've decided to push back the deadlines and conference date
by a few weeks. In particular, the pre-symposium deadline for
submitting the first version of your paper is now just after the ICFP
deadline.


== Important Dates ==

Submission deadline for draft papers    Monday 7th March, 2022
Notification for draft submissions  Friday 11th March, 2022
Symposium dates Thursday 17th - 
Friday 18th March, 2022
Submission deadline for post-symposium reviewing    Wednesday 6th April, 
2022

Notification for post-symposium submissions Friday 27th May, 2022

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.



== Scope ==

The symposium recognizes that new trends may arise through various
routes. As part of the Symposium's focus on trends we therefore
identify the following five article categories. High-quality articles
are solicited in any of these categories:

* Research Articles:
   Leading-edge, previously unpublished research work
* Position Articles:
  On what new trends should or should not be
* Project Articles:
   Descriptions of recently started new projects
* Evaluation Articles:
   What lessons can be drawn from a finished project
* Overview Articles:
   Summarizing work with respect to a trendy subject

Articles must be original and not simultaneously submitted for
publication to any other forum. They may consider any aspect of
functional programming: theoretical, implementation-oriented, or
experience-oriented. Applications of functional programming techniques
to other languages are also within the scope of the symposium.

Topics suitable for the symposium include, but are not limited to:

* Functional programming and multicore/manycore computing
* Functional programming in the cloud
* High performance functional computing
* Extra-functional (behavioural) properties of functional programs
* Dependently typed functional programming
* Validation and verification of functional programs
* Debugging and profiling for functional languages
* Functional programming in different application areas:
   security, mobility, telecommunications applications, embedded
   systems, global computing, grids, etc.
* Interoperability with imperative programming languages
* Novel memory management techniques
* Program analysis and transformation techniques
* Empirical performance studies
* Abstract/virtual machines and compilers for functional languages
* (Embedded) domain specific languages
* New implementation strategies
* Any new emerging trend in the functional programming area

If you are in doubt on whether your article is within the scope of
TFP, please contact the TFP 2022 program chairs, Wouter Swierstra and
Nicolas Wu.


== Best Paper Awards ==

To reward excellent contributions, TFP awards a prize for the best
paper accepted for the formal proceedings.

TFP traditionally pays special attention to research students,
acknowledging that students are almost by definition part of new
subject trends. A student paper is one for which the authors state
that the paper is mainly the work of students, the students are listed
as first authors, and a student would present the paper. A prize for
the best student paper is awarded each year.

In both cases, it is the PC of TFP that awards the prize. In case the
best paper happens to be a student paper, that paper will then receive
both prizes.


== Instructions to Author ==

Papers must be submitted at:

   https://easychair.org/conferences/?conf=tfp22

Authors of papers have the choice of having their contributions
formally reviewed either before or after the Symposium.


== Post-symposium formal review process ==

Draft papers will receive minimal reviews and notification of
acceptance for presentation at the symposium. Authors of draft papers
will be invited to submit revised papers based on the feedback received
at the symposium. A post-symposium refereeing process will then select
a subset of these articles for formal publication.


== Paper categories ==

Draft papers and papers submitted for formal review are submitted as
extended abstracts (4 to 10 pages in length) or full papers (20
pages). The submission must clearly indicate which category it belongs
to: research, position, project, evaluation, or overview paper. It
should also indicate which authors are research 

[TFP 2023 Call for Papers] 24th International Symposium on Trends in Functional Programming

[Peter Achten]

review

Papers to be formally reviewed before the symposium should be
submitted before the early deadline and will receive their reviews and
notification of acceptance for both presentation and publication
before the symposium. A paper that has been rejected for publication
but accepted for presentation may be resubmitted for the
post-symposium formal review.


## Post-symposium formal review

Draft papers will receive minimal reviews and notification of
acceptance for presentation at the symposium. Authors of draft papers
will be invited to submit revised papers based on the feedback receive
at the symposium. A post-symposium refereeing process will then select
a subset of these articles for formal publication.


## Paper categories

Draft papers and papers submitted for formal review are submitted as
extended abstracts (4 to 10 pages in length) or full papers (20
pages). The submission must clearly indicate which category it belongs
to: research, position, project, evaluation, or overview paper. It
should also indicate which authors are research students, and whether
the main author(s) are students. A draft paper for which all authors
are students will receive additional feedback by one of the PC members
shortly after the symposium has taken place.

## Format

Papers must be written in English, and written using the LNCS
style. For more information about formatting please consult the
Springer LNCS web site.

## Program Committee

Peter Achten,  Radboud University Nijmegen, Netherlands
Nada Amin, Harvard University, USA
Ambrose Bonnaire-Sergeant, Untypable LLC, USA
Laura M. Castro,   University of A Coruña, Spain
Stephen Chang (Chair), University of Massachusetts Boston, US
John Clements, Cal Poly, USA
Youyou Cong,   Tokyo Institute of Technology, Japan
Paul Downen,   University of Massachusetts Lowell, USA
Kathy Gray,    Meta Platforms, Inc., UK
Ben Greenman,  University of Utah, USA
Jason Hemann,  Seton Hall University, USA
Patricia Johann,   Appalachian State University, USA
Alexis King,   Tweag, USA
Julia Lawall,  Inria-Paris, France
Barak Pearlmutter, Maynooth University, Ireland
Norman Ramsey, Tufts University, USA
Ilya Sergey,   National University of Singapore, Singapore
Melinda Tóth,  Eötvös Loránd University, Hungary
Ningning Xie,  University of Toronto, Canada

[TFP 2023 Call For Participation] 24th International Symposium on Trends in Functional Programming

[Peter Achten]

udents, and whether
the main author(s) are students. A draft paper for which all authors
are students will receive additional feedback by one of the PC members
shortly after the symposium has taken place.

## Format

Papers must be written in English, and written using the LNCS
style. For more information about formatting please consult the
Springer LNCS web site.

## Program Committee

Peter Achten,  Radboud University Nijmegen, Netherlands
Nada Amin, Harvard University, USA
Ambrose Bonnaire-Sergeant, Untypable LLC, USA
Laura M. Castro,   University of A Coruña, Spain
Stephen Chang (Chair), University of Massachusetts Boston, US
John Clements, Cal Poly, USA
Youyou Cong,   Tokyo Institute of Technology, Japan
Paul Downen,   University of Massachusetts Lowell, USA
Kathy Gray,    Meta Platforms, Inc., UK
Ben Greenman,  University of Utah, USA
Jason Hemann,  Seton Hall University, USA
Patricia Johann,   Appalachian State University, USA
Alexis King,   Tweag, USA
Julia Lawall,  Inria-Paris, France
Barak Pearlmutter, Maynooth University, Ireland
Norman Ramsey, Tufts University, USA
Ilya Sergey,   National University of Singapore, Singapore
Melinda Tóth,  Eötvös Loránd University, Hungary
Ningning Xie,  University of Toronto, Canada

[TFP 2023 2nd Call for Papers] 24th International Symposium on Trends in Functional Programming

[Peter Achten]

review

Papers to be formally reviewed before the symposium should be
submitted before the early deadline and will receive their reviews and
notification of acceptance for both presentation and publication
before the symposium. A paper that has been rejected for publication
but accepted for presentation may be resubmitted for the
post-symposium formal review.


## Post-symposium formal review

Draft papers will receive minimal reviews and notification of
acceptance for presentation at the symposium. Authors of draft papers
will be invited to submit revised papers based on the feedback receive
at the symposium. A post-symposium refereeing process will then select
a subset of these articles for formal publication.


## Paper categories

Draft papers and papers submitted for formal review are submitted as
extended abstracts (4 to 10 pages in length) or full papers (20
pages). The submission must clearly indicate which category it belongs
to: research, position, project, evaluation, or overview paper. It
should also indicate which authors are research students, and whether
the main author(s) are students. A draft paper for which all authors
are students will receive additional feedback by one of the PC members
shortly after the symposium has taken place.

## Format

Papers must be written in English, and written using the LNCS
style. For more information about formatting please consult the
Springer LNCS web site.

## Program Committee

Peter Achten,  Radboud University Nijmegen, Netherlands
Nada Amin, Harvard University, USA
Ambrose Bonnaire-Sergeant, Untypable LLC, USA
Laura M. Castro,   University of A Coruña, Spain
Stephen Chang (Chair), University of Massachusetts Boston, US
John Clements, Cal Poly, USA
Youyou Cong,   Tokyo Institute of Technology, Japan
Paul Downen,   University of Massachusetts Lowell, USA
Kathy Gray,    Meta Platforms, Inc., UK
Ben Greenman,  University of Utah, USA
Jason Hemann,  Seton Hall University, USA
Patricia Johann,   Appalachian State University, USA
Alexis King,   Tweag, USA
Julia Lawall,  Inria-Paris, France
Barak Pearlmutter, Maynooth University, Ireland
Norman Ramsey, Tufts University, USA
Ilya Sergey,   National University of Singapore, Singapore
Melinda Tóth,  Eötvös Loránd University, Hungary
Ningning Xie,  University of Toronto, Canada

[TFP 2024 Call for Papers] 25th International Symposium on Trends in Functional Programming

[Peter Achten]

# TFP 2024 -- Call for Papers
(trendsfp.github.io)

## Important Dates

Submission deadline: pre-symposium, full papers,  Saturday 4 November, 2023
Submission deadline: pre-symposium, draft papers, Wednesday 30 November, 
2023

Notification:    pre-symposium submissions,   Friday 8 December, 2023
TFPIE Workshop:   Tuesday 9 January, 2024
TFP Symposium:    Wednesday 10 - Friday 
12 January, 2024

Submission deadline: post-symposium review,   Friday 23 February, 2024
Notification:    post-symposium submissions,  Friday 5 April, 2024

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.

This year, TFP will take place in-person at Seton Hall University, in South
Orange, NJ in the United States. It is co-located with the Trends in 
Functional
Programming in Education (TFPIE) workshop, which will take on the day 
before

the main symposium.

Please be aware that TFP has several submission deadlines. The first, 
November 4,
is for authors that wish to have their full paper reviewed prior to the 
symposium.
Papers that are accepted in this way must also be presented at the 
symposium. The
second, November 30, is for authors that wish to present their work or 
work-in
progress at the symposium first without submitting to the full review 
process for
publication. These authors can then take into account feedback received 
at the
symposium and submit a full article for review by the third deadline, 
February 23.


## Scope

The symposium recognizes that new trends may arise through various 
routes. As part
of the Symposium's focus on trends we therefore identify the following 
five article

categories. High-quality articles are solicited in any of these categories:

* Research Articles:
  Leading-edge, previously unpublished research work
* Position Articles:
  On what new trends should or should not be
* Project Articles:
  Descriptions of recently started new projects
* Evaluation Articles:
  What lessons can be drawn from a finished project
* Overview Articles:
  Summarizing work with respect to a trendy subject

Articles must be original and not simultaneously submitted for 
publication to any
other forum. They may consider any aspect of functional programming: 
theoretical,

implementation-oriented, or experience-oriented. Applications of functional
programming techniques to other languages are also within the scope of 
the symposium.


Topics suitable for the symposium include, but are not limited to:

* Functional programming and multicore/manycore computing
* Functional programming in the cloud
* High performance functional computing
* Extra-functional (behavioural) properties of functional programs
* Dependently typed functional programming
* Validation and verification of functional programs
* Debugging and profiling for functional languages
* Functional programming in different application areas:
  security, mobility, telecommunications applications, embedded
  systems, global computing, grids, etc.
* Interoperability with imperative programming languages
* Novel memory management techniques
* Program analysis and transformation techniques
* Empirical performance studies
* Abstract/virtual machines and compilers for functional languages
* (Embedded) domain specific languages
* New implementation strategies
* Any new emerging trend in the functional programming area

If you are in doubt on whether your article is within the scope of TFP, 
please contact

the TFP 2024 program chair, Jason Hemann.

## Best Paper Awards

TFP awards two prizes for the best papers each year.

First, to reward excellent contributions, TFP awards a prize for the 
best overall paper

accepted for the post-conference formal proceedings.

Second, each year TFP also awards a prize for the best student paper. 
TFP traditionally
pays special attention to research students, acknowledging that students 
are almost by
definition part of new subject trends. A student paper is one for which 
the authors
state that the paper is mainly the work of students, the students are 
the paper’s first

authors, and a student would present the paper.

In both cases, it is the PC of TFP that awards the prize. In case the 
best paper happens

to be a student paper, then that paper will receive both prizes.


## Instructions to Authors

Authors must submit papers to:

  

Authors of papers have the choice of having their contributions formally 
reviewed either
before or after the Symposium. Further, pre-symposium submissions may 
either be full

(earlier deadline) or draft papers (later deadline).


## Pre-symposium formal review

Papers to be formally reviewed 

[Call for submissions TFPiE 2024] Trends in Functional Programming in Education - January 9 2024, Seton Hall University, USA

[Peter Achten]

TFPIE 2024 Call for papers
https://wiki.tfpie.science.ru.nl/TFPIE2024
(January 9th 2024, West Orange, NJ, USA, co-located with TFP 2024 at
Seton Hall University)

TFPIE 2024 welcomes submissions describing techniques used in the classroom,
tools used in and/or developed for the classroom and any creative use of
functional programming (FP) to aid education in or outside Computer Science.
Topics of interest include, but are not limited to:

  FP and beginning CS students
  FP and Computational Thinking
  FP and Artificial Intelligence
  FP in Robotics
  FP and Music
  Advanced FP for undergraduates
  FP in graduate education
  Engaging students in research using FP
  FP in Programming Languages
  FP in the high school curriculum
  FP as a stepping stone to other CS topics
  FP and Philosophy
  The pedagogy of teaching FP
  FP and e-learning: MOOCs, automated assessment etc.
  Best Lectures - more details below

In addition to papers, we are requesting best lecture presentations. 
What's your
best lecture topic in an FP related course? Do you have a fun way to 
present FP

concepts to novices or perhaps an especially interesting presentation of a
difficult topic? In either case, please consider sharing it. Best 
lecture topics

will be selected for presentation based on a short abstract describing the
lecture and its interest to TFPIE attendees. The length of the presentation
should be comparable to that of a paper. In addition, the speaker can 
provide

commentary on effectiveness or student feedback.

Submissions

Potential presenters are invited to submit an extended abstract (4-6 
pages) or

a draft paper (up to 20 pages) in EPTCS style. The authors of accepted
presentations
will have their preprints and their slides made available on the
workshop's website.
Papers and abstracts can be submitted via easychair at the following link:

https://easychair.org/conferences/?conf=tfpie2024

After the workshop, presenters are invited to submit (a revised
version of) their
article for the formal review. The PC will select the best articles
for publication
in the Electronic Proceedings in Theoretical Computer Science (EPTCS). 
Articles
rejected for presentation and extended abstracts will not be formally 
reviewed

by the PC.

Important Dates

Submission deadline: December 26th 2023, Anywhere on Earth
Notification: by December 30th 2023 (Note: submissions will be
evaluated on a rolling basis, so earlier submissions will receive an
earlier response)
TFPIE Registration Deadline: TBA
Workshop: January 9th 2024
Submission for formal review: April 19th 2024, Anywhere on Earth.
Notification of full article: May 24th 2024
Camera ready: June 28th 2024

Program Committee - TBD

    Stephen Chang (Chair) - UMass Boston, USA

Registration information

See https://wiki.tfpie.science.ru.nl/TFPIE2024 for updated information.

Registration and attendance are mandatory for at least one author of 
every paper

that is presented at the workshop. Presenters will have their
registration fee waived.

Only papers that have been presented at TFPIE may be submitted to the
post-reviewing
process.

[TFP (and TFPiE) 2024] Call For Participation (January 9-12, Seton Hall University, NJ, USA)

[Peter Achten via]

# TFP 2024 -- Call For Participation
(trendsfp.github.io)

## Venue
TFPiE and TFP will take place in-person at Seton Hall University, New 
Jersey in the United States.


## Dates

TFPiE Workshop: Tuesday 9th January, 2024
TFP Symposium:  Wednesday 10th - Friday 12th January, 2024

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.

## Keynote speakers
We are happy to have the following keynotes in the programme:

* Jeremy Gibbons, Oxford University
* Benjamin Pierce, University of Pennsylvania
* John Reppy, University of Chicago

## Programme
The programme schedule can be found here:
trendsfp.github.io/schedule.html

## Excursion and banquet
After lunch on Thursday there is a private guided tour of the
Thomas Edison National Historical Park and Museum.
Thursday evening we have the TFP banquet at Forno's of Spain.
During dinner the winners of the best paper awards of last year's TFP
will be announced.

[TFP 2024 Final Call for Papers] 25th International Symposium on Trends in Functional Programming

[Peter Achten via]

 their contributions formally 
reviewed either
before or after the Symposium. Further, pre-symposium submissions may 
either be full

(earlier deadline) or draft papers (later deadline).

## Pre-symposium formal review

Papers to be formally reviewed before the symposium should be submitted 
before the early
deadline and will receive their reviews and notification of acceptance 
for both presentation
and publication before the symposium. A paper that has been rejected for 
publication but
accepted for presentation may be resubmitted for the post-symposium 
formal review.


## Post-symposium formal review

Draft papers will receive minimal reviews and notification of acceptance 
for presentation at
the symposium. Authors of draft papers will be invited to submit revised 
papers based on the
feedback receive at the symposium. A post-symposium refereeing process 
will then select a

subset of these articles for formal publication.

## Paper categories

Draft papers and papers submitted for formal review are submitted as 
extended abstracts (4 to
10 pages in length) or full papers (20 pages). The submission must 
clearly indicate which
category it belongs to: research, position, project, evaluation, or 
overview paper. It should
also indicate which authors are research students, and whether the main 
author(s) are students.
A draft paper for which all authors are students will receive additional 
feedback by one of the

PC members shortly after the symposium has taken place.

## Format

Papers must be written in English, and written using the LNCS style. For 
more information about

formatting please consult the Springer LNCS Guidelines web site:

  
https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines


## Organizing Committee
Jason Hemann  PC ChairSeton Hall University, USA
Stephen Chang Symposium Chair University of Massachusetts 
Boston, USA
Shajina Anand Local Arrangements  Seton Hall University, South 
Orange, USA
Peter Achten  Publicity Chair Radboud University Nijmegen, 
Netherlands