From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id MAA17360; Wed, 11 Jun 2003 12:05:36 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id MAA17355 for ; Wed, 11 Jun 2003 12:05:33 +0200 (MET DST) Received: from mail.cs.uu.nl (aurora.cs.uu.nl [131.211.80.20]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id h5BA5WT08055 for ; Wed, 11 Jun 2003 12:05:32 +0200 (MET DST) Received: from cs.uu.nl (ohana.cs.uu.nl [131.211.81.32]) by mail.cs.uu.nl (Postfix) with ESMTP id 37BD11CB49B; Wed, 11 Jun 2003 12:05:32 +0200 (CEST) Date: Wed, 11 Jun 2003 12:07:16 +0200 Mime-Version: 1.0 (Apple Message framework v552) Content-Type: text/plain; charset=ISO-8859-1; format=flowed Subject: [Caml-list] Call for organizers: The 5th Advanced Functional Programming School, 2004 From: Johan Jeuring To: caml-list@inria.fr, haskell@haskell.org, eapls@JISCmail.ac.uk, appsem@appsem.org Content-Transfer-Encoding: quoted-printable Message-Id: <7A8D711F-9BF4-11D7-8732-0003937324F2@cs.uu.nl> X-Mailer: Apple Mail (2.552) X-Spam: no; 0.00; johan:01 2004:99 lncs:01 portugal:99 introductory:99 impure:01 untyped:01 hotel:99 pedro:99 meijer:01 morrisett:01 okasaki:01 wadler:01 chris:01 lazy:02 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Call for organizers: The Advanced Functional Programming School, 2004 http://www.cs.uu.nl/~johanj/afp/ We solicit plans for organizing the next Advanced Functional Programming School. Since 1995 there have been four Schools on Advanced Functional Programming in * 2002, LNCS 2638, Oxford, UK * 1998, LNCS 1608, Braga, Portugal * 1996, LNCS 1129, Olympia, WA, USA * 1995, LNCS 925, Baastad, Sweden ------------------------------------------------------------------------ The goals of this series of schools are: * Bring computer scientists, in particular young researchers and=20= programmers, up to date with the latest afp techniques. * Bridge the gap between results presented at programming = conferences=20 and material from introductory textbooks on functional programming. * Use afp techniques in "programming in the real world". The approach we take to achieve these goals in the schools is * In depth lectures about afp techniques, taught by experts in the=20= field. * Lectures are accompanied by practical problems to be solved by = the students at the school. The problems guide the students' learning to a=20= great extent. This implies that there has to be a lab at the school site. * Group work is stimulated, especially because the practical = problems will typically be=A0 too large for a single person. Functional programming is interpreted broadly, to encompass languages that are strict and lazy, pure and impure, typed and untyped, sequential and concurrent. ------------------------------------------------------------------------ The lecture notes of the Advanced Functional Programming schools are published after the school, see LNCS 925, 1129, 1608, and 2638. The organizers are responsible for publishing the lecture notes. Please submit a proposal for organizing the next advanced functional programming school. Your proposal should include: - the approximate dates - the name of the organizers (preferably more than one) - a programme: lecturers (a mix of young and bright, and old and wise lecturers is preferred) and topics (keep in mind that applications of functional programming are very important for the school). - a location (remember you need around 25 computers) - a budget, including an estimation of the registration and hotel costs per participant. The programme, location and budget don't have to be completely fixed when you submit your proposal, but there should be sufficient information to review your proposal. Your proposal will be reviewed by the steering committee of the Advanced Functional Programming Schools, consisting of Pedro Henriques Graham Hutton Johan Jeuring Erik Meijer Greg Morrisett Chris Okasaki Simon Peyton Jones Tim Sheard Doaitse Swierstra Phil Wadler Submit your proposal to johanj@cs.uu.nl on or before September 1, 2003 Notification October 1, 2003 -- Johan Jeuring= ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners