*********************************************************
LAST CALL FOR PAPERS and CALL FOR PARTICIPATION
12th International Symposium
Trends in Functional Programming 2011
Madrid, Spain
May 16-18, 2011
http://dalila.sip.ucm.es/tfp11
*********************************************************
SUBMISSION AND REGISTRATION DATES APPROACHING (2011)
Full papers/extended abstracts submission: April 2nd
Notification of acceptance for presentation: April 15th
Early registration deadline: April 25th
Camera ready for draft proceeding: April 30th
INVITED SPEAKER
In this TFP edition, an invited talk will be given by Neil Mitchell
(http://community.haskell.org/~ndm/), who finished his PhD thesis on
'Transformation and Analysis of Functional Programs' at the University of
York, England, and is currently working for the Standard Chartered
Bank. The title of the talk is 'Finding functions from types', and will be
about the Hoogle tool (http://haskell.org/hoogle).
DESCRIPTION
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, as a Springer Lecture Notes in
Computer Science volume, as they were for the TFP-2010 selected papers.
TFP 2011 is going to be held in the Computer Science Faculty of Complutense
University of Madrid, on May 16-18, 2011. It will be co-located with the
2nd International Workshop on Foundational and Practical Aspects of
Resource Analysis (FOPARA 2011) (http://dalila.sip.ucm.es/fopara11/). This
collocation could make such a gathering a very interesting event and will
allow researchers from the two communities to exchange ideas.
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, and
in Oklahoma (USA) in 2010. 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:
o Dependently typed functional programming
o Validation and verification of functional programs
o Debugging for functional languages
o Functional programming in different application areas: security, mobility,
telecommunications applications, embedded systems, global computing, grids
etc.
o Functional languages for reasoning about imperative/object-oriented
programs
o Interoperability with imperative programming languages
o Novel memory management techniques
o Program transformation techniques
o Empirical performance studies
o Abstract/virtual machines and compilers for functional languages
o New implementation strategies
o 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 2011 program chair, Ricardo Pe~na, at tfp2011 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 (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 2011 website.
Submission procedures will be posted on the TFP 2011 website as the
submission deadline is approaching.
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 (see http://dalila.sip.ucm.es/tfp11/).
POST-SYMPOSIUM REFEREEING AND PUBLICATION
In addition to the symposium draft proceedings, we will continue the last
year decision of publishing a high-quality subset of contributions in the
Springer Lecture Notes in Computer Science series (previous editions were
published by Intellect). 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.
Important dates (2011):
TFP 2011 Symposium: May 16-18th
Student papers feedback: June 6th
Submission for formal review: June 24th
Notification of acceptance for LNCS: September 2nd
Camera ready paper: September 23rd
TFP 2011 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: Ricardo Pe~na, Complutense University
of Madrid, ES
TFP 2011 PROGRAMME COMMITTEE
Peter Achten (Radboud University Nijmegen, NL)
Ana Bove (Chalmers University of Technology, SE)
Olaf Chitil (University of Kent, UK)
Marko van Eekelen (Radboud University Nijmegen,Open University, NL)
Robby Findler (Northwestern University, USA)
Victor Gul'ias (University of La Coru~na, ES)
Jurriaan Hage (University of Utrecht, NL)
Kevin Hammond (University of St. Andrews, UK)
Michael Hanus (Christian Albrechts University zu Kiel, DE)
Zolt'an Horv'ath (E"otv"os Lor'and University, HU)
Frank Huch (Christian Albrechts University zu Kiel, DE)
Mauro Jaskelioff (National University of Rosario, AR)
Rita Loogen (Philipps University Marburg, DE)
Jay McCarthy (Brigham Young University, USA)
Henrik Nilsson (University of Nottingham, UK)
Rex Page (University of Oklahoma, USA)
Ricardo Pe~na (Chair) (Complutense University of Madrid, ES)
John Reppy (University of Chicago, USA)
Konstantinos Sagonas (Uppsala University, SE, and
National Technical University of Athens, GR)
Simon Thompson (University of Kent, UK)
German Vidal (Universidad Polit'ecnica de Valencia, ES)
SPONSORS
Computer Science Faculty, Complutense University of Madrid
Spanish Ministry of Science and Innovation
-------------- next part --------------
*********************************************************
LAST CALL FOR PAPERS and CALL FOR PARTICIPATION
12th International Symposium
Trends in Functional Programming 2011
Madrid, Spain
May 16-18, 2011
http://dalila.sip.ucm.es/tfp11
*********************************************************
SUBMISSION AND REGISTRATION DATES APPROACHING (2011)
Full papers/extended abstracts submission: April 2nd
Notification of acceptance for presentation: April 15th
Early registration deadline: April 25th
Camera ready for draft proceeding: April 30th
INVITED SPEAKER
In this TFP edition, an invited talk will be given by Neil Mitchell
(http://community.haskell.org/~ndm/), who finished his PhD thesis on
'Transformation and Analysis of Functional Programs' at the University of
York, England, and is currently working for the Standard Chartered
Bank. The title of the talk is 'Finding functions from types', and will be
about the Hoogle tool (http://haskell.org/hoogle).
DESCRIPTION
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, as a Springer Lecture Notes in
Computer Science volume, as they were for the TFP-2010 selected papers.
TFP 2011 is going to be held in the Computer Science Faculty of Complutense
University of Madrid, on May 16-18, 2011. It will be co-located with the
2nd International Workshop on Foundational and Practical Aspects of
Resource Analysis (FOPARA 2011) (http://dalila.sip.ucm.es/fopara11/). This
collocation could make such a gathering a very interesting event and will
allow researchers from the two communities to exchange ideas.
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, and
in Oklahoma (USA) in 2010. 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:
o Dependently typed functional programming
o Validation and verification of functional programs
o Debugging for functional languages
o Functional programming in different application areas: security, mobility,
telecommunications applications, embedded systems, global computing, grids
etc.
o Functional languages for reasoning about imperative/object-oriented
programs
o Interoperability with imperative programming languages
o Novel memory management techniques
o Program transformation techniques
o Empirical performance studies
o Abstract/virtual machines and compilers for functional languages
o New implementation strategies
o 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 2011 program chair, Ricardo Pe~na, at tfp2011 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 (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 2011 website.
Submission procedures will be posted on the TFP 2011 website as the
submission deadline is approaching.
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 (see http://dalila.sip.ucm.es/tfp11/).
POST-SYMPOSIUM REFEREEING AND PUBLICATION
In addition to the symposium draft proceedings, we will continue the last
year decision of publishing a high-quality subset of contributions in the
Springer Lecture Notes in Computer Science series (previous editions were
published by Intellect). 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.
Important dates (2011):
TFP 2011 Symposium: May 16-18th
Student papers feedback: June 6th
Submission for formal review: June 24th
Notification of acceptance for LNCS: September 2nd
Camera ready paper: September 23rd
TFP 2011 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: Ricardo Pe~na, Complutense University of Madrid, ES
TFP 2011 PROGRAMME COMMITTEE
Peter Achten (Radboud University Nijmegen, NL)
Ana Bove (Chalmers University of Technology, SE)
Olaf Chitil (University of Kent, UK)
Marko van Eekelen (Radboud University Nijmegen,Open University, NL)
Robby Findler (Northwestern University, USA)
Victor Gul'ias (University of La Coru~na, ES)
Jurriaan Hage (University of Utrecht, NL)
Kevin Hammond (University of St. Andrews, UK)
Michael Hanus (Christian Albrechts University zu Kiel, DE)
Zolt'an Horv'ath (E"otv"os Lor'and University, HU)
Frank Huch (Christian Albrechts University zu Kiel, DE)
Mauro Jaskelioff (National University of Rosario, AR)
Rita Loogen (Philipps University Marburg, DE)
Jay McCarthy (Brigham Young University, USA)
Henrik Nilsson (University of Nottingham, UK)
Rex Page (University of Oklahoma, USA)
Ricardo Pe~na (Chair) (Complutense University of Madrid, ES)
John Reppy (University of Chicago, USA)
Konstantinos Sagonas (Uppsala University, SE, and
National Technical University of Athens, GR)
Simon Thompson (University of Kent, UK)
German Vidal (Universidad Polit'ecnica de Valencia, ES)
SPONSORS
Computer Science Faculty, Complutense University of Madrid
Spanish Ministry of Science and Innovation