Central-European Functional Programming School

This summer school is supported by the European Commission's (Directorate-General for Education and Culture) SOCRATES/ERASMUS Intensive Programme and the Hungarian National CEEPUS Office.

The Central-European Functional Programming School is an intensive summer school in the field of functional programming. The main goal is to bring computer scientists, researchers and graduate and PhD students together. The invited lecturers are the most prominent researchers in the field in Europe, and they will present state-of-the-art functional programming techniques. The event is organized by the Department of Programming Languages and Compilers, Faculty of Informatics, Eötvös Loránd University.

The registration fee is almost fully covered for a limited number of academics and students from the participating institutions and from the CEEPUS H-81 network. Participants from other institutions are also welcome but they are required to pay the full registration fee. Please feel free to contact us for further details.

Deadline for registration: 30 May, 2005 (Monday)

Lectures:

• Rinus Plasmeijer (University of Nijmegen): Generic Editors for the Web - Clean
• Simon J. Thompson (University of Kent): Refactoring
• Pieter Koopman (University of Nijmegen): Testing with functions as specifications
• Sven Bodo Scholz (University of Hertfordshire): Single Assignment C
• Kevin Hammond (University of St Andrews): Hume
• Kevin Hammond (University of St Andrews): Hume
• Jeremy Gibbons (University of Oxford): Patterns in Functional Programming
• Varmo Vene (University of Tartu): Signals and Comonads
• Máté Tejfel - Zoltán Horváth (Eötvös Loránd University): Invariants
• Francesco Cesarini, Zoltán Theisz, Éva Bihari (Ericsson): Erlang (concurreny, reliability, reflection, hot code replacement)
• Tamás Kozsik (Eötvös Loránd University): Subtyping
• Viktória Zsók - Zoltán Horváth (Eötvös Loránd University): Distributed Computing in Clean

---

Programme

Registration Form

Welcome to Budapest

Maps and Directions

Photos

Download teaching materials

---

Participating institutions:

• Eötvös Loránd University
• University of Nijmegen
• Constantine the Philosopher University in Nitra
• Babes-Bolyai University Cluj-Napoca
• University of Tartu
• Paisii Hilendarski University of Plovdiv
• University of Oxford
• University of Szeged
• Tampere University of Technology
• University of St Andrews

Program Committee/Contact persons at the participating institutions:

• Domonkos ASZTALOS, Ericsson Hungary
• Rositsa DONEVA, Paisii Hilendarski University of Plovdiv
• Jeremy GIBBONS, University of Oxford
• Kevin HAMMOND, University of St Andrews
• Imed HAMMOUDA, Tampere University of Technology
• Zoltán HORVÁTH, Eötvös Loránd University
• Zoltán KÁSA, Babes-Bolyai University Cluj-Napoca
• Tibor KMET, Constantine the Philosopher University in Nitra
• Rinus PLASMEIJER, University of Nijmegen
• Lajos SCHRETTNER, University of Szeged
• Varmo VENE, University of Tartu

Organizing Committee:

• Zoltán HORVÁTH
• Viktória ZSÓK
• Tamás KOZSIK
• Katalin RÉTI

Contact:

• Address: H-1117 Budapest, Pázmány Péter sétány 1/C
• Phone: +36 1 381-2319
• Fax: +36 1 381-2185
• E-mail: cefp@inf.elte.hu
• Emergency mobile number: +36 30 351-5652