Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
From: Francesco Zappa Nardelli <francesco.zappa.nardelli@gmail.com>
To: caml-list@inria.fr
Subject: [Caml-list] Summer School on Functional Programming for Parallel and Concurrent Applications
Date: Thu, 3 May 2012 11:54:57 +0200	[thread overview]
Message-ID: <CALCBA_FAiknV3z1hfs+U7Qf_cJJFtj-OdLnmEyX050RmjaHc7A@mail.gmail.com> (raw)

Dear all,

[Even if the lectures focus on Haskell, this summer school might be of
interest to readers of the caml-list.]

I am happy to annouce the CEA-EDF-INRIA summer school on

                     FUNCTIONAL PROGRAMMING
            FOR PARALLEL AND CONCURRENT APPLICATIONS

11-22 June 2012, Castle of Cadarache, Saint Paul Lez Durance, France

         http://www-hpc.cea.fr/SummerSchools2012-CS.htm

Objectives

The aim of the summer school is to give a thorough and application-
oriented introduction to functional programming using the programming
language Haskell. A special focus is on parallel and concurrent
programming, highlighting the ways in which features such as strong
typing and purity make it dramatically easier to write reliable
parallel or concurrent code. The school is split into three different
courses that highlight different aspects of functional
programming. All courses consist of lectures and hands-on sessions
where everyone can try out the language on several exercises.

Public

This school is a 2 weeks course for engineers, and for students and
researchers. Participants should be familiar with programming (e.g. in
C or Java), but the school will be self-contained and no preliminary
knowledge of functional programing is required.

Speakers

Ralf Hinze (Oxford University)
Andres Löh (Well-Typed)
Simon Marlow (Microsoft Research)

Talks (to be confirmed)

Joe Armstrong, Mark Shinwell, Anil Madhavapeddy.

Registration and contact:

The deadline for registration is May 30, 2012.  Please contact:

Régis Vizet - CEA
regis.vizet (at) cea.fr
tel: 0033 1 69 26 47 45

for further informations.

Best regards
Francesco Zappa Nardelli


                 reply	other threads:[~2012-05-03  9:55 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=CALCBA_FAiknV3z1hfs+U7Qf_cJJFtj-OdLnmEyX050RmjaHc7A@mail.gmail.com \
    --to=francesco.zappa.nardelli@gmail.com \
    --cc=caml-list@inria.fr \
    /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