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

Hans-Wolfgang Loidl H.W.Loidl at hw.ac.uk
Wed Dec 21 00:26:17 CET 2011


[ In short: submissions by March 26th; event June 12-14th, St Andrews, UK
  Apologies for multiple copies of this Call -- HWL ]


                           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 tfp2012 at easychair.org


             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.


-- 
  Hans-Wolfgang Loidl

Room:   G48
Tel:    +44 131 451 3421  
Fax:    +44 131 451 3327
Skype:  hwloidl
URL:    http://www.macs.hw.ac.uk/~hwloidl

School of Mathematical and
Computer Sciences,
Heriot-Watt University,
Riccarton,
Edinburgh EH14 4AS
Scotland, U.K.










More information about the ecoop-info mailing list