[TYPES/announce] Final CfP (extension): Trends in Functional Programming 2013
Jay McCarthy
jay.mccarthy at gmail.com
Wed Apr 3 09:51:43 EDT 2013
FINAL CALL FOR PAPERS (DEADLINE EXTENSION)
14th International Symposium
Trends in Functional Programming 2013
Brigham Young University, Utah, U.S.A.
May 14-16, 2013
http://faculty.cs.byu.edu/~jay/conferences/2013-tfp/
[The deadline has been extended two weeks from April 2nd to April
16th.]
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 2013 will be the main event of a pair of functional programming
events at Brigham Young University. First will be the International
Workshop on Trends in Functional Programming in Education and then
TFP.
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, and in
St. Andrews (UK) in 2012. 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
. Functional programming in education
. 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 2013 program chair, Jay McCarthy,
at tfp2013 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 screening 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 2013 website.
Paper submission is done through TFP13's EasyChair page:
https://www.easychair.org/conferences/?conf=tfp2013
Important dates (2013):
Full papers/extended abstracts submission: March 2nd to April 16th,
2013 (extended)
Notification of acceptance for presentation: Submission + one week
Early registration deadline: Tuesday, April 16th, 2013
Late registration deadline: Tuesday, May 14th, 2013
Camera ready for draft proceeding: Tuesday, May 7th,
2013 (extended)
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 three instances of TFP have been
published as LNCS 6546 (TFP10), LNCS 7193 (TFP11), and LNCS TBA
(TFP12). 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 (2013):
TFP 2013 Symposium: Tuesday, May 14th, 2013 -- Thursday May 16, 2013
Student papers feedback: Friday, May 24th, 2013
Submission for formal review: Friday, June 21st, 2013
Notification of acceptance for LNCS: Friday, August 30th, 2013
Camera ready paper: Friday, September 27th, 2013
REGISTRATION
Registration for TFP13, 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.
http://ce.byu.edu/cw/tfp/
TFP 2013 ORGANIZATION
Steering Committee Chair: Marko van Eekelen, Radboud University Nijmegen
and Open University, NL
Steering Committee Treasurer: Hans-Wolfgang Loidl, Heriot-Watt University, UK
Steering Committee Secretary: Marco T. Morazán, Seton Hall
University, New Jersey, U.S.A.
Symposium Organization Chair: Jay McCarthy, Brigham Young University,
Utah, U.S.A
Local Arrangements: Jay McCarthy, Brigham Young University,
Utah, U.S.A
TFP 2013 PROGRAMME COMMITTEE
Chair: Jay McCarthy from Brigham Young University
Andy Gill from the University of Kansas
Arjun Guha from Cornell University
Clara Segura from Complutense University of Madrid
Henrik Nilsson from University of Nottingham
James Caldwell from the University of Wyoming
John Clements from California Polytechnic State University
Jurriaan Hage from Universiteit Utrecht
Keiko Nakata from Institute of Cybernetics at Tallinn
University of Technology
Marko van Eekelen from Open University of the Netherlands and
Radboud University Nijmegen
Nikhil Swamy from Microsoft Research
Rita Loogen from Philipps-Universität Marburg
Sergio Antoy from Portland State University
Suresh Jagannathan from Purdue University
Tom Schrijvers from Ghent University
Viktória Zsók from Eötvös Loránd University, Budapest
Wolfgang De Meuter from Vrije Universiteit Brussel
SPONSORS
TFP 2013 is sponsored by the Brigham Young University
Computer Science department.
INVITED SPEAKER
In this instance of TFP, an invited talk will be given by Jeremy Siek,
Assistant Professor at University of Colorado at Boulder. Prof Siek
will be talking on the gradual typing approach to mixing static and
dynamic typing.
LINKS
Main TFP13 page: http://faculty.cs.byu.edu/~jay/conferences/2013-tfp/
TFP home page: http://www.tifp.org/
Submission page: https://www.easychair.org/conferences/?conf=tfp2013
Latex style files: ftp://ftp.springer.de/pub/tex/latex/llncs/latex2e/llncs2e.zip
Registration page: http://ce.byu.edu/cw/tfp/
--
Jay McCarthy <jay at cs.byu.edu>
Assistant Professor / Brigham Young University
http://faculty.cs.byu.edu/~jay
"The glory of God is Intelligence" - D&C 93
More information about the Types-announce
mailing list