From: "rinus plasmeijer" <rinus@cs.ru.nl>
Cc: <types-announce@lists.seas.upenn.edu>,
<glasgow-haskell-users-owner@haskell.org>,
<glasgow-haskell-users@haskell.org>, <haskell@haskell.org>,
<ecoop-info@ecoop.org>, <prog-lang@it.edu>,
<fg214@informatik.uni-kiel.de>, <eapls@jiscmail.ac.uk>,
<mercury-ads@cs.mu.oz.au>, <mh@informatik.uni-kiel.de>,
<ciao-users@clip.dia.fi.upm.es>, <fp-nl@cs.uu.nl>,
<clean-list@cs.ru.nl>, <skeletons@inf.ed.ac.uk>,
<munich-lisp@common-lisp.net>, <chicago-lisp@common-lisp.net>,
<caml-list@yquem.inria.fr>, <mit-scheme-users@gnu.org>,
<plt-scheme@list.cs.brown.edu>, <inf-mbsd@science.ru.nl>,
<theorem-provers@ai.mit.edu>, <lprolog@cs.umn.edu>,
<formal-methods@cs.uidaho.edu>, <church-announce@types.bu.edu>,
<ipalist@listserver.tue.nl>, <focs@comlab.ox.ac.uk>,
<elan-users@loria.fr>, <dbworld@cs.wisc.edu>,
<coq-club@pauillac.inria.fr>, <comlab@comlab.ox.ac.uk>,
<coalgebras@iti.cs.tu-bs.de>, <cmcs@cs.indiana.edu>,
<clp@comp.nus.edu.sg>, <categories@mta.ca>, <caml-list@inria.fr>,
<appsem@disi.unige.it>, <appsem-discussion@harlequin.co.uk>
Subject: call for organizing next AFP summerschool (2010)
Date: Mon, 2 Nov 2009 09:55:12 +0100 [thread overview]
Message-ID: <8E570710A3D34AA4B800A2E12D7976A6@rinusvaioTZ31> (raw)
[-- Attachment #1: Type: text/plain, Size: 3248 bytes --]
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:
a.. 2008, LNCS 5832, Nijmegen, The Netherlands
b.. 2004, LNCS 3622, Tartu, Estonia
c.. 2002, LNCS 2638, Oxford, UK
d.. 1998, LNCS 1608, Braga, Portugal
e.. 1996, LNCS 1129, Olympia, WA, USA
f.. 1995, LNCS 925, Baastad, Sweden
--------------------------------------------------------------------------------
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.
b.. Use AFP techniques in "programming in the real world".
c.. Bridge the gap between results presented at programming conferences and material from introductory textbooks on functional programming.
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.
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.
c.. Group work is stimulated, especially because the practical problems will typically be too large for a single person.
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.
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)
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)
c.. the approximate dates (preferably somewhere in 2010)
d.. a location
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
· Peter Achten (AFP6)
a.. Pedro Henriques (AFP3)
b.. Johan Jeuring (AFP4, AFP5)
c.. Simon Peyton Jones (AFP4)
d.. Pieter Koopman (AFP6)
e.. Erik Meijer (AFP2)
f.. Rinus Plasmeijer (Chairman, AFP6)
g.. Tim Sheard (AFP2)
h.. Doaitse Swierstra (AFP3, AFP6)
i.. Tarmo Uustalu (AFP5)
j.. Varmo Vene (AFP5)
Submit your proposal to rinus@cs.ru.nl before December 15, 2009.
Notification January 9, 2010.
[-- Attachment #2: Type: text/html, Size: 17886 bytes --]
reply other threads:[~2009-11-02 9:13 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=8E570710A3D34AA4B800A2E12D7976A6@rinusvaioTZ31 \
--to=rinus@cs.ru.nl \
--cc=appsem-discussion@harlequin.co.uk \
--cc=appsem@disi.unige.it \
--cc=caml-list@inria.fr \
--cc=caml-list@yquem.inria.fr \
--cc=categories@mta.ca \
--cc=chicago-lisp@common-lisp.net \
--cc=church-announce@types.bu.edu \
--cc=ciao-users@clip.dia.fi.upm.es \
--cc=clean-list@cs.ru.nl \
--cc=clp@comp.nus.edu.sg \
--cc=cmcs@cs.indiana.edu \
--cc=coalgebras@iti.cs.tu-bs.de \
--cc=comlab@comlab.ox.ac.uk \
--cc=coq-club@pauillac.inria.fr \
--cc=dbworld@cs.wisc.edu \
--cc=eapls@jiscmail.ac.uk \
--cc=ecoop-info@ecoop.org \
--cc=elan-users@loria.fr \
--cc=fg214@informatik.uni-kiel.de \
--cc=focs@comlab.ox.ac.uk \
--cc=formal-methods@cs.uidaho.edu \
--cc=fp-nl@cs.uu.nl \
--cc=glasgow-haskell-users-owner@haskell.org \
--cc=glasgow-haskell-users@haskell.org \
--cc=haskell@haskell.org \
--cc=inf-mbsd@science.ru.nl \
--cc=ipalist@listserver.tue.nl \
--cc=lprolog@cs.umn.edu \
--cc=mercury-ads@cs.mu.oz.au \
--cc=mh@informatik.uni-kiel.de \
--cc=mit-scheme-users@gnu.org \
--cc=munich-lisp@common-lisp.net \
--cc=plt-scheme@list.cs.brown.edu \
--cc=prog-lang@it.edu \
--cc=skeletons@inf.ed.ac.uk \
--cc=theorem-provers@ai.mit.edu \
--cc=types-announce@lists.seas.upenn.edu \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).