[TYPES/announce] Final 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
Tue Mar 20 11:10:07 EDT 2012


[In short: submissions of papers & ext'd abstracts by March 26th; registration by April 11th;
 TFP12 symposium June 12-14th;  Apologies for multiple copies of this call -- HWL ]


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

Selected  papers will  be published  as  a Springer  Lecture Notes  in
Computer Science (LNCS: http://www.springer.com/lncs) 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 a technical  workshop on Patterns
for MultiCores (ParaPhrase/Release projects).

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 tfp12 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 papers  for presentation at the symposium  is based on a
lightweight peer review  process of extended abstracts (2  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. Latex style files are available from Springer's web
page (llncs2e.zip), and are linked below.

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.
Paper submission is done through TFP12's easychair page:
  https://www.easychair.org/conferences/?conf=tfp12 

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  will continue the
previous  years'  decision  of  publishing a  high-quality  subset  of
contributions in the Springer Lecture Notes in Computer Science (LNCS)
series.   Proceedings of  the  last  two instances  of  TFP have  been
published as LNCS 6546 (TFP10) and LNCS 7193 (TFP11).  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


             REGISTRATION


Registration for TFP12, as well  as the adjoined workshops, is handled
through the on-line registration page below.  Note that for guaranteed
on-site  accommodation, registration  must be  completed by  the early
registration deadline of April 11th, 2012.
 http://onlineshop.st-andrews.ac.uk/browse/product.asp?catid=34&modid=2&compid=1

                                
             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.


             LINKS


Main TFP12 page:	http://www.tifp.org/TFP12.html
TFP home page:	http://www.tifp.org/
Submission page:	https://www.easychair.org/conferences/?conf=tfp12
Latex style files:	ftp://ftp.springer.de/pub/tex/latex/llncs/latex2e/llncs2e.zip
Registration page:	http://onlineshop.st-andrews.ac.uk/browse/product.asp?catid=34&modid=2&compid=1
Facebook page:	http://www.facebook.com/pages/TFP-Symposium-Series-on-Trends-in-Functional-Programming/118379188198725

-- 
  Hans-Wolfgang Loidl


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






More information about the Types-announce mailing list