CFP: TFP12, Trends in Functional Programming 2012, St Andrews, U.K., June 12-14, 2012

**********************************************************************

*                                                                    *

*                           CALL FOR PAPERS                          *

*                   13th International Symposium                     * 

*                Trends in Functional Programming 2012               *

*                          St Andrews, U.K.                          *

*                          June 12-14, 2012                          *

*                   http://www.tifp.org/TFP12.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), 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.  Following   the  precedent   of  the  TFP10   and  TFP11

proceedings, we plan to publish  selected papers as a Springer Lecture

Notes in Computer Science volume.

TFP 2012  will be the main  event of a week  of functional programming

extravaganza at the University of St Andrews. The week will start with

the  International Workshop  on  Trends in  Functional Programming  in

Education,  followed by TFP,  followed by  a workshop  on 75  years of

Lambda Calculus, an Erlang day,  and two workshops covering the highly

trendy topic of parallel programming: a technical workshop on Patterns

for  MultiCores (ParaPhrase  project)  and the  Third SICSA  MultiCore

Challenge Workshop.

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, and in Madrid  (Spain) in 2011.  For

further general information  about TFP please see the  TFP homepage at

http://www.tifp.org/.

             SCOPE OF THE SYMPOSIUM

The  symposium recognises 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:    summarising 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.

Articles on the following subject areas are particularly welcome:

. 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 verify/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 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 2012 program  chair, Hans-Wolfgang Loidl,

at [email protected]

             BEST STUDENT PAPER AWARD

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.

             SUBMISSION AND DRAFT PROCEEDINGS

Acceptance of articles for presentation at the symposium is based on a

lightweight peer review  process of extended abstracts (6  to 10 pages

in length) or full papers (max 16 pages). Accepted abstracts are to be

completed to full  papers before the symposium for  publication in the

draft proceedings.

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. Formatting  details can  be found at  the TFP  2012 website.

Submission procedures  will be posted on  the TFP 2012  website as the

submission deadline is approaching.

Important dates (2012):

 Full papers/extended abstracts submission:     March 26th

 Notification of acceptance for presentation:   April 4th

 Early registration deadline:                   April 11th

 Camera ready for draft proceeding:             May 28th

The  papers of  the  local  proceedings will  also  be made  available

on-line under  some copyright conditions,  with which all  authors are

asked to agree.

             POST-SYMPOSIUM REFEREEING AND PUBLICATION

In addition  to the symposium  draft proceedings, we plan  to continue

the previous  years' decision of  publishing a high-quality  subset of

contributions  in  the  Springer  Lecture Notes  in  Computer  Science

series.   All TFP  authors will  be invited  to submit  revised papers

after the  symposium. These will  be refereed using  normal conference

standards and a  subset of the submitted papers,  over all categories,

will  be selected  for publication.   Papers will  be judged  on their

contribution to the research area with appropriate criteria applied to

each category of paper.

Student papers will  be given extra feedback by  the Program Committee

in order to  assist those unfamiliar with the  publication process and

to help in improving the quality of the paper.

Important dates (2012):

 TFP 2012 Symposium:                    June 12-14th

 Student papers feedback:               June 22nd

 Submission for formal review:          July 9th

 Notification of acceptance for LNCS:   September 17th

 Camera ready paper:                    October 15th

             TFP 2012 ORGANIZATION                    

 Steering Committee Chair:     Marko van Eekelen, Radboud University Nijmegen 

                               and Open University, NL 

 Steering Committee Treasurer: Hans-Wolfgang Loidl, Heriot-Watt University, UK

 Symposium Organization Chair: Kevin Hammond, University of St. Andrews, UK

 Local Arrangements:       Edwin Brady, Vladimir Janjic, University of St. Andrews, UK

             TFP 2012 PROGRAMME COMMITTEE

Peter Achten, Radboud University Nijmegen, The Netherlands

Jost Berthold, University of Copenhagen, Denmark

Edwin Brady, University of St. Andrews, U.K.

Matthias Blume, Google, U.S.A.

Clemens Grelck, University of Amsterdam, The Netherlands

Kevin Hammond, University of St. Andrews, U.K.

Graham Hutton, University of Nottingham, U.K

Patricia Johann, University of Strathclyde, U.K.

Hans-Wolfgang Loidl (PC Chair), Heriot-Watt University, U.K.

Jay McCarthy,        Brigham Young University, Utah, U.S.A.

Rex Page, University of Oklahoma, U.S.A.

Ricardo Peña, Complutense University of Madrid, Spain

Kostis Sagonas, Uppsala University, Sweden

Manuel Serrano, INRIA Sophia Antipolis, France

Mary Sheeran, Chalmers, Sweden

Nikhil Swamy, Microsoft Research, Redmond, U.S.A.

Phil Trinder, Heriot-Watt University, U.K.

Wim A Vanderbauwhede, University of Glasgow, U.K.

Marko van Eekelen, Radboud University Nijmegen, The Netherlands

David Van Horn, Northeastern University, U.S.A.

Malcolm Wallace, Standard Chartered, U.K.

Viktória Zsók, Eötvös Loránd University, Hungary

             SPONSORS

TFP  2012 is  sponsored  by  Erlang Solutions  Ltd.  and the  Scottish

Informatics and Computer Science Alliance (SICSA).

             INVITED SPEAKER

In this  instance of  TFP, an invited  talk will  be given by  David A

Turner,  Professor  emeritus  at   Middlesex  University  and  at  the

University of  Kent, inventor  of Miranda, KRC  and SASL.  Prof Turner

will be talking on the history of functional programming languages.