Second call for papers
10th SYMPOSIUM ON TRENDS IN FUNCTIONAL
PROGRAMMING
TFP 2009
SELYE JANOS UNIVERSITY, KOMARNO, SLOVAKIA
June 2-4, 2009
http://www.inf.elte.hu/tfp_cefp_2009
*** The registration and paper submission is now
open! ***
The symposium on Trends in Functional Programming
(TFP) is an
international forum for researchers with interests
in all aspects of
functional programming languages, focusing on
providing a broad view of
current and future trends in Functional Programming.
It aspires to be a
lively environment for presenting the latest research
results. Acceptance
for the conference is based on full papers or
extended abstracts, and a
formal post-symposium refereeing process selects the
best articles
presented at the symposium for publication in a
high-profile volume.
TFP 2009 is hosted by the Selye Janos University,
Komarno, Slovakia, and
it is co-located with the 3rd Central-European
Functional Programming
School (CEFP 2009), which is held immediately before
TFP 2009 (May 25-30).
IMPORTANT DATES (ALL 2009)
* Paper Submission: March 31
(extended)
* Notification of Acceptance:
April 9
* Camera Ready Symposium
Proceedings Paper: April 24
* TFP Symposium: June 2-4, 2009
* Post Symposium Paper
Submission: June 30
* Notification of Acceptance:
September 7
* Camera Ready Revised Paper:
September 21
SCOPE OF THE SYMPOSIUM
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: leading-edge,
previously unpublished research.
* Position: on what new trends
should or should not be.
* Project: descriptions of
recently started new projects.
* Evaluation: what lessons can be
drawn from a finished project.
* Overview: summarizing 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. Contributions on
the following subject areas are particularly
welcomed:
* Dependently Typed Functional
Programming
* 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
* 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
* 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 2009 program chairs, Zoltan
Horvath and Viktoria
Zsok at tfp2009@inf.elte.hu
SUBMISSION AND DRAFT PROCEEDINGS
Acceptance of articles for presentation at the
symposium is based on the
screening process of full papers (15 pages) and
extended abstracts
(at least 3 pages). TFP encourages PhD students to
submit papers.
PhD students may request the program committee to
provide extensive
feedback on their full papers at the time of
submission. Full papers
describing work accepted for presentation must be
completed before the
symposium for publication in the draft proceedings.
Further details can
be found at the TFP 2009 website.
POST-SYMPOSIUM REFEREEING AND PUBLICATION
In addition to the draft symposium proceedings, we
continue the TFP
tradition of publishing a high-quality subset of
contributions in the
Intellect series on Trends in Functional
Programming.
PROGRAM COMMITTEE
* Peter Achten (symp-chair),
Radboud University Nijmegen, NL
* John Clements, California
Polytechnic State University, USA
* Cormac Flanagan, University of
California at Santa Cruz, USA
* Jurriaan Hage, Utrecht
University, NL
* Kevin Hammond, University of
St. Andrews, UK
* Michael Hanus,
Christian-Albrechts University zu Kiel, DE
* Ralf Hinze, University of
Oxford, UK
* Zoltan Horvath (PC
co-chair), Eotvos Lorand University, HU
* Graham Hutton, University of Nottingham,
UK
* Johan Jeuring, Utrecht
University, NL
* Pieter Koopman (symp-chair),
Radboud University Nijmegen, NL
* Hans-Wolfgang Loidl,
Ludwig-Maximilians University Munchen, DE
* Rita Loogen,
Philipps-University Marburg, DE
* Greg Michaelson, Heriot-Watt
University, UK
* Marco T. Morazan, Seton Hall
University, USA
* Rex L Page, University of
Oklahoma, USA
* Sven-Bodo Scholz, University of
Hertfordshire, UK
* Clara Segura, University
Complutense de Madrid, ES
* Mary Sheeran, Chalmers
University of Technology, SE
* Phil Trinder, Heriot-Watt
University, UK
* Marko van Eekelen, Radboud
University Nijmegen, NL
* Varmo Vene, University of
Tartu, EE
* Viktoria Zsok (PC co-chair),
Eotvos Lorand University, HU
LOCATION
The Conference Centre of Selye University, Komarno,
Slovakia
(http://www.selyeuni.sk/)
is a new and excellent conference centre with
modern equipment, lecture rooms and computer labs.
Komarno is on the north bank of river Danube, the
northern part of the
city Komarom / Komarno. It is a charming old city
with about 30 000
inhabitants, 90 km away from Budapest (the capital
of Hungary), with
good highway and railway connections and 90 km away
from
Bratislava (the capital of Slovakia), about 100 km
from Vienna International
Airport.
-----------
Call for participation
3rd CENTRAL EUROPEAN FUNCTIONAL PROGRAMMING SCHOOL CEFP 2009
SELYE JANOS UNIVERSITY, KOMARNO, SLOVAKIA
May 25-30, 2009
http://www.inf.elte.hu/tfp_cefp_2009
*** The registration is now open! ***
The Central European Functional Programming School (CEFP) is
organised every second year (2005 Budapest - LNCS vol. 4164,
2007 Cluj-Napoca - LNCS vol. 5161, 2009 Komarno). It is the
Central European counterpart of the Advanced Functional
Programming school with the additional goal to stimulate
students from Central Europe to attend.
GOALS
* Bring together computer scientists, in particular
motivated graduate
and PhD students, and make them familiar with the latest
functional
programming techniques.
* Show the use of advanced functional programming techniques
in real
world applications.
* Bridge the gap between recent results presented at
programming
conferences and material from introductory textbooks on
functional
programming.
* Provide a forum for PhD students to present their research
results as
part of the workshop programme and submit the full paper
version after
the summer school. Selected and reviewed papers will be
published in the
LNCS Volume of the revised lectures.
INVITED LECTURERS
Our invited lecturers are top experts, professors and
researchers from
Europe and the US.
* Francesco Cesarini:
OTP Design Patterns
(Erlang Training and
Consulting Ltd, London, UK)
Francesco Cesarini is owner
and founder of Erlang Training and
Consulting Ltd, a company
specialised in high availability,
massively concurrent soft
real time systems.
* Prof. Rinus Plasmeijer, Pieter Koopman:
An effective methodology for
defining consistent semantics of
complex systems
(Radboud University Nijmegen,
The Netherlands)
Rinus Plasmeijer is chief
designer of the functional programming
language Clean, member of
IFIP WG 2.8., Head of Software Research
Group, University Nijmegen,
The Netherlands.
Currently he is applying
advanced functional programming
techniques to enable model
driven software development.
He is working on the iTask
system which enables the high-level
specification of multi-user
workflow systems for the web.
Pieter Koopman's research is
related to functional programming
(especially the Clean
language), and specification languages.
Currently he is using Clean
functions as specifications for the
Generic Automatic Software
Test-system (Gast). Earlier he was
involved in project about
parser combinators and implicit
surfaces.
* Matthew Fluet:
Programming in Manticore, a
heterogenous parallel language
(Toyota Technological
Institute at Chicago, USA)
Matthew Fluet is active
developer of MLton: an open-source,
whole-program, optimizing
Standard ML compiler. He is
collaborating on the
development of Manticore: a heterogeneous
parallel programming language
aimed at general-purpose
applications running on
multi-core processors. As a programming
languages researcher, he is
working on the opportunities for
mechanizing reasoning about
programming languages.
* Prof. Ralf Hinze:
Reasoning about codata
(University of Oxford and
Kellogg College, UK)
Ralf Hinze's research centers
around functional programming,
particularly interested in
functional algorithm design and purely
functional data structures.
At the moment he is mainly working on
generic functional
programming (Generic Haskell). In the past he
worked on strictness analysis
and type systems.
* Prof. Mary Sheeran:
Fun with combinators in
Haskell
(Chalmers University of
Technology, Gothenburg, Sweden)
Mary Sheeran's research
interests are in functional programming,
and particularly its
application to designing and analysing
hardware and hardware-like
systems. She has worked on domain
specific languages (DSLs) for
hardware design (Lava, Wired) and is
currently working with Ericsson
and ELTE to develop a DSL for
Digital Signal Processing.
* Prof. John Hughes:
QuickCheck, with a focus on
industrial applications
Research interests of John
Hughes include type systems and formal
semantics for programming
languages, optimizing compilation,
functional programming, and
high-level language interoperability.
He is currently working in
the following projects: Combining
Verification Methods in
Software Development (Cover) and Flexible
System-on-Chip Platforms for
Embedded Applications (FlexSoC)
* Andrew Kennedy:
Advanced type systems for
functional programming
(Microsoft Research,
Cambridge, England)
Research interests of Andrew
Kennedy include type systems and
formal semantics for
programming languages, optimizing
compilation, functional
programming, and high-level language
interoperability.
* Adam Granicz:
Advanced F# Programming
Adam Granicz is founder/CEO
of Intellifactory Ltd. and he is a
co-author of the Expert F#
book. His research interests are formal
environments and compilers,
resource planning, and extensible
compilers.
PROGRAMME
At the beginning of CEFP 2009 we make functional programming
warm-up sessions starting on 21 May 2009.
The summer school's programme includes:
* In depth lectures about a selected number of recently
emerged advanced
functional programming techniques, taught by experts in the
field.
* Practical exercises accompanying the lectures to be solved
by the
students at the school. These exercises guide the students'
learning to
a great extent. A high quality lab is available at the
school site.
* Team work is stimulated, such that the students can also
learn from
each other.
CEFP 2009 is co-located with the 10th Symposium on Trends in
Functional
Programming (TFP 2009, June 2-4), which is held after the
summer school.
LOCATION
The Conference Centre of Selye University, Komarno, Slovakia
(http://www.selyeuni.sk/)
is a new and excellent conference centre with
modern equipment, lecture rooms and computer labs.
Komarno is on the north bank of river Danube, the northern
part of the
city Komarom / Komarno. It is a charming old city with about
30 000
inhabitants, 90 km away from Budapest (the capital of
Hungary), with
good motorway and railway connections and 90 km away from
Bratislava
(the capital of Slovakia), about 100 km from Vienna
International
Airport.
ACCOMMODATION
* hotels (from 30-66 Euro/night)
* meals at the university canteen of the
Conference Centre (included
in the registration fee)
LOCAL ARRANGEMENTS TEAM - CHAIR/CO-CHAIRS
OC Chairs:
* Zoltan Horvath
* Viktoria Zsok
(Eotvos Lorand University, Budapest)
* Rinus Plasmeijer
(Radboud University, Nijmegen)
Local Co-chair of OC:
* Veronika Stoffa, vice-rector
(Selye Janos University, Komarno)
Further details can be found at the CEFP website.