[clean-list] cfp - Summer School in Functional Programming - Budapest, July 2005

[HORVATH Zoltan]

               * * * * * * * * * * * * * * * * * * * * * * * * * *
               *                                                 *
               *             CALL FOR PARTICIPATION              *
               *                                                 *
               * CENTRAL-EUROPEAN FUNCTIONAL PROGRAMMING SCHOOL  *
               *                                                 *
               *                4-16 July, 2005                  *
               *  Eötvös Loránd University, Budapest, Hungary    *
               *                                                 *
               * * * * * * * * * * * * * * * * * * * * * * * * * *


Scope:

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.

Deadline for registration:

- June 13, 2005

Costs:

- registration fee: 300 EUR
- accomodation: from 20 EUR/night (depends on the quality of the hotel)
- lunch: 10 EUR/day
- tickets for the banquet and excursion can be purchased on the site

(Participants affiliated with CEEPUS and ERASMUS IP partners of
 the organising institute are supported.)

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 - Clean
- Sven Bodo Scholz (University of Hertfordshire): Single Assignment C
- Kevin Hammond (University of St Andrews): Resource Bounded Computation Models, Analysis,
						Language Design and Implementation
- Kevin Hammond (University of St Andrews): Region-Based Allocation and Compile-Time
						Garbage Collection
- Jeremy Gibbons (University of Oxford): Patterns in Functional Programming
- Varmo Vene (University of Tartu): Signals and Comonads
- 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
- Máté Tejfel - Zoltán Horváth (Eötvös Loránd University): Invariants

Program Committee:

- 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

Homepage and registration :

http://plc.inf.elte.hu/~cefp