CfP TFP 2009 and Functional Programming summer school: CEFP 2009

From: Michael Hanus <>
Date: Thu, 19 Mar 2009 09:41:21 +0100

Second call for papers
 TFP 2009
 June 2-4, 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).


    * 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


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<>


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.


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.


    * 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


The Conference Centre of Selye University, Komarno, Slovakia
( 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


Call for participation
May 25-30, 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.


* 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
* 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.


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

    * 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

    * 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


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.


The Conference Centre of Selye University, Komarno, Slovakia
( 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


    * hotels (from 30-66 Euro/night)
    * meals at the university canteen of the Conference Centre (included
    in the registration fee)


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.

curry mailing list
Received on Do Mär 19 2009 - 09:44:05 CET

This archive was generated by hypermail 2.3.0 : Do Jun 20 2024 - 07:15:10 CEST