[TYPES/announce] CFP: TFP12, Trends in Functional Programming 2012, St Andrews, U.K., June 12-14, 2012
H.W.Loidl at hw.ac.uk
Mon Mar 5 18:17:32 EST 2012
[In short: submissions of papers & ext'd abstracts by March 26th; TFP12 symposium June 12-14th;
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
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
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
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:
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
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 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.
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
TFP 2012 is sponsored by Erlang Solutions Ltd. and the Scottish
Informatics and Computer Science Alliance (SICSA).
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.
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
School of Mathematical and
Edinburgh EH14 4AS
More information about the Types-announce