From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 69458BBAF for ; Mon, 2 Nov 2009 10:13:29 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgEgAC8x7kqDrhCRmWdsb2JhbACCKBMYiS+BbgaKAYNcAQEBAQEICwoHE7QTiVeEOQSBYg X-IronPort-AV: E=Sophos;i="4.44,665,1249250400"; d="scan'208,217";a="37378552" Received: from smeltpunt.science.ru.nl ([131.174.16.145]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 02 Nov 2009 10:13:28 +0100 Received: from rinusvaioTZ31 (n142211.science.ru.nl [131.174.142.211]) by smeltpunt.science.ru.nl (8.13.7/5.30) with SMTP id nA28tABa005465; Mon, 2 Nov 2009 09:55:10 +0100 (MET) Message-ID: <8E570710A3D34AA4B800A2E12D7976A6@rinusvaioTZ31> From: "rinus plasmeijer" Cc: , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , Subject: call for organizing next AFP summerschool (2010) Date: Mon, 2 Nov 2009 09:55:12 +0100 Organization: run MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_0078_01CA5BA2.91BEF180" X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Windows Mail 6.0.6001.18000 X-MimeOLE: Produced By Microsoft MimeOLE V6.0.6001.18049 X-Spam-Score: -1.663 () ALL_TRUSTED,AWL,BAYES_50,HTML_MESSAGE X-Scanned-By: MIMEDefang 2.63 on 131.174.16.145 X-Spam: no; 0.00; rinus:01 rinus:01 lncs:01 lncs:01 emphasizes:01 johan:01 pieter:01 meijer:01 sheard:01 emphasizes:01 johan:01 pieter:01 meijer:01 sheard:01 2002,:98 This is a multi-part message in MIME format. ------=_NextPart_000_0078_01CA5BA2.91BEF180 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Call for organizers: The Advanced Functional Programming School, 2010. http://www.cs.uu.nl/~johanj/afp/ We solicit plans for organizing the next Advanced Functional Programming = School. Since 1995 there have been six Schools on Advanced Functional = Programming:=20 a.. 2008, LNCS 5832, Nijmegen, The Netherlands=20 b.. 2004, LNCS 3622, Tartu, Estonia=20 c.. 2002, LNCS 2638, Oxford, UK=20 d.. 1998, LNCS 1608, Braga, Portugal=20 e.. 1996, LNCS 1129, Olympia, WA, USA=20 f.. 1995, LNCS 925, Baastad, Sweden=20 -------------------------------------------------------------------------= ------- The goals of this series of schools are a.. Bring computer scientists, in particular young researchers and = programmers, up to date with the latest AFP techniques.=20 b.. Use AFP techniques in "programming in the real world".=20 c.. Bridge the gap between results presented at programming = conferences and material from introductory textbooks on functional = programming.=20 The approach we take to achieve these goals in the schools is a.. In depth lectures about AFP techniques, taught by experts in the = field.=20 b.. Lectures are accompanied by practical problems to be solved by the = students at the school. The problems guide the students' learning to a = great extent. This implies that there has to be a lab at the school = site.=20 c.. Group work is stimulated, especially because the practical = problems will typically be too large for a single person.=20 By functional programming we mean programming in a style that emphasizes = the evaluation of expressions rather than the execution of commands. -------------------------------------------------------------------------= ------- The lecture notes of the Advanced Functional Programming schools are = published after the school. The organizers are responsible for = publishing the lecture notes.=20 Please submit a proposal for organizing the next advanced functional = programming school. Your proposal should include a.. the name of the organizers (preferably more than one)=20 b.. a programme: lecturers (a mix of young and bright, and old and = wise lecturers is preferred) and topics (keep in mind that lectures have = to be about "programming in the real world". Applications of functional = programming are very important for the school)=20 c.. the approximate dates (preferably somewhere in 2010)=20 d.. a location=20 e.. a budget, including an estimation of the registration and hotel = costs per participant. The programme, dates, 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 =B7 Peter Achten (AFP6)=20 a.. Pedro Henriques (AFP3)=20 b.. Johan Jeuring (AFP4, AFP5)=20 c.. Simon Peyton Jones (AFP4)=20 d.. Pieter Koopman (AFP6)=20 e.. Erik Meijer (AFP2)=20 f.. Rinus Plasmeijer (Chairman, AFP6)=20 g.. Tim Sheard (AFP2)=20 h.. Doaitse Swierstra (AFP3, AFP6)=20 i.. Tarmo Uustalu (AFP5)=20 j.. Varmo Vene (AFP5)=20 Submit your proposal to rinus@cs.ru.nl before December 15, 2009. Notification January 9, 2010. =20 ------=_NextPart_000_0078_01CA5BA2.91BEF180 Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable

Call=20 for organizers:
The Advanced Functional Programming School,=20 2010.

http://www.cs.uu.nl/~johanj/afp/

We=20 solicit plans for organizing the next Advanced Functional Programming = School.=20 Since 1995 there have been six Schools on Advanced Functional = Programming:=20

The=20 goals of this series of schools are

  • Bring=20 computer scientists, in particular young researchers and programmers, = up to=20 date with the latest AFP techniques.
  • Use=20 AFP techniques in "programming in the real world". =
  • Bridge=20 the gap between results presented at programming conferences and = material from=20 introductory textbooks on functional programming. =

The=20 approach we take to achieve these goals in the schools=20 is

  • In=20 depth lectures about AFP techniques, taught by experts in the field.=20
  • Lectures=20 are accompanied by practical problems to be solved by the students at = the=20 school. The problems guide the students' learning to a great extent. = This=20 implies that there has to be a lab at the school site. =
  • Group=20 work is stimulated, especially because the practical problems will = typically=20 be too large for a single person.

By=20 functional programming we mean programming in a style that emphasizes = the=20 evaluation of expressions rather than the execution of=20 commands.

The=20 lecture notes of the Advanced Functional Programming schools are = published after=20 the school. The organizers are responsible for publishing the lecture = notes.=20

Please=20 submit a proposal for organizing the next advanced functional = programming=20 school.

Your=20 proposal should include

  • the=20 name of the organizers (preferably more than one) =
  • a=20 programme: lecturers (a mix of young and bright, and old and wise = lecturers is=20 preferred) and topics (keep in mind that lectures have to be about=20 "programming in the real world". Applications of functional = programming are=20 very important for the school)
  • the=20 approximate dates (preferably somewhere in 2010) =
  • a=20 location
  • a=20 budget, including an estimation of the registration and hotel costs = per=20 participant.

The=20 programme, dates, location and budget don't have to be completely fixed = when you=20 submit your proposal, but there should be sufficient information to = review your=20 proposal. Your proposal will be reviewed by the steering committee of = the=20 Advanced Functional Programming Schools, consisting = of

=B7        =20 Peter=20 Achten (AFP6)

  • Pedro=20 Henriques (AFP3)
  • Johan=20 Jeuring (AFP4, AFP5)
  • Simon=20 Peyton Jones (AFP4)
  • Pieter=20 Koopman (AFP6)
  • Erik=20 Meijer (AFP2)
  • Rinus=20 Plasmeijer (Chairman, AFP6)
  • Tim=20 Sheard (AFP2)
  • Doaitse=20 Swierstra (AFP3, AFP6)
  • Tarmo=20 Uustalu (AFP5)
  • Varmo=20 Vene (AFP5)


Submit=20 your proposal to rinus@cs.ru.nl=20 before December 15, = 2009.
Notification=20 January 9, 2010.

 

------=_NextPart_000_0078_01CA5BA2.91BEF180--