[Haskell] [TFP 2025 Call for Papers] 25th International Symposium on Trends in Functional Programming (Oxford, UK)

[Peter Achten via Haskell]

ication of 
acceptance for
both presentation and publication before the symposium. A paper that has 
been
rejected for publication but accepted for presentation may be revised 
and 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 received at the symposium. A 
post-symposium
refereeing process will then select a subset of these papers 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 (up to 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

Jeremy GibbonsUniversity of Oxford, UK  Programme Chair
Jason Hemann  Seton Hall University, US Conference Chair
Peter Achten  Radboud University Nijmegen, NL   Publicity Chair
Marco T. Morazán  Seton Hall University, US Steering 
Committee Chair


## Programme Committee
Peter Achten  Radboud University Nijmegen, NL
Edwin Brady   University of St Andrews, UK
Laura Castro  University of A Coruña, ES
Youyou Cong   Tokyo Institute of Technology, JP
Paul Downen   University of Massachusetts Lowell, US
João Paulo Fernandes  University of Coimbra, PT
Ben Greenman  University of Utah, US
Jurriaan Hage Heriot-Watt University, UK
Jason Hemann  Seton Hall University, US
Zhenjiang Hu  Peking University, CN
Hans-Wolfgang Loidl   Heriot-Watt University, UK
Kazutaka Matsuda  Tohoku University, JP
Zoe Paraskevopoulou   Ethereum Foundation, US
Alejandro Serrano 47 Degrees, ES
Nick SmallboneChalmers University, SE
Alley Stoughton   Boston University, US
Wouter Swierstra  Utrecht University, NL
Niki VazouIMDEA Software Institute, ES
Marcos Viera  Universidad de la República, UY
Viktória Zsók Eötvös Loránd University of Sciences, HU___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

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

[Peter Achten via Haskell]

# 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.___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

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

[Peter Achten via Haskell]

ving 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___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

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

___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] [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 be

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

[Peter Achten]

ch 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

___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

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

[Peter Achten]

rmal 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


___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

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

[Peter Achten]

rmal 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

___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] [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


___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] [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 

[Haskell] [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) are

[Haskell] [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 n

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

___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

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

___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] [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

___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] [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

___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

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

___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] [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

___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] [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.
___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] [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.
___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

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

___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] [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.
___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] [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.
___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] [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.
___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] [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 

[Haskell] [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

___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] [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 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 Symposium.


== Pre-symposium formal review ==

Pap

[Haskell] [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


___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] [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 
reviewe

[Haskell] [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 Sy

[Haskell] [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 consider

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

[Peter Achten]

s 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)

___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] 2nd call for papers: Trends in Functional Programming, 11-13 june 2018, Chalmers Campus Johanneberg, Gothenburg

[Peter Achten]

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):   April 26, 2018  --  
open  --

Notification (pre- and post-symposium review):   May    3, 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)

___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

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

[Peter Achten]

s 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)

___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] 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)

___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

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

[Peter Achten]

rview 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)

___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

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

[Peter Achten]

 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)

___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] [TFPIE'17] Trends in Functional Programming in Education - second call for papers -

[Peter Achten]

TFPIE 2017

Trends in Functional Programming in Education, 2017

https://www.cs.kent.ac.uk/people/staff/sjt/TFPIE2017/


The sixth workshop on Trends in Functional Programming in Education, 
2017, which is to be held on the Canterbury campus of the University of 
Kent on Thursday, 22 June, following the 2017 TFP meeting on 19–21 June. 
TFPIE workshops have previously been held in St Andrews, Scotland 
(2012), Provo Utah, USA (2013), Soesterberg, The Netherlands (2014), and 
Sophia-Antipolis, France (2015), College Park, USA (2016).


A particular topic of this year's TFPIE will be MOOCs and other online 
learning, and as well as a session on this, we're looking forward to 
announcing a keynote speaker in this area very soon.


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 2017 will screen submissions to 
ensure that all presentations are within scope and are of interest to 
participants. After the workshop, presenters will be invited to submit 
revised versions of their articles for publication in the journal 
Electronic Proceedings in Theoretical Computer Science (EPTCS).


Second call for papers

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


Submission

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=tfpie2017


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.


Programme committee

Dr Laura Castro, University of A Coruña
Prof Ralf Lämmel, University of Koblenz-Landau
Dr Elena Machkasova, University of Minnesota, Morris
Prof Michel Mauny, Inria, Paris
Dr Jeremy Singer, University of Glasgow
Prof Simon Thompson, University of Kent (chair)

Important dates

Submissions of draft papers: 10 May, 2017
Notification: 17 May, 2017
Registration: 11 June, 2017
Workshop: 22 June 2017
Submission for formal review: 18 August, 2017
Notification of acceptance: 6 October, 2017
Camera ready paper: 3 November, 2017

___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

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

[Peter Achten]

rview 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)

___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

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

[Peter Achten]

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


___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] 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, 

[Haskell] [TFP'16] 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 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
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 ==

[Haskell] [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
tha

[Haskell] [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 Comput

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

___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] [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 Comput

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

___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] [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 pa

[Haskell] [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 compi

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

[Peter Achten]

-
L A S T   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 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

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

___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] [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

[Haskell] [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 lan

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


___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell

[Haskell] [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 

[Haskell] [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)

___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell

[Haskell] [TFP2014] Final Call For Papers

[Peter Achten]

ge 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

___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell

[Haskell] 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

[Haskell] TFP 2014 - 2nd call for papers

[Peter Achten]

ge 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 Huch Christian-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

___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell

[Haskell] [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 c

[Haskell] PhD position at Radboud University, The Netherlands - NECTOP project

[Peter Achten]

Dear all,

Please find attached information about a PhD position at the Model Based 
Software Development department of the Computer and Information Sciences 
Institute at the Radboud University, The Netherlands.

With kind regards, on behalf of Rinus Plasmeijer,

Peter Achten




Vacature.pdf
Description: Adobe PDF document
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell

[Haskell] Second Call for Participation TFP 2008, The Netherlands

[Peter Achten]

SECOND CALL FOR PARTICIPATION
TRENDS IN FUNCTIONAL PROGRAMMING 2008
RADBOUD UNIVERSITY NIJMEGEN, THE NETHERLANDS
MAY 26-28, 2008
INVITED SPEAKER: PROF. HENK BARENDREGT
http://www.st.cs.ru.nl/AFP_TFP_2008/

[ LATE REGISTRATION FEE IS SAME AS EARLY REGISTRATION FEE ]
[ LATE REGISTRATION CLOSES AT MAY 5 ]

The symposium on Trends in Functional Programming (TFP) is an
international forum for researchers with interests in all aspects of
functional programming languages, focusing on providing a broad view
of current and future trends in Functional Programming. It aspires to
be a lively environment for presenting the latest research results
through acceptance by extended abstracts and full papers. A formal
post-symposium refereeing process selects the best articles presented
at the symposium for publication in a high-profile volume.

TFP 2008 is hosted by the Radboud University Nijmegen, The Netherlands,
and will be held in the rural setting of Center Parcs “Het Heijderbos”,
Heijen (in the vicinity of Nijmegen), The Netherlands.

TFP 2008 is co-located with the 6th Int’l. Summer School on Advanced
Functional Programming (AFP’08), which is held immediately before TFP’08.


PROGRAM INFORMATION
We have selected papers in the following themes:

(*) Types
(*) Applications
(*) Parallellism
(*) Refactoring
(*) Reactive Systems
(*) Memory Analysis
(*) Software Construction & Program Transformation
(*) Reasoning

The preliminary program can be found on the site:

http://www.st.cs.ru.nl/AFP_TFP_2008/documents/preliminary_program_TFP_2008.pdf



VENUE INFORMATION
TFP (and AFP) is held in The Netherlands, at Center Parcs “Het
Heijderbos” which is a holiday resort in the woodlands near the
city of Nijmegen. We accomodate participants in DeLuxe Cottages,
each of which has three separate bed-rooms, shared bathroom,
toilet, kitchen, and terrace. Cottages will be shared by three
participants. If you wish to reduce costs, you can choose to
share a bedroom. The summer school and symposium will take place
in the business center of the venue. Breakfast, lunch and diner
is included within the limits of the venue. The resort features,
amongst others, a sub-tropical swimming pool (free for
participants), restaurants, shops, water sports lake, midget golf
court, squash court, and outdoor and indoor tennis courts.

Nijmegen is considered to be the oldest city of the Netherlands,
being approximately 2000 years old. Nijmegen is located at the
east border of the Netherlands, near Germany. Nijmegen can be
reached easily from several airports such as Schiphol airport,
Eindhoven airport, and Düsseldorf airport, as well as by train
and car. Conveniently close to Center Parcs “Het Heijderbos” you
will find airport Weeze in Germany. The venue Center Parcs “Het
Heijderbos” can be reached from Nijmegen by train to Boxmeer
(25 minutes). From there you will need to order a taxi. The venue
can also be reached by car: parking is free for participants of
AFP and TFP.


SYMPOSIUM FEES
TFP 2008 includes accommodation, symposium, breakfast – lunch –
diner, proceedings, and social event costs. The registration fee
is € 595. For details, we refer to the site (see above). During
the social event we will visit Nijmegen and have a symposium diner
at the river-side of De Waal.


REGISTRATION INFORMATION
Registration closes at may 5 2008. We can not guarantee accommodation
in case you wish to register later than may 5 2008. Registration can
be done on-line at the site:

http://www.st.cs.ru.nl/AFP_TFP_2008/#RegistrationInformation


IMPORTANT DATES (ALL 2008)
Late Registration Deadline: May 5
TFP Symposium: May 26-28


PROGRAMME COMMITTEE
Peter Achten (co-chair) Radboud Univ. Nijmegen, NL
Andrew Butterfield Trinity College, IE
Manuel Chakravarty Univ. of New South Wales, AU
John Clements Cal Poly State Univ., USA
Matthias Felleisen Northeastern Univ., USA
Jurriaan Hage Utrecht Univ., NL
Michael Hanus Christian-Albrechts Univ. zu Kiel, DE
Ralf Hinze Univ. of Oxford, UK
Graham Hutton Univ. of Nottingham, UK
Johan Jeuring Utrecht Univ., NL
Pieter Koopman (co-chair) Radboud Univ. Nijmegen, NL
Shriram Krishnamurthi Brown Univ., USA
Hans-Wolfgang Loidl Ludwig-Maximilians Univ.München, DE
Rita Loogen Philipps-Univ. Marburg, DE
Greg Michaelson Heriot-Watt Univ., UK
Marco T. Morazán (symp. chair) Seton Hall Univ., USA
Sven-Bodo Scholz Univ. of Hertfordshire, UK
Ulrik Schultz Univ. of Southern Denmark, DK
Clara Segura Univ. Complutense de Madrid, ES
Olin Shivers Northeastern Univ., USA
Phil Trinder Heriot-Watt Univ., UK
Varmo Vene Univ. of Tartu, EE
Viktória Zsók Eötvös Loránd Univ., HU


ORGANIZATION
Symposium Chair: Marco T. Morazán, Seton Hall University, USA
Programme Chair: Peter Achten, Pieter Koopman,
Radboud University Nijmegen, NL
Treasurer: Greg Michaelson, Heriot-Watt University, UK

___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell

[Haskell] Third Call for Participation AFP 2008 (correct date early registration)

[Peter Achten]

3RD CALL FOR PARTICIPATION
6TH INTERNATIONAL SUMMER SCHOOL ON ADVANCED FUNCTIONAL PROGRAMMING 2008 
(AFP ’08)

RADBOUD UNIVERSITY NIJMEGEN AND UTRECHT UNIVERSITY, THE NETHERLANDS
MAY 19-24, 2008
http://www.st.cs.ru.nl/AFP_TFP_2008/

[ EARLY REGISTRATION CLOSES ON MONDAY APRIL 14 ]
[ THIS IS THE CORRECT DATE ]

AFP is a series of international summer schools which aims to
bring computer scientists, in particular young researchers and
programmers, up to date with the latest advances in practical
advanced functional programming. Functional programming
emphasizes the evaluation of expressions rather than the
execution of commands. We focus on functional programming
techniques in “programming in the real world” and bridge the
gap between results presented at programming conferences and
material from textbooks on functional programming. In this
school you will receive in depth lectures about advanced
functional programming techniques, taught by experts in the
field. Lectures are accompanied by practical problems to be
solved by the students at the school.

AFP 2008 is hosted by the Radboud University Nijmegen, and
Utrecht University, The Netherlands, and will be held in the
rural setting of Center Parcs “Het Heijderbos”, Heijen (in the
vicinity of Nijmegen), The Netherlands.

AFP 2008 is co-located with the 9th Symposium on Trends in
Functional Programming (TFP’08), which is held after AFP’08.


PROGRAM INFORMATION
The following speakers will give the lectures (in alphabetic
order):
Umut Acar (Toyota Technological Institute,
University of Chicago, US)
Richard Bird (University of Oxford, UK)
Olivier Danvy (University of Aarhus, DK)
Johan Jeuring (Utrecht University, NL)
Mark Jones (Portland State University, US)
Ulf Norell (Chalmers University, SE)
Simon Peyton Jones (Microsoft Research, UK)
Rinus Plasmeijer (Radboud University Nijmegen, NL)

During the summer school, all participants receive printed
lecture notes. Participants are expected to have a notebook,
in order to be able to participate with the practical problems.

After the summer school, all lecture notes will be revised,
reviewed, and published in the LNCS series of Springer. All
registered participants receive a copy of these lecture notes.


VENUE INFORMATION
AFP (and TFP) is held in The Netherlands, at Center Parcs “Het
Heijderbos” which is a holiday resort in the woodlands near the
city of Nijmegen. We accomodate participants in DeLuxe Cottages,
each of which has three separate bed-rooms, shared bathroom,
toilet, kitchen, and terrace. Cottages will be shared by three
participants. If you wish to reduce costs, you can choose to
share a bedroom. The summer school and symposium will take place
in the business center of the venue. Breakfast, lunch and diner
is included within the limits of the venue. The resort features,
amongst others, a sub-tropical swimming pool (free for
participants), restaurants, shops, water sports lake, midget golf
court, squash court, and outdoor and indoor tennis courts.

Nijmegen is considered to be the oldest city of the Netherlands,
being approximately 2000 years old. Nijmegen is located at the
east border of the Netherlands, near Germany. Nijmegen can be
reached easily from several airports such as Schiphol airport,
Eindhoven airport, and Düsseldorf airport, as well as by train
and car. Conveniently close to Center Parcs “Het Heijderbos” you
will find airport Weeze in Germany. The venue Center Parcs “Het
Heijderbos” can be reached from Nijmegen by train to Boxmeer
(25 minutes). From there you will need to order a taxi. The venue
can also be reached by car: parking is free for participants of
AFP and TFP.


SUMMER SCHOOL FEES
AFP 2008 includes accommodation, conference, breakfast – lunch –
diner, speakers, and proceedings costs. The early registration fee
is € 995; the late registration fee is € 1095.


REGISTRATION INFORMATION
You can still register early until monday april 14 2008. Late
registration opens at april 15 2008. Registration closes at may 5 2008.
We can not guarantee accommodation in case you wish to register later
than may 5 2008.


IMPORTANT DATES (ALL 2008)
Early Registration Deadline: April 14
Late Registration Opens: April 15
Late Registration Deadline: May 5
AFP Summer School: May 19-24


ORGANIZATION
Programme Chair: Rinus Plasmeijer, Pieter Koopman, Radboud
University Nijmegen, NL
Doaitse Swierstra, Utrecht University, NL
Arrangements: Peter Achten, Simone Meeuwsen, Radboud University
Nijmegen, NL
E-mail: [EMAIL PROTECTED]

___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell

[Haskell] First Call for Participation TFP 2008, The Netherlands (correct early registration date)

[Peter Achten]

FIRST CALL FOR PARTICIPATION
TRENDS IN FUNCTIONAL PROGRAMMING 2008
RADBOUD UNIVERSITY NIJMEGEN, THE NETHERLANDS
MAY 26-28, 2008
INVITED SPEAKER: PROF. HENK BARENDREGT
http://www.st.cs.ru.nl/AFP_TFP_2008/

[ EARLY REGISTRATION CLOSES AT MONDAY APRIL 14 ]
[ THIS IS THE CORRECT DATE ]

The symposium on Trends in Functional Programming (TFP) is an
international forum for researchers with interests in all aspects of
functional programming languages, focusing on providing a broad view
of current and future trends in Functional Programming. It aspires to
be a lively environment for presenting the latest research results
through acceptance by extended abstracts and full papers. A formal
post-symposium refereeing process selects the best articles presented
at the symposium for publication in a high-profile volume.

TFP 2008 is hosted by the Radboud University Nijmegen, The Netherlands,
and will be held in the rural setting of Center Parcs “Het Heijderbos”,
Heijen (in the vicinity of Nijmegen), The Netherlands.

TFP 2008 is co-located with the 6th Int’l. Summer School on Advanced
Functional Programming (AFP’08), which is held immediately before TFP’08.


PROGRAM INFORMATION
We have selected papers in the following themes:

(*) Types
(*) Applications
(*) Parallellism
(*) Refactoring
(*) Reactive Systems
(*) Memory Analysis
(*) Software Construction & Program Transformation
(*) Reasoning

The preliminary program can be found on the site:

http://www.st.cs.ru.nl/AFP_TFP_2008/documents/preliminary_program_TFP_2008.pdf



VENUE INFORMATION
TFP (and AFP) is held in The Netherlands, at Center Parcs “Het
Heijderbos” which is a holiday resort in the woodlands near the
city of Nijmegen. We accomodate participants in DeLuxe Cottages,
each of which has three separate bed-rooms, shared bathroom,
toilet, kitchen, and terrace. Cottages will be shared by three
participants. If you wish to reduce costs, you can choose to
share a bedroom. The summer school and symposium will take place
in the business center of the venue. Breakfast, lunch and diner
is included within the limits of the venue. The resort features,
amongst others, a sub-tropical swimming pool (free for
participants), restaurants, shops, water sports lake, midget golf
court, squash court, and outdoor and indoor tennis courts.

Nijmegen is considered to be the oldest city of the Netherlands,
being approximately 2000 years old. Nijmegen is located at the
east border of the Netherlands, near Germany. Nijmegen can be
reached easily from several airports such as Schiphol airport,
Eindhoven airport, and Düsseldorf airport, as well as by train
and car. Conveniently close to Center Parcs “Het Heijderbos” you
will find airport Weeze in Germany. The venue Center Parcs “Het
Heijderbos” can be reached from Nijmegen by train to Boxmeer
(25 minutes). From there you will need to order a taxi. The venue
can also be reached by car: parking is free for participants of
AFP and TFP.


SYMPOSIUM FEES
TFP 2008 includes accommodation, symposium, breakfast – lunch –
diner, proceedings, and social event costs. The early registration fee
is € 595; the late registration fee is € 695. For details, we refer
to the site (see above). During the social event we will visit
Nijmegen and have a symposium diner at the river-side of De Waal.


REGISTRATION INFORMATION
Early registration is still possible until april 15 2008. Late
registration opens at april 15 2008. Registration closes at may 5 2008.
We can not guarantee accommodation in case you wish to register later
than may 5 2008. Registration can be done on-line at the site:

http://www.st.cs.ru.nl/AFP_TFP_2008/#RegistrationInformation


IMPORTANT DATES (ALL 2008)
Early Registration Deadline: April 14
Late Registration Opens: April 15
Late Registration Deadline: May 5
TFP Symposium: May 26-28


PROGRAMME COMMITTEE
Peter Achten (co-chair) Radboud Univ. Nijmegen, NL
Andrew Butterfield Trinity College, IE
Manuel Chakravarty Univ. of New South Wales, AU
John Clements Cal Poly State Univ., USA
Matthias Felleisen Northeastern Univ., USA
Jurriaan Hage Utrecht Univ., NL
Michael Hanus Christian-Albrechts Univ. zu Kiel, DE
Ralf Hinze Univ. of Oxford, UK
Graham Hutton Univ. of Nottingham, UK
Johan Jeuring Utrecht Univ., NL
Pieter Koopman (co-chair) Radboud Univ. Nijmegen, NL
Shriram Krishnamurthi Brown Univ., USA
Hans-Wolfgang Loidl Ludwig-Maximilians Univ.München, DE
Rita Loogen Philipps-Univ. Marburg, DE
Greg Michaelson Heriot-Watt Univ., UK
Marco T. Morazán (symp. chair) Seton Hall Univ., USA
Sven-Bodo Scholz Univ. of Hertfordshire, UK
Ulrik Schultz Univ. of Southern Denmark, DK
Clara Segura Univ. Complutense de Madrid, ES
Olin Shivers Northeastern Univ., USA
Phil Trinder Heriot-Watt Univ., UK
Varmo Vene Univ. of Tartu, EE
Viktória Zsók Eötvös Loránd Univ., HU


ORGANIZATION
Symposium Chair: Marco T. Morazán, Seton Hall University, USA
Programme Chair: Peter Achten, Pieter Koopman,
Radboud University Nijmegen, NL
Treasurer: Greg Michaelson, Heriot-

[Haskell] Third Call for Participation AFP 2008

[Peter Achten]

3RD CALL FOR PARTICIPATION
6TH INTERNATIONAL SUMMER SCHOOL ON ADVANCED FUNCTIONAL PROGRAMMING 2008 
(AFP ’08)

RADBOUD UNIVERSITY NIJMEGEN AND UTRECHT UNIVERSITY, THE NETHERLANDS
MAY 19-24, 2008
http://www.st.cs.ru.nl/AFP_TFP_2008/
[ EARLY REGISTRATION CLOSES ON MONDAY MAY 14 ]

AFP is a series of international summer schools which aims to
bring computer scientists, in particular young researchers and
programmers, up to date with the latest advances in practical
advanced functional programming. Functional programming
emphasizes the evaluation of expressions rather than the
execution of commands. We focus on functional programming
techniques in “programming in the real world” and bridge the
gap between results presented at programming conferences and
material from textbooks on functional programming. In this
school you will receive in depth lectures about advanced
functional programming techniques, taught by experts in the
field. Lectures are accompanied by practical problems to be
solved by the students at the school.

AFP 2008 is hosted by the Radboud University Nijmegen, and
Utrecht University, The Netherlands, and will be held in the
rural setting of Center Parcs “Het Heijderbos”, Heijen (in the
vicinity of Nijmegen), The Netherlands.

AFP 2008 is co-located with the 9th Symposium on Trends in
Functional Programming (TFP’08), which is held after AFP’08.


PROGRAM INFORMATION
The following speakers will give the lectures (in alphabetic
order):
Umut Acar (Toyota Technological Institute,
University of Chicago, US)
Richard Bird (University of Oxford, UK)
Olivier Danvy (University of Aarhus, DK)
Johan Jeuring (Utrecht University, NL)
Mark Jones (Portland State University, US)
Ulf Norell (Chalmers University, SE)
Simon Peyton Jones (Microsoft Research, UK)
Rinus Plasmeijer (Radboud University Nijmegen, NL)

During the summer school, all participants receive printed
lecture notes. Participants are expected to have a notebook,
in order to be able to participate with the practical problems.

After the summer school, all lecture notes will be revised,
reviewed, and published in the LNCS series of Springer. All
registered participants receive a copy of these lecture notes.


VENUE INFORMATION
AFP (and TFP) is held in The Netherlands, at Center Parcs “Het
Heijderbos” which is a holiday resort in the woodlands near the
city of Nijmegen. We accomodate participants in DeLuxe Cottages,
each of which has three separate bed-rooms, shared bathroom,
toilet, kitchen, and terrace. Cottages will be shared by three
participants. If you wish to reduce costs, you can choose to
share a bedroom. The summer school and symposium will take place
in the business center of the venue. Breakfast, lunch and diner
is included within the limits of the venue. The resort features,
amongst others, a sub-tropical swimming pool (free for
participants), restaurants, shops, water sports lake, midget golf
court, squash court, and outdoor and indoor tennis courts.

Nijmegen is considered to be the oldest city of the Netherlands,
being approximately 2000 years old. Nijmegen is located at the
east border of the Netherlands, near Germany. Nijmegen can be
reached easily from several airports such as Schiphol airport,
Eindhoven airport, and Düsseldorf airport, as well as by train
and car. Conveniently close to Center Parcs “Het Heijderbos” you
will find airport Weeze in Germany. The venue Center Parcs “Het
Heijderbos” can be reached from Nijmegen by train to Boxmeer
(25 minutes). From there you will need to order a taxi. The venue
can also be reached by car: parking is free for participants of
AFP and TFP.


SUMMER SCHOOL FEES
AFP 2008 includes accommodation, conference, breakfast – lunch –
diner, speakers, and proceedings costs. The early registration fee
is € 995; the late registration fee is € 1095.


REGISTRATION INFORMATION
You can still register early until monday april 14 2008. Late
registration opens at april 15 2008. Registration closes at may 5 2008.
We can not guarantee accommodation in case you wish to register later
than may 5 2008.


IMPORTANT DATES (ALL 2008)
Early Registration Deadline: April 14
Late Registration Opens: April 15
Late Registration Deadline: May 5
AFP Summer School: May 19-24


ORGANIZATION
Programme Chair: Rinus Plasmeijer, Pieter Koopman, Radboud
University Nijmegen, NL
Doaitse Swierstra, Utrecht University, NL
Arrangements: Peter Achten, Simone Meeuwsen, Radboud University
Nijmegen, NL
E-mail: [EMAIL PROTECTED]

___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell

[Haskell] First Call for Participation TFP 2008, The Netherlands

[Peter Achten]

FIRST CALL FOR PARTICIPATION
TRENDS IN FUNCTIONAL PROGRAMMING 2008
RADBOUD UNIVERSITY NIJMEGEN, THE NETHERLANDS
MAY 26-28, 2008
INVITED SPEAKER: PROF. HENK BARENDREGT
http://www.st.cs.ru.nl/AFP_TFP_2008/

[ EARLY REGISTRATION CLOSES AT MONDAY MAY 14 ]

The symposium on Trends in Functional Programming (TFP) is an
international forum for researchers with interests in all aspects of
functional programming languages, focusing on providing a broad view
of current and future trends in Functional Programming. It aspires to
be a lively environment for presenting the latest research results
through acceptance by extended abstracts and full papers. A formal
post-symposium refereeing process selects the best articles presented
at the symposium for publication in a high-profile volume.

TFP 2008 is hosted by the Radboud University Nijmegen, The Netherlands,
and will be held in the rural setting of Center Parcs “Het Heijderbos”,
Heijen (in the vicinity of Nijmegen), The Netherlands.

TFP 2008 is co-located with the 6th Int’l. Summer School on Advanced
Functional Programming (AFP’08), which is held immediately before TFP’08.


PROGRAM INFORMATION
We have selected papers in the following themes:

(*) Types
(*) Applications
(*) Parallellism
(*) Refactoring
(*) Reactive Systems
(*) Memory Analysis
(*) Software Construction & Program Transformation
(*) Reasoning

The preliminary program can be found on the site:

http://www.st.cs.ru.nl/AFP_TFP_2008/documents/preliminary_program_TFP_2008.pdf



VENUE INFORMATION
TFP (and AFP) is held in The Netherlands, at Center Parcs “Het
Heijderbos” which is a holiday resort in the woodlands near the
city of Nijmegen. We accomodate participants in DeLuxe Cottages,
each of which has three separate bed-rooms, shared bathroom,
toilet, kitchen, and terrace. Cottages will be shared by three
participants. If you wish to reduce costs, you can choose to
share a bedroom. The summer school and symposium will take place
in the business center of the venue. Breakfast, lunch and diner
is included within the limits of the venue. The resort features,
amongst others, a sub-tropical swimming pool (free for
participants), restaurants, shops, water sports lake, midget golf
court, squash court, and outdoor and indoor tennis courts.

Nijmegen is considered to be the oldest city of the Netherlands,
being approximately 2000 years old. Nijmegen is located at the
east border of the Netherlands, near Germany. Nijmegen can be
reached easily from several airports such as Schiphol airport,
Eindhoven airport, and Düsseldorf airport, as well as by train
and car. Conveniently close to Center Parcs “Het Heijderbos” you
will find airport Weeze in Germany. The venue Center Parcs “Het
Heijderbos” can be reached from Nijmegen by train to Boxmeer
(25 minutes). From there you will need to order a taxi. The venue
can also be reached by car: parking is free for participants of
AFP and TFP.


SYMPOSIUM FEES
TFP 2008 includes accommodation, symposium, breakfast – lunch –
diner, proceedings, and social event costs. The early registration fee
is € 595; the late registration fee is € 695. For details, we refer
to the site (see above). During the social event we will visit
Nijmegen and have a symposium diner at the river-side of De Waal.


REGISTRATION INFORMATION
Early registration is still possible until april 15 2008. Late
registration opens at april 15 2008. Registration closes at may 5 2008.
We can not guarantee accommodation in case you wish to register later
than may 5 2008. Registration can be done on-line at the site:

http://www.st.cs.ru.nl/AFP_TFP_2008/#RegistrationInformation


IMPORTANT DATES (ALL 2008)
Early Registration Deadline: April 14
Late Registration Opens: April 15
Late Registration Deadline: May 5
TFP Symposium: May 26-28


PROGRAMME COMMITTEE
Peter Achten (co-chair) Radboud Univ. Nijmegen, NL
Andrew Butterfield Trinity College, IE
Manuel Chakravarty Univ. of New South Wales, AU
John Clements Cal Poly State Univ., USA
Matthias Felleisen Northeastern Univ., USA
Jurriaan Hage Utrecht Univ., NL
Michael Hanus Christian-Albrechts Univ. zu Kiel, DE
Ralf Hinze Univ. of Oxford, UK
Graham Hutton Univ. of Nottingham, UK
Johan Jeuring Utrecht Univ., NL
Pieter Koopman (co-chair) Radboud Univ. Nijmegen, NL
Shriram Krishnamurthi Brown Univ., USA
Hans-Wolfgang Loidl Ludwig-Maximilians Univ.München, DE
Rita Loogen Philipps-Univ. Marburg, DE
Greg Michaelson Heriot-Watt Univ., UK
Marco T. Morazán (symp. chair) Seton Hall Univ., USA
Sven-Bodo Scholz Univ. of Hertfordshire, UK
Ulrik Schultz Univ. of Southern Denmark, DK
Clara Segura Univ. Complutense de Madrid, ES
Olin Shivers Northeastern Univ., USA
Phil Trinder Heriot-Watt Univ., UK
Varmo Vene Univ. of Tartu, EE
Viktória Zsók Eötvös Loránd Univ., HU


ORGANIZATION
Symposium Chair: Marco T. Morazán, Seton Hall University, USA
Programme Chair: Peter Achten, Pieter Koopman,
Radboud University Nijmegen, NL
Treasurer: Greg Michaelson, Heriot-Watt University

[Haskell] 2nd call for participation AFP 2008, The Netherlands

[Peter Achten]

 Registration Opens: April 15
Late Registration Deadline: May 5
AFP Summer School: May 19-24


ORGANIZATION
Programme Chair: Rinus Plasmeijer, Pieter Koopman, Radboud
University Nijmegen, NL
Doaitse Swierstra, Utrecht University, NL
Arrangements: Peter Achten, Simone Meeuwsen, Radboud University
Nijmegen, NL
E-mail: [EMAIL PROTECTED]

___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell

[Haskell] Third Call For Papers TFP 2008, The Netherlands (deadline extended march 10 2008)

[Peter Achten]

3RD CALL FOR PAPERS
TRENDS IN FUNCTIONAL PROGRAMMING 2008
RADBOUD UNIVERSITY NIJMEGEN, THE NETHERLANDS
MAY 26-28, 2008
INVITED SPEAKER: PROF. HENK BARENDREGT
http://www.st.cs.ru.nl/AFP_TFP_2008/

[EXTENDED DEADLINE SUBMISSIONS: march 10 2008]
[ SUBMISSION SITE IS OPEN ]
[ REGISTRATION SITE IS OPEN ]

The symposium on Trends in Functional Programming (TFP) is an
international forum for researchers with interests in all aspects of
functional programming languages, focusing on providing a broad view
of current and future trends in Functional Programming. It aspires to
be a lively environment for presenting the latest research results
through acceptance by extended abstracts and full papers. A formal
post-symposium refereeing process selects the best articles presented
at the symposium for publication in a high-profile volume.

TFP 2008 is hosted by the Radboud University Nijmegen, The Netherlands,
and will be held in the rural setting of Center Parcs “Het Heijderbos”,
Heijen (in the vicinity of Nijmegen), The Netherlands.

TFP 2008 is co-located with the 6th Int’l. Summer School on Advanced
Functional Programming (AFP’08), which is held immediately before TFP’08.


SCOPE OF THE SYMPOSIUM
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: leading-edge, previously unpublished research.
Position: on what new trends should or should not be.
Project: descriptions of recently started new projects.
Evaluation: what lessons can be drawn from a finished project.
Overview: 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.

Contributions on the following subject areas are particularly welcomed:
* Dependently Typed Functional Programming
* Validation and Verification of Functional Programs
* Debugging for Functional Languages
* Functional Programming and Security
* Functional Programming and Mobility
* Functional Programming to Animate/Prototype/Implement Systems from
Formal or Semi-Formal Specifications
* Functional Languages for Telecommunications Applications
* Functional Languages for Embedded Systems
* Functional Programming Applied to Global Computing
* Functional GRIDs
* Functional Programming Ideas in Imperative or Object-Oriented
Settings (and the converse)
* Interoperability with Imperative Programming Languages
* Novel Memory Management Techniques
* Parallel/Concurrent Functional Languages
* Program Transformation Techniques
* Empirical Performance Studies
* Abstract/Virtual Machines and Compilers for Functional 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 2008 program chairs, Peter Achten and Pieter
Koopman, at [EMAIL PROTECTED]


SUBMISSION AND DRAFT PROCEEDINGS
Acceptance of articles for presentation at the symposium is based on the
review of full papers (15 pages) and extended abstracts (at least 3 pages)
by the program committee. TFP encourages PhD students to submit papers. PhD
students may request the program committee to provide extensive feedback
on their full papers at the time of submission. Full papers describing
work accepted for presentation must be completed before the symposium for
publication in the draft proceedings and on-line. Further details can be
found at the TFP 2008 website http://www.st.cs.ru.nl/AFP_TFP_2008/.


POST-SYMPOSIUM REFEREEING AND PUBLICATION
In addition to the draft symposium proceedings, we continue the TFP
tradition of publishing a high-quality subset of contributions in the
Intellect series on Trends in Functional Programming.


IMPORTANT DATES (ALL 2008)
Paper Submission: March 10 (extended)
Notification of Acceptance: March 31
Early Registration Deadline: April 14
Late Registration Deadline: May 5
Camera Ready Symposium: May 5
TFP Symposium: May 26-28
Post Symposium Paper Submission: June 20
Notification of Acceptance: September 7
Camera Ready Revised Paper: September 21


PROGRAMME COMMITTEE
Peter Achten (co-chair) Radboud Univ. Nijmegen, NL
Andrew Butterfield Trinity College, IE
Manuel Chakravarty Univ. of New South Wales, AU
John Clements Cal Poly State Univ., USA
Matthias Felleisen Northeastern Univ., USA
Jurriaan Hage Utrecht Univ., NL
Michael Hanus Christian-Albrechts Univ. zu Kiel, DE
Ralf Hinze Univ. of Oxford, UK
Graham Hutton Univ. of Nottingham, UK
Johan Jeuring Utrecht Univ., NL
Pieter Koopman (co-chair) Radboud Univ. Nijmegen, NL
Shriram Krishnamurthi Brown Univ., USA

[Haskell] 1st call for participation AFP 2008, The Netherlands

[Peter Achten]

Late Registration Deadline: May 5
AFP Summer School: May 19-24


ORGANIZATION
Programme Chair: Rinus Plasmeijer, Pieter Koopman, Radboud
University Nijmegen, NL
Doaitse Swierstra, Utrecht University, NL
Arrangements: Peter Achten, Simone Meeuwsen, Radboud University
Nijmegen, NL
E-mail: [EMAIL PROTECTED]

___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell

[Haskell] Second Call for Papers TFP 2008, The Netherlands

[Peter Achten]

2ND CALL FOR PAPERS
TRENDS IN FUNCTIONAL PROGRAMMING 2008
RADBOUD UNIVERSITY NIJMEGEN, THE NETHERLANDS
MAY 26-28, 2008
INVITED SPEAKER: PROF. HENK BARENDREGT
http://www.st.cs.ru.nl/AFP_TFP_2008/

The symposium on Trends in Functional Programming (TFP) is an
international forum for researchers with interests in all aspects of
functional programming languages, focusing on providing a broad view
of current and future trends in Functional Programming. It aspires to
be a lively environment for presenting the latest research results
through acceptance by extended abstracts and full papers. A formal
post-symposium refereeing process selects the best articles presented
at the symposium for publication in a high-profile volume.

TFP 2008 is hosted by the Radboud University Nijmegen, The Netherlands,
and will be held in the rural setting of Center Parcs “Het Heijderbos”,
Heijen (in the vicinity of Nijmegen), The Netherlands.

TFP 2008 is co-located with the 6th Int’l. Summer School on Advanced
Functional Programming (AFP’08), which is held immediately before TFP’08.


SCOPE OF THE SYMPOSIUM
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: leading-edge, previously unpublished research.
Position: on what new trends should or should not be.
Project: descriptions of recently started new projects.
Evaluation: what lessons can be drawn from a finished project.
Overview: 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.

Contributions on the following subject areas are particularly welcomed:
* Dependently Typed Functional Programming
* Validation and Verification of Functional Programs
* Debugging for Functional Languages
* Functional Programming and Security
* Functional Programming and Mobility
* Functional Programming to Animate/Prototype/Implement Systems from
Formal or Semi-Formal Specifications
* Functional Languages for Telecommunications Applications
* Functional Languages for Embedded Systems
* Functional Programming Applied to Global Computing
* Functional GRIDs
* Functional Programming Ideas in Imperative or Object-Oriented
Settings (and the converse)
* Interoperability with Imperative Programming Languages
* Novel Memory Management Techniques
* Parallel/Concurrent Functional Languages
* Program Transformation Techniques
* Empirical Performance Studies
* Abstract/Virtual Machines and Compilers for Functional 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 2008 program chairs, Peter Achten and Pieter
Koopman, at [EMAIL PROTECTED]


SUBMISSION AND DRAFT PROCEEDINGS
Acceptance of articles for presentation at the symposium is based on the
review of full papers (15 pages) and extended abstracts (at least 3 pages)
by the program committee. TFP encourages PhD students to submit papers. PhD
students may request the program committee to provide extensive feedback
on their full papers at the time of submission. Full papers describing
work accepted for presentation must be completed before the symposium for
publication in the draft proceedings and on-line. Further details can be
found at the TFP 2008 website http://www.st.cs.ru.nl/AFP_TFP_2008/.


POST-SYMPOSIUM REFEREEING AND PUBLICATION
In addition to the draft symposium proceedings, we continue the TFP
tradition of publishing a high-quality subset of contributions in the
Intellect series on Trends in Functional Programming.


IMPORTANT DATES (ALL 2008)
Paper Submission: March 3
Notification of Acceptance: March 31
Early Registration Deadline: April 14
Late Registration Deadline: May 5
Camera Ready Symposium: May 5
TFP Symposium: May 26-28
Post Symposium Paper Submission: June 20
Notification of Acceptance: September 7
Camera Ready Revised Paper: September 21


PROGRAMME COMMITTEE
Peter Achten (co-chair) Radboud Univ. Nijmegen, NL
Andrew Butterfield Trinity College, IE
Manuel Chakravarty Univ. of New South Wales, AU
John Clements Cal Poly State Univ., USA
Matthias Felleisen Northeastern Univ., USA
Jurriaan Hage Utrecht Univ., NL
Michael Hanus Christian-Albrechts Univ. zu Kiel, DE
Ralf Hinze Univ. of Oxford, UK
Graham Hutton Univ. of Nottingham, UK
Johan Jeuring Utrecht Univ., NL
Pieter Koopman (co-chair) Radboud Univ. Nijmegen, NL
Shriram Krishnamurthi Brown Univ., USA
Hans-Wolfgang Loidl Ludwig-Maximilians Univ.München, DE
Rita Loogen Philipps-Univ. Marburg, DE
Greg Michaelson Heriot-Watt

[Haskell] First Call for Papers TFP 2008, The Netherlands

[Peter Achten]

CALL FOR PAPERS
TRENDS IN FUNCTIONAL PROGRAMMING 2008
RADBOUD UNIVERSITY NIJMEGEN, THE NETHERLANDS
MAY 26-28, 2008
INVITED SPEAKER: PROF. HENK BARENDREGT
http://www.st.cs.ru.nl/AFP_TFP_2008/

The symposium on Trends in Functional Programming (TFP) is an
international forum for researchers with interests in all aspects of
functional programming languages, focusing on providing a broad view
of current and future trends in Functional Programming. It aspires to
be a lively environment for presenting the latest research results
through acceptance by extended abstracts and full papers. A formal
post-symposium refereeing process selects the best articles presented
at the symposium for publication in a high-profile volume.

TFP 2008 is hosted by the Radboud University Nijmegen, The Netherlands,
and will be held in the rural setting of Center Parcs “Het Heijderbos”,
Heijen (in the vicinity of Nijmegen), The Netherlands.

TFP 2008 is co-located with the 6th Int’l. Summer School on Advanced
Functional Programming (AFP’08), which is held immediately before TFP’08.


SCOPE OF THE SYMPOSIUM
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: leading-edge, previously unpublished research.
Position: on what new trends should or should not be.
Project: descriptions of recently started new projects.
Evaluation: what lessons can be drawn from a finished project.
Overview: 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.

Contributions on the following subject areas are particularly welcomed:
* Dependently Typed Functional Programming
* Validation and Verification of Functional Programs
* Debugging for Functional Languages
* Functional Programming and Security
* Functional Programming and Mobility
* Functional Programming to Animate/Prototype/Implement Systems from
Formal or Semi-Formal Specifications
* Functional Languages for Telecommunications Applications
* Functional Languages for Embedded Systems
* Functional Programming Applied to Global Computing
* Functional GRIDs
* Functional Programming Ideas in Imperative or Object-Oriented
Settings (and the converse)
* Interoperability with Imperative Programming Languages
* Novel Memory Management Techniques
* Parallel/Concurrent Functional Languages
* Program Transformation Techniques
* Empirical Performance Studies
* Abstract/Virtual Machines and Compilers for Functional 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 2008 program chairs, Peter Achten and Pieter
Koopman, at [EMAIL PROTECTED]


SUBMISSION AND DRAFT PROCEEDINGS
Acceptance of articles for presentation at the symposium is based on the
review of full papers (15 pages) and extended abstracts (3 pages) by the
program committee. TFP encourages PhD students to submit papers. PhD
students may request the program committee to provide extensive feedback
on their full papers at the time of submission. Full papers describing
work accepted for presentation must be completed before the symposium for
publication in the draft proceedings and on-line. Further details can be
found at the TFP 2008 website http://www.st.cs.ru.nl/AFP_TFP_2008/.


POST-SYMPOSIUM REFEREEING AND PUBLICATION
In addition to the draft symposium proceedings, we continue the TFP
tradition of publishing a high-quality subset of contributions in the
Intellect series on Trends in Functional Programming.


IMPORTANT DATES (ALL 2008)
Paper Submission: March 3
Notification of Acceptance: March 31
Early Registration Deadline: April 14
Late Registration Deadline: May 5
Camera Ready Symposium: May 5
TFP Symposium: May 26-28
Post Symposium Paper Submission: June 20
Notification of Acceptance: September 7
Camera Ready Revised Paper: September 21


PROGRAMME COMMITTEE
Peter Achten (co-chair) Radboud Univ. Nijmegen, NL
Andrew Butterfield Trinity College, IE
Manuel Chakravarty Univ. of New South Wales, AU
John Clements Cal Poly State Univ., USA
Matthias Felleisen Northeastern Univ., USA
Jurriaan Hage Utrecht Univ., NL
Michael Hanus Christian-Albrechts Univ. zu Kiel, DE
Ralf Hinze Univ. of Oxford, UK
Graham Hutton Univ. of Nottingham, UK
Johan Jeuring Utrecht Univ., NL
Pieter Koopman (co-chair) Radboud Univ. Nijmegen, NL
Shriram Krishnamurthi Brown Univ., USA
Hans-Wolfgang Loidl Ludwig-Maximilians Univ.München, DE
Rita Loogen Philipps-Univ. Marburg, DE
Greg Michaelson Heriot-Watt Univ., UK
Ma

Re: [Haskell] line-based interactive program

[Peter Achten]

end to 
distinguish between read-only actions and write-permitted actions? That 
seems okay.


Minor detail: you use readChar :: FileIO Char within FileReadIO monad. That 
won't type check.



> > An extended version of this approach shall also handle situations like
> > pure reading of files where not all read operations have to be carried
> > out if they are not needed to produce the desired result.  In this case,
> > finishFileIO would just close the file without previously executing the
> > remainder of the file I/O action.  The problem is that it cannot be
> > assured that as yet unevaluated parts of the result aren't evaluated
> > after exeuction of finishFileIO.  Therefore, if evaluation after
> > finishing demands the execution of read operations these operations shall
> > not actually be executed but instead _|_ shall be returned.
>
> This scheme forces the programmer to carefully plan calls to finishFileIO.
> Let's assume that the readEntireFile is a pure reader of files, then the
> program fragment:
> do
>  (r1,h1) <- runFileIO p readEntireFile
>  finishFileIO h1
>  ... computations that use r1 ...
> always use _|_ for r1. It is not always the case that
> do
>  (r1,h1) <- runFileIO p readEntireFile
>  ... computations that use r1 ...
>  finishFileIO h1
> solves the problem, in particular when the computations that use r1 are
> pure functions. You'd have to "connect" r1 to the WorldIO monad before
> doing finishFileIO on h1.

Hmm, I wasn't aware of the fact that in such cases the result actually 
depends

on evaluation order, something which I wanted to avoid.  However, if I choose
to not provide a finishFileIO for read-only actions and implement some kind
of implicit file closing when the whole file is read, it can be indeterminate
if a future runFileIO on the same file fails or not since the question if the
file is already closed or not might depend on evaluation order.

The only solution I can imagine at the moment is to let finishFileIO force 
the

execution of the remaining I/O also in case of read-only actions.  But this
would make implementing something like getContents impossible. :-(  Do you
have an idea for a better approach?

Hmm (thinking...). No.


> How can you tell a function is a pure reader?

By its type.
See above comments: unless you use a separate type for readers like 
FileReadIO, or provide additional information to runFileIO I don't think 
you can distinguish them.



> [...]

> Good luck with your thesis. I'd like to see the final result.

Thank you, that's nice. :-)  Alas, the thesis will be in German so if you
don't understand German all you can do is to see if I will translate the
relevant parts into English. :-(  Of course, the code will also tell a lot.
Please don't go through the trouble of translating to English. My German is 
fairly rusty, but I should be able to manage. We're neighbours after all.



> Regards,
> Peter Achten

Best wishes,
Wolfgang Jeltsch
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell



___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell

Re: [Haskell] line-based interactive program

[Peter Achten]

At 05:01 PM 7/9/2005, Wolfgang Jeltsch wrote:
[..]
Hello,
the idea is to have different monads for I/O on different
resources.  A simple 
example is to have the two monads WorldIO and FileIO and a type
FileIOHandle.  
A file is a part of the world.  You have the following
functions:
    readChar :: FileIO Char
    writeChar :: Char -> FileIO ()
    runFileIO :: FilePath -> FileIO a -> WorldIO (a,
FileIOHandle)
    finishFileIO :: FileIOHandle -> WorldIO 
()
readChar and writeChar should be self-explanatory.  At first,
runFileIO does 
nothing instead of opening the file and returning the result. 
Whenever parts 
of the first component of the result pair are evaluated, as much readChar
and 
writeChar actions of the file I/O action are executed as are needed to

produce the desired parts of the result.  finishFileIO executes the
remainder 
of the file I/O and closes the file afterwards.
I am always interested in functional I/O solutions that adopt the
"world-as-value" paradigm (or the more verbose "explicit
multiple environment passing" paradigm) that has been exploited in
Clean's file I/O system and GUI library. Your idea sounds interesting,
but your explanation above of runFileIO and finishFileIO raises a few
questions:
(1) Suppose you have a file with content "abcde" at path p.
What does the following program fragment yield?

do
    (r1,h1) <- runFileIO p
readEntireFile
    (r2,h2) <- runFileIO p
readEntireFile
    return hd r1 : hd 
r2
where readEntireFile reads the entire file and returns it as a
string. I can imagine several results: [a,a], [a,b], [a,_|_], [_|_,_|_],
_|_.
(2) Can a writer interfere with a reader? Let writeFile :: Integer ->
Char -> FileIO () write n times a given char to a file. What is then
the result of:

do
    (r1,h1) <- runFileIO p
readEntireFile
    (r2,h2) <- runFileIO p
(writeFile 5 'X')
    return (r2,r1)
Does it yield ((),"abcde"), ((),"X"),
(_|_,"abcde"), or _|_? What is the result when (r1,r2) is
returned instead of (r2,r1)?
(3) One of the advantages of an explicit environment passing scheme is
that you get true functional behaviour of programs. As an example, in
Clean you can write a function that tests the content of a file, and if
successfull proceeds with the remainder, and otherwise with its argument
file. (Clean code ahead):

parseInt :: Int File -> (Int,File)
parseInt n file
    | ok && isDigit c = parseInt (n*10+d)
file1
    | otherwise   =
(n,file)
where (ok,c,file1)    = sfreadc file
 
d  
= toInt c - toInt '0'
Does your scheme allow such kind of behavior?
An extended version of this
approach shall also handle situations like pure 
reading of files where not all read operations have to be carried out if
they 
are not needed to produce the desired result.  In this case,
finishFileIO 
would just close the file without previously executing the remainder of
the 
file I/O action.  The problem is that it cannot be assured that as
yet 
unevaluated parts of the result aren't evaluated after exeuction of 

finishFileIO.  Therefore, if evaluation after finishing demands the
execution 
of read operations these operations shall not actually be executed but

instead _|_ shall be returned.
This scheme forces the programmer to carefully plan calls to
finishFileIO. Let's assume that the readEntireFile is a pure reader of
files, then the program fragment:

do
    (r1,h1) <- runFileIO p
readEntireFile
    finishFileIO h1
    ... computations that use
r1 ...
always use _|_ for r1. It is not always the case that

do
    (r1,h1) <- runFileIO p
readEntireFile
    ... computations that use
r1 ...
    finishFileIO h1
solves the problem, in particular when the computations that use r1
are pure functions. You'd have to "connect" r1 to the WorldIO
monad before doing finishFileIO on h1.
How can you tell a function is a pure reader?
I also plan to provide a general
framework for working on parts of the state 
interleaved with working on the remainder of the state.  The
framework shall 
be hierarchical in the sense that you cannot just work on parts of the
world 
but also on parts of parts of the world and so on.  It will probably
use 
multi-parameter classes to describe which thing is part of which other
thing.
When my diploma thesis and the corresponding talk are finished (which
will 
probably at the end of September), I may post a more detailed description
on 
this list and also provide some code.
Good luck with your thesis. I'd like to see the final result.
Regards,
Peter Achten



___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell

Re: [Haskell] regular expression syntax - perl ain't got nothin on haskell

[Peter Achten]

At 16:33 24-2-04 +0100, Johannes Waldmann wrote:
Per Larsson wrote:

But I can't see why the haskell user shouldn't also have access to 
concise text processing notations, e.g. regular expressions and printf,
I was not implying it should be forbidden,
rather I meant to give a reason why text processing
seems to be less common in typical Haskell programs.
> to be used in, e.g. short script-like programs?

sure. but why do we need text processing in scripting?
because the usual OS shells have `string' as their only data type.
we better change that :-) anyone for a fully typed Haskell shell?
I am sorry, but I couldn't resist answering your question: have a look at 
Arjen van Weelden's Famke system [1,2], who has done exactly that (in Clean):

Regards,
Peter Achten
[1] Arjen van Weelden and Rinus Plasmeijer. Towards a Strongly Typed 
Functional Operating System. In Peña, R. ed. Proceedings 14th International 
Workshop on the Implementation of Functional Languages, IFL 2002, Selected 
Papers, Madrid, Spain, September 16-18, 2002, Springer Verlag, LNCS 2670.
ftp://ftp.cs.kun.nl/pub/Clean/papers/2003/vWeA2003-Famke.pdf

[2] Arjen van Weelden and Rinus Plasmeijer. A Functional Shell that 
Dynamically Combines Compiled Code. Submitted to Selected Papers Review of 
Proceedings 15th International Workshop on the Implementation of Functional 
Languages, IFL 2003, Edinburgh, Scotland, September 8-10, 2003
ftp://ftp.cs.kun.nl/pub/Clean/papers/2003/vWeA2003-Esther.pdf

___
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell

RE: ANNOUNCE: Object I/O released

[Peter Achten]

Hello Krasimir,

I am very curious about your implementation of the Object I/O system, but 
unfortunately could not open the .zip files either (same symptoms as Arjan 
van IJzendoorn wrote). Could you check the formats of these files? Thanks 
in advance.

Simon Peyton-Jones wrote:
>Krasimir
>
>|The version that I release is based entirely on LS
>| version. I think that it is more elegant and more
>| useful for customer.
>
>I'm delighted and impressed that you have completed the Object I/O
>port, but I don't think I agree with you about the MVar/LS issue.
>
> A note to other readers: the issue is whether it is better, from
> the programmer's point of view, to use MVars to manipulate
> state, or to use the state parameterisation that Clean uses.
>     This issue is discussed in the paper by Peter Achten and mself
>   http://research.microsoft.com/~simonpj/Papers/haskellobjectio.htm
>
>My defence of the MVar approach is not because I simply
>think that MVars are best for everything!
>It's because I have really struggled to understand the types in the
>Clean I/O system, and they become *so* much simpler when the
>state parameterisation is left out.  And if I struggle, then I fear that
>novice programmers may be in real difficulty.
>
>I think that even Peter Achten thought this too, having done it both
>ways (but I should let him speak for himself).

This issue was one of the key design issues Simon and I had to resolve when 
porting the Clean Object I/O system to Haskell. The arguments in the above 
mentioned paper are still valid. Briefly, one can summarise them as: MVar-s 
offer many significant advantages (simpler types, simpler implementation, 
more expressive power, programming style similar to handling of identifier 
values) but have one disadvantage (state management is done by the 
programmer).

As it happens, I am about to spend a couple of weeks 
(re)designing/implementing/bug-fixing the Object I/O library, and this 
issue is high on my priority list. I think this is a delicate design 
decision that should be taken with care, as it has impact on all existing 
programs  and all implementations :-).

Regards,
Peter

Additional remarks to those of Simon:
>To respond to your points:
>
>|1) In the MVAR version each event handler must like
>| this:
>|
>| eventHandler state = do
>|st <- takeMVar state
>|...
>|...
>|putMVAR state st'
>|
>| In LS version there isn't need of takeMVar/putMVAR and
>| the handler is more easy.

But the reverse case is also true: in the LS version, an event handler must 
modify local state. So a function that is really not interested in the 
local state is either polymorphic in the local state or uses the local 
state lifting function (noLS and noLS1). In the MVAR version one wouldn't 
be bothered with this.

>|
>|2) In MVAR version the event handlers in the device
>| definitions must be defined as curry functions
>|
>| Example MVAR:
>|state <- newMVAR (0::Int)
>|openWindow (Window NilLS [WindowClose (closeWin
>| state)])
>|
>| Example LS:
>|openWindow (0::Int) (Window NilLS [WindowClose
>| closeWin])
>
>Both are true, but you can easily wrap up the state passing
>if that is what you want:
>
>  state <- newMVAR (0::Int)
>  openWindow (Window NilLS [WindowClose (handle state closeWin)])
>
> handle :: MVar a -> (a -> IO a) -> IO ()
> handle m t = do { s <- getMVar m; r <- t s'; putMVar m s' }
>
>Now you can write closeWin :: WinState -> IO WinState
>if you want.
>
>Of course the reference to the state is still explicit, but I do not
>think that is a bad thing.  It tells you where that MVar can be modified
>(and where it can't!).  There might be two pieces of state for one
>component,
>one modified by one set of events and one by another, and it would be
>nice
>to make that apparent.
>
>
>|   3) Modification of local state doesn't mean
>| modification of device behaviour. The behaviour of the
>| device is described with both local state and internal
>| device data. This means that direct access to the
>| state isn't a good idea. In the LS version the local
>| state is encapsulated in the device and I think that
>| this is more OOP style.
>
>I don't understand this; you can encapsulate the MVars too, in just
>the same way:
>
>windowDevice = do { s <- newMVar 0;
> openWindow ... }
>
>No caller of WindowDevice can see the encapsulated MVar.

The main point of 'LS advocates' is that encapsulation is guaranteed by 
construction, while it is a program property in the MVAR system. This is of 
course a GOOD thing. However,

RE: GUI Library Task Force

[Peter Achten]

At 18:53 25-9-01 +1000, Manuel Chakravarty wrote:

>"Simon Peyton-Jones" <[EMAIL PROTECTED]> wrote,
>
> > | * Start from the API of GTK+ as a base line:
> >
> > That's fine by me.  But can I suggest that the task force be sure
> > to read the details of the Clean GUI library design.   Peter Aachten
> > (while visiting Cambridge) rendered a good chunk of it into Haskell,
> > using MVars exactly as you describe.   (The type structure became
> > a good deal simpler than the Clean library when using MVars instead
> > of state-passing.)
> >
> > The reason I think its worth a careful look is that the Clean folk have
> > developed their library interface over a long period, and have a lot
> > of experience in its use.  It is not specific to any one platform or
> > toolkit, nor does it attempt to implement everything, so its general
> > goals fit with the ones you describe.
>
>I have looked at the Clean Object IO.  While it is certainly
>worthwhile to take from this approach whatever we can, I
>have a number of reasons why I am not convinced that the
>model itself should be adopted for the Haskell GUI:
>
>* Non-standard extensions: It requires concurrency and
>   judging by Section 6 rank-2 polymorphism.  I am not quite
>   sure how crucial the later is.

This is not what it says in the paper. Clean doesn't have concurrency and 
rank-2 polymorphism. In the paper we explicitly state that we wanted to 
play with GHC features, but none of these are necessary to implement Object 
I/O in Haskell. The only exception to the rule are existential types. In 
this sense I agree with Alexander Jacobson, who wrote:

>I was opposing constraining it to H98 as it exists today rather than
>what we can reasonably expect it to be fairly shortly.
>
>To restate: If the GUI effort can get done either more quickly, more
>elegantly, or with a nicer API, using some features that we all expect
>Haskell to have very shortly (as addenda), it should use them.
>(Especially if the timeline for completion of the GUI basically matches
>the timeline for these features to be added to Haskell.)

Even existential types are not really needed. Existential types, in the way 
they are used in the Object I/O library, can be completely implemented via 
functions. Clean Object I/O also existed before we had existential types... 
. However, existential types are infinitely more elegant and easy and 
readable and efficient (etc...) to use than this programming technique.

>* It integrates facilities for concurrent and distributed
>   programming (asynchronous communication via channels).  I
>   still think, we can keep the GUI API and concurrency as
>   two orthogonal features.  If you take these features out
>   and use IORefs instead of MVars, you are already quite
>   close to the model that we currently aim at.

As said, you don't need concurrency.


>* I am not a big fan of introducing an extra monad (`GUI' in
>   this case).  It can easily become a pain in programs that
>   do a lot of "normal" IO as you have to lift all IO
>   functions to GUI.

This occurs only on the outermost level. I am always in favor of better 
solutions. Simon and I have looked if we could use an 'automatic' approach 
using functional dependencies, but then this would use another extension.

>* After this, the main difference that remains is the
>   representation of GUI components as a vanilla data type
>   instead of opaque handles that do not make the structure
>   of the components explicit in the types (like the TupLS
>   does).  From the paper, it wasn't clear to me how useful
>   that is for the application programmer.

You are right. This was not the point of this particular paper. More about 
this matter appeared in:


Achten, P. and Plasmeijer, R. Interactive Functional Objects in Clean. In 
Clack, C., Hammond, K., Davie, T. eds. Proceedings of the 9th International 
Workshop Implementation of Functional Languages, IFL'97, St.Andrews, 
Scotland, UK, September 1997, Selected papers, LNCS 1467, Springer, pp. 
304-321.



Regards,
Peter Achten


___
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell

Re: The future of Haskell discussion

[Peter Achten]

At 09:58 14-9-01 +0200, Wolfgang Jeltsch wrote:

>I didn't mean that a Haskell binding to wxWindows should be made. I meant
>that the strategy of wxWindows should be used also for a Haskell GUI library.
>This strategy is to define a common GUI interface and provide implementations
>for different platforms based on different libraries like GTK+ (for GNOME),
>Qt (for KDE), Win32.

This strategy has been followed by the pilot project that has been 
described in [1]. In this project we have ported a crucial subset of the 
Clean Object I/O library to Haskell. The Clean Object I/O library is used 
for major projects such as the Clean IDE and the Clean theorem prover 
SPARKLE by Maarten de Mol.
The pilot port has been done on a Windows platform, so that we could reuse 
the primitive implementation layer. To port it to a more Unix friendly 
environment, I guess Manuel Chakravarty's GTK binding library is very well 
suited.

You can find the results from the pilot project in the GHC CVS repository at
 fptools/hslibs/object-io

The current state of affairs is due to severe lack of time a little 
unsatisfactory... To make this project manageable, it would be good to have 
some kind of automatic translator (nothing fancy, just a specialised 
translator from Clean Object I/O to Haskell Object I/O would do) that will 
derive the Haskell version from the Clean version that I do maintain. I 
haven't had time yet to make such a tool.

Regards,
Peter Achten

--
[1] Peter Achten and Simon Peyton Jones, "Porting the Clean Object I/O 
Library to Haskell", in Mohnen, M. and Koopman, P. (eds) Proceedings of 
12th International Workshop Implementation of Functional Languages, 
IFL2000, Aachen, Germany, September 2000, Selected Papers, Springer, LNCS 
2011, pp. 194-213.

ftp://ftp.cs.kun.nl/pub/Clean/papers/2001/achp2001-HaskellObjectIO.ps.gz
ftp://ftp.cs.kun.nl/pub/Clean/papers/2001/achp2001-HaskellObjectIO.pdf


___
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell

Re: Extensible data types?

[Peter Achten]

At 12:55 26-9-00 -0300, Prof. José Romildo Malaquias wrote:

[...skip...]
This solution works great for the data type, but, at least
to me, it seems to make it too dificult to write functions
over ExprExt.

Consider for example the original version of the addition
operation (somehow simplified) on the original Expr data type

  data Fn = Sum | Pro | Pow

  data Expr = Int Integer | Cte String | Var String | App Fn
[Expr]

  add :: Expr -> Expr -> Expr
  add (Int x) (Int y) = Int (x + y)
  add (Int 0) x   = x
  add x   (Int 0) = x
  add x  
y   = App Sum [x,y]
[...skip...]

The problem with this function definition is that it, if you would
transform it using the scheme as I suggested earlier, returns results of
different types depending on the *value* of the first argument. You can
see this in the first two alternatives of add. If both arguments are of
type INT, then the result is of type INT. If the first argument has value
(INT 0) then the result has the same type as the second argument (which
can be CTE, VAR, or APP). Basically, it is the same problem as giving a
type to a function f which result type depends on its argument
value:

f 0 = "Zero"
f 1 = 1.0
f 2 = '2'

I don't think this can be solved readily in Haskell. It sounds as if you
need something like dynamic typing. I have added a reference [1] below
(for Clean; anybody out here with refs to dynamics in Haskell?). In any
case, that will not help you *right now*.

Finally, you remark:
The use of an existentialy quantified
variable
would solve this,

  data Expr
= 
Int Integer
   
| 
Cte String
   
| 
Var String
    |
forall a . (FnExt fn) => App fn Expr

but would make it to difficult to extend the
data type with new value constructors.
I am not sure if this will really help you. This will bring you back to
your initial problem: namely to extend constructors. In addition, the
solution also relies on the class member functions of FnExt.

Regards,
Peter

--
[1] Pil, M.R.C. (1999), Dynamic types and type
dependent functions, In Proc. of Implementation of
Functional Languages (IFL '98), London, U.K., Hammond, Davie and
Clack Eds., Springer-Verlag, Berlin, Lecture Notes in Computer Science
1595, pp 169-185. 

Re: Extensible data types?

[Peter Achten]

At 11:18 25-9-00 -0300, Prof. José Romildo Malaquias wrote:

[...skip...]
>And then how would I define data types based on Fn ? The math expressions
>my system has to deal is expressed as something like
>
> data Expr = Int
>   | App Fn [Expr]
>
>I cannot just define
>
> data (FnExt fn) => Expr fn = Int
>| App fn [Expr fn]
>
>because the second value constructor would not be general enough
>and the values of the second form would be all sums, or all products,
>and so on.

[...skip...]

>Anny comments?


The trick is to construct all of your recursive data structures also in an 
overloaded fassion. I have worked out your example (and checked it with GHC 
4.08.1). See below.

The first part is what I said in my last e-mail. The second part handles 
extensible expressions. You go through the same routine: (1) define an 
extensible type constructor class for Expr (ExprExt), (2) split your Expr 
data alternatives into separate type constructors (INT, CTE, VAR, and APP), 
and (3) define these types as instances of ExprExt.

The interesting case is obviously (APP fn expr). As you can see below, you 
express to what type constructor classes the parameters should belong.

In addition, we have found it to be convenient in the Object I/O Library to 
have a number of additional type constructors that are declared to be 
instances, namely to construct lists (List) and pairs (Pair). See also below.

Regards,

Peter

==
-- (1) for Fn
class FnExt a where
  -- Define your class member functions here
-- (2)
data Sum = Sum
data Pro  = Pro
data Pow  = Pow
-- (3)
instance FnExt Sum where fn x = x
instance FnExt Pro where fn x = x
instance FnExt Pow where fn x = x

-- (1) for Expr
class ExprExt a where
  -- Define your class member functions here
-- (2)
data INT = INT Integer
data CTE = CTE String
data VAR = VAR String
data APP fn expr = APP fn expr
-- (3)
instance ExprExt INT where ...
instance ExprExt CTE where ...
instance ExprExt VAR where ...
instance (FnExt fn,ExprExt expr) => ExprExt (APP fn expr) where ...

-- Convenient types when constructing lists and pairs:

data List expr  -- Lists for convenience when you do have expressions 
of same type
 = List [expr]
infixr 9 :^:-- This is basically a tuple, but you can leave out 
brackets
data Pair expr1 expr2
 = expr1 :^: expr2

instance (ExprExt e) => ExprExt (List e) where ...
instance (ExprExt e1,ExprExt e2) => ExprExt (Pair e1 e2) where ...

Re: Extensible data types?

[Peter Achten]

At 07:46 25-9-00 -0300, Prof. José Romildo Malaquias wrote:

>Hello.
>
>Is there any Haskell implementation that supports
>extensible data types, in which new value constructors
>can be added to a previously declared data type,
>like
>
> data Fn = Sum | Pro | Pow
> ...
> extend data Fn = Sin | Cos | Tan
>
>where first the Fn datatype had only three values,
>(Sum, Pro and Pow) but later it was extended with
>three new values (Sin, Cos and Tan)?
>
>What are the pointers to documentation on such
>kind of extensions to Haskell?

In the Clean Object I/O library we encountered a similar challenge and 
solved it using type constructor classes. The solution can also be used in 
Haskell. The basic idea is as follows:

(1) For each type constructor that has to be extensible you introduce a 
type constructor class;
(2) For each of the data constructors of such type constructors you 
introduce a new type constructor (reusing their name is very convenient);
(3) For each such new type constructor define it as an instance of the type 
constructor class that was created from its parent type constructor.

Example:

(1) From type constructor Fn you create:
class FnExt where
 ...   -- Define your class member functions here

(2) From the data constructors Sum | Pro | Pow you create:
data Sum = Sum
data Pro  = Pro
data Pow  = Pow

(3) For each newly defined type constructor in (2) you define an instance:
instance FnExt Sum
instance FnExt Pro
instance FnExt Pow


All of your functions that previously were defined on Fn are now overloaded 
functions:

fun :: ... Fn ... -> ... Fn ...

becomes:

fun :: (FnExt fn) => ... fn ... -> ... fn ...

I hope you find this scheme useful. I guess its applicability depends on 
your particular class member functions and program.

Regards,
Peter Achten

=
References: although the perspective in the Clean Object I/O library is on 
the data structures with generic interpretation functions, the technique is 
basically the same as described here.

In my PhD Thesis you can find an early reference:
* The reference:
Achten, P.M. Interactive Functional Programs - Models, Methods, and 
Implementation. PhD thesis, University of Nijmegen, 1996.
* The abstract at:
http://www.cs.kun.nl/~peter88/PeterThesisCh6.html
* The chapter at:
ftp://ftp.cs.kun.nl/pub/CSI/SoftwEng.FunctLang/papers/achp96-thesis6.ps.gz

A more modern version can be found here:
* The reference:
Achten, P.M. and Plasmeijer, M.J. Interactive Functional Objects in Clean. 
In Clack, C., Hammond, K., and Davie, T. eds., Proceedings 9th 
International Workshop Implementation of Functional Languages, IFL'97, 
St.Andrews, Scotland, UK, September 1997, selected papers, LNCS 1467, 
Springer, pp. 304-321.
* The abstract at:
ftp://ftp.cs.kun.nl/pub/Clean/papers/1998/achp97-InteractFuncObjects.abs
* The paper at:
ftp://ftp.cs.kun.nl/pub/Clean/papers/1998/achp97-InteractFuncObjects.ps.gz