2^nd Central-European Functional Programming School

CEFP 2007

Cluj-Napoca, June 23-30, 2007

http://cs.ubbcluj.ro/cefp2007/

Central-European Functional Programming

Second Call for PhD student presentation - Call for participation

PhD students are invited to submit the abstract of their presentations to be included in the workshop session of the summer school. The selected and reviewed workshop papers and the revised lectures will be published in the post-conference LNCS Volume of the Summer School. The deadline for registration and submissions is 1 June 2007.

Aims and Scopes:

The Central-European Functional Programming School (CEFP) is an intensive summer school series in the field of functional programming. The main goal is to bring together computer scientists, researchers, graduate and especially PhD students. The school would like to promote the research and the education of the functional programming languages, software technologies and programming methodologies.

The second CEFP school will be organized by the Babeş-Bolyai University (Cluj-Napoca / Kolozsvár / Klausenburg) between 23-30 June, 2007. The previous school was held in Budapest, Hungary, July, 2005.

The invited lecturers are prominent researchers in the field, and they will present state-of-the-art functional programming techniques. Beside the lectures practical courses will be held. The school includes a workshop for PhD students to present their work and get feed-back from the lecturers.

Invited Lecturers:

Rinus Plasmeijer (Radboud University Nijmegen, The Netherlands): iTasks: Defining Interactive Workflows for the Web

Werner Kluge (Christian-Albrechts-Universität zu Kiel, Germany): Abstract Lambda Calculus Machines

Marko van Eekelen (Radboud University Nijmegen, The Netherlands): Proving Properties of Lazy Functional Programs

Tim Sheard (Portland State University, USA): The Omega Programming Language

Ralf Hinze (Universität Bonn, Germany): Generic Programming, Now!

Three additional short courses will be given.

Horváth Zoltán (Eötvös Loránd University, Budapest, Hungary): Refactoring Erlang Programs

Csörnyei Zoltán (Eötvös Loránd University, Budapest, Hungary): Lambda-Calculus

Horia F. Pop (Babeş-Bolyai University, Cluj-Napoca, Romania): A Tutorial on Object Orientedness in Functional Programming

Submissions:

PhD students are invited to submit the abstract of their presentations to be included in the workshop programme. Each presentation can be of max. 25 minutes. The full paper version can be submitted after the summer school. Selected and reviewed papers will be published in the LNCS Volume of the revised lectures.

Venue:

Cluj-Napoca / Kolozsvár / Klausenburg, formerly the capital of Transylvania, is one of the most beautiful medieval cities with a huge multicultural and historical inheritance. Surrounded by marvelous hills and mountains, the city provides fascinating environment for experiencing the unique ambience of a diversified culture, society and nature.

Programme Committee:

Kevin Hammond (University of St. Andrews, United Kingdom)

Zoltán Horváth (Eötvös Loránd University, Hungary)

Rinus Plasmeijer (Radboud University Nijmegen, The Netherlands)

Horia F. Pop (Babeş-Bolyai University, Romania)

Anna Soós (Babeş-Bolyai University, Romania) – Local Organizing Chair

Viktória Zsók (Eötvös Loránd University, Hungary)

Registration and cost:

The registration fee (260 Euro) includes the course materials distributed during the school, the Springer volume of the revised lectures and PhD papers, lunches, the excursion and the summer school banquet. For further information and registration please visit the web-page of the event: http://www.cs.ubbcluj.ro/cefp2007. The deadline for registration and submissions is 1 June 2007.