posted by system || 2142 views || tracked by 3 users: [display]

TFP 2010 : 11th Symposium on Trends in Functional Programming

FacebookTwitterLinkedInGoogle


Conference Series : Trends in Functional Programming
 
Link: http://www.cs.ou.edu/tfp2010
 
When May 17, 2010 - May 19, 2010
Where Norman, OK, USA
Submission Deadline Apr 9, 2010
Notification Due Apr 15, 2010
Categories    functional programming   programming languages
 

Call For Papers

The University of Oklahoma will host the Eleventh Symposium on Trends in Functional Programming on its campus in Norman, Oklahoma, May 17-19, 2010. The symposium is an international forum for researchers with interests in all aspects of functional programming. It embraces a broad view of current and future trends in Functional Programming and aspires to be a lively environment for presenting the latest research results. TFP considers both full papers and extended abstracts for presentation at the symposium. A formal refereeing process after the symposium selects the best presentations for publication in a high-profile volume. Further information about the history and aims of the symposium can be found on its home page: http://www.tifp.org/
Scope of the Symposium

TFP solicits high-quality articles in any of five categories:
Research Articles leading-edge, previously unpublished research
Position Papers advocating or critiquing new trends
Project Descriptions descriptions of new or recently initiated projects
Project Evaluations lessons drawn from completed projects
Overview Articles summaries of trendy work

Articles must be original and not submitted to any other forum for publication. They may consider any aspect of functional programming. Theory, implementation, experience, applications, and the use of functional programming methods in other languages all lie within the scope of the symposium. Articles on the following subject areas are particularly welcomed:

* Validation and verification of functional programs
* Debugging for functional languages
* Functional programming and security
* Functional programming and mobility
* Functional programming to animate/prototype/implement systems from formal or semi-formal specifications
* Functional languages for telecommunications applications
* Functional languages for embedded systems
* Implementations or applications of functional domain specific languages
* Exemplary applications in languages such as Lisp, Scheme, ML, Erlang, Clean, Haskell, and F#
* Functional programming applied to global computing
* Functional grids
* Functional programming ideas in imperative or object-oriented settings (and the converse)
* Interoperability with imperative programming languages
* Novel memory management techniques
* Parallel/concurrent functional languages
* Implementations and applications targeting multi-core chips
* Program transformation techniques
* Empirical or analytical performance studies
* Abstract/virtual machines and compilers for functional languages
* Dependently typed functional programming
* New implementation strategies
* Any new, emerging trend in functional programming

If you are in doubt about the suitability of your topic for TFP, please contact the program chair, Rex Page, at tfp2010@ou.edu
Best Student Paper Award

TFP traditionally pays special attention to research conducted by students, acknowledging that students commonly develop new subject trends. A prize for the best student paper is awarded each year.
Preparing and Submitting Manuscripts

Full papers (up to 15 pages) and extended abstracts (3 to 6 pages, to be expanded to full papers if accepted) submitted for presentation at the symposium are screened by the program committee. A draft proceedings available at the conference will contain all accepted papers and all accepted abstracts that have been expanded to full papers. Each submission must declare its category (research, position, project, evaluation, or overview).

A student paper is one for which the first author is a PhD student. Authors who are students should so indicate when they submit their article. The Program Committee will provide extra feedback for student papers to help compensate for differences between students and other researchers in experience with the publication process.

The post-symposium proceedings will appear in the Springer series, Lecture Notes in Computer Science.
Prepare your manuscipt using the Springer LNCS LaTeX2e guidelines for proceedings and multiauthor volumes.
Download author instructions, examples, and required LaTeX2e files from the LNCS website.
You will need to supply both a PDF file and the LaTeX2e source files for your paper.
Pay particular attention to Springer LNCS requirements for references and author names.

Deadlines
Paper/abstract submission deadline April 9, 2010
Notification of acceptance April 15, 2010
Early registration deadline April 16, 2010
Accommodations Hotel: Book by April 16, 2010
Shared Cottage: Book by May 7, 2010
Camera-ready full paper deadline May 7, 2010, 11:59pm CDT
Registration deadline May 7, 2010

TFP Symposium

May 17-19, 2010
Student feedback reports from PC June 7, 2010
Revised paper deadline June 25, 2010, 11:59pm CDT
Notification of acceptance September 2, 2010
Camera-ready paper deadline September 24, 2010, 11:59pm CDT
Online submission

Submit the PDF file for your paper or extended abstract through EasyChair by the submission deadline.
EasyChair submission link: https://www.easychair.org/login.cgi?conf=tfp2010

Authors whose papers are accepted must supply both PDF and LaTeX2e source files by the camera-ready deadline.

Online draft proceedings

All authors are asked to agree to the following terms, to make all papers available in an online, draft proceedings:
The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

Post-Symposium Refereeing and Publication

In addition to the draft symposium proceedings, TFP 2010 continues the tradition of publishing a high-quality volume containing the best papers from the symposium. All TFP authors will be invited to submit revised papers after the symposium. These will be refereed using normal conference standards, and the best papers will be selected for publication in the Springer series, Lecture Notes in Computer Science. Papers will be judged on their contributions with appropriate criteria applied to each category of paper.

Related Resources

TFP 2019   20th Symposium on Trends in Functional Programming
POPL 2020   ACM SIGPLAN Symposium on Principles of Programming Languages 2020
WAPL 2019   7th Workshop on Advances in Programming Languages
Lambda World 2019   Lambda World Cádiz
WFLP 2019   27th International Workshop on Functional and (Constraint) Logic Programming
TyDe 2019   4th Workshop on Type-Driven Development (TyDe 2019)
FACS 2019   Formal Aspects of Component Software
FHPNC 2019   Functional High-Performance and Numerical Computing
Kotliners 2019 CfP 2019   Kotliners 2019 Call for Papers
FTfJP 2019   21st Workshop on Formal Techniques for Java-like Programs