From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 8489E7F720 for ; Mon, 14 Apr 2014 19:24:57 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of eb120@hw.ac.uk) identity=pra; client-ip=137.195.101.215; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="eb120@hw.ac.uk"; x-sender="eb120@hw.ac.uk"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of eb120@hw.ac.uk) identity=mailfrom; client-ip=137.195.101.215; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="eb120@hw.ac.uk"; x-sender="eb120@hw.ac.uk"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-r.hw.ac.uk) identity=helo; client-ip=137.195.101.215; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="eb120@hw.ac.uk"; x-sender="postmaster@mail-r.hw.ac.uk"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgICAFQYTFOJw2XXnGdsb2JhbABZDgiCLCNcV7txhzWBJBYOAQEBAQEICwkJFCiCJwUdTiABDB5WJgEEG4d0AQyZV6t7hgwXjj2CZg9ngRQEiSSkcUCCKw X-IPAS-Result: AgICAFQYTFOJw2XXnGdsb2JhbABZDgiCLCNcV7txhzWBJBYOAQEBAQEICwkJFCiCJwUdTiABDB5WJgEEG4d0AQyZV6t7hgwXjj2CZg9ngRQEiSSkcUCCKw X-IronPort-AV: E=Sophos;i="4.97,858,1389740400"; d="scan'208,217";a="68199104" Received: from mail-r.hw.ac.uk ([137.195.101.215]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 14 Apr 2014 19:24:56 +0200 Received: from hw-caht-01.hw.ac.uk ([137.195.248.73]) by mail-r.hw.ac.uk with esmtps (TLSv1:AES128-SHA:128) (Exim 4.69) (envelope-from ) id 1WZkcQ-0002EI-RZ; Mon, 14 Apr 2014 18:24:30 +0100 Received: from HW-MBX-02.hw.ac.uk ([fe80::cc9:3f45:543c:b683]) by HW-CAHT-01.hw.ac.uk ([2002:89c3:f849::89c3:f849]) with mapi id 14.03.0123.003; Mon, 14 Apr 2014 18:24:13 +0100 From: "Belikov, Evgenij" To: "AiPL2014-register@macs.hw.ac.uk" Thread-Topic: Summer School on Advances in Programming Langauges Thread-Index: Ac9YBS42FG0kI0caQCqzsDBqwZn+kQ== Date: Mon, 14 Apr 2014 17:24:12 +0000 Message-ID: <13DD63D0C1DD3B4BBD5EB402051CE54B0A6D09B5@HW-MBX-02.hw.ac.uk> Accept-Language: en-GB, en-US Content-Language: en-GB X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [137.195.27.94] Content-Type: multipart/alternative; boundary="_000_13DD63D0C1DD3B4BBD5EB402051CE54B0A6D09B5HWMBX02hwacuk_" MIME-Version: 1.0 X-HW-MailScanner-Information: Please contact the HW Helpdesk for more information X-HW-MailScanner-ID: 1WZkcQ-0002EI-RZ X-HW-MailScanner: Found to be clean X-HW-MailScanner-SpamCheck: not spam, SpamAssassin (not cached, score=-2.598, required 5, autolearn=not spam, BAYES_00 -2.60, HTML_MESSAGE 0.00) X-HW-MailScanner-From: eb120@hw.ac.uk X-Validation-by: eb120@hw.ac.uk Subject: [Caml-list] Summer School on Advances in Programming Langauges --_000_13DD63D0C1DD3B4BBD5EB402051CE54B0A6D09B5HWMBX02hwacuk_ Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Dear all, Find below the call for applications to attend the AiPL'14 Summer School. Apologies for multiple postings. =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D 2nd International Summer School on Advances in Programming Languages 19-22 August 2014, Heriot-Watt University, Edinburgh The 2nd International Summer School on Advances in Programming Languages offers four days of insightful lectures and lab sessions on an engaging blend of cutting-edge theoretical and practical techniques delivered by international experts. The topics include type systems and dependent types, novel programming models, and domain-specific languages, among others. The School is primarily intended for postgraduate research students and aims to foster international collaboration, and encourages a dialogue among early career researchers and renowned scientists. Important Dates: Application deadline: 30 April 2014 Notification: 15 May 2014 Speakers: Philip Wadler, University of Edinburgh Jeremy Gibbons, University of Oxford Fritz Henglein, DIKU, University of Copenhagen Rita Loogen, Philipps-Universit=E4t Marburg Hans Vandierendonck, Queen's University Belfast Jeremy Singer, University of Glasgow Conor McBride, University of Strathclyde Michele Weiland, Edinburgh Parallel Computing Centre Sven-Bodo Scholz, Heriot-Watt University Edinburgh Greg Michaelson, Heriot-Watt University Edinburgh Cost: 550 GBP - residential 350 GBP - no accommodation included Futher information is available at: http://www.macs.hw.ac.uk/~dsg/events/ISS-AiPL-2014/ =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D Evgenij on behalf of the AiPL'14 Organising Committee --_000_13DD63D0C1DD3B4BBD5EB402051CE54B0A6D09B5HWMBX02hwacuk_ Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable
 Dear all,

 Find below the call for applications to attend the AiPL'14 Summer Sch= ool.
 Apologies for multiple postings.

 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D

     2nd International Summer School on Advances in Pro= gramming Languages

            19-22 Au= gust 2014, Heriot-Watt University, Edinburgh

 The 2nd International Summer School on Advances in Programming Langua= ges
 offers four days of insightful lectures and lab sessions on an engagi= ng
 blend of cutting-edge theoretical and practical techniques delivered = by
 international experts. The topics include type systems and dependent = types,
 novel programming models, and domain-specific languages, among others= .
 The School is primarily intended for postgraduate research students a= nd
 aims to foster international collaboration, and encourages a dialogue=
 among early career researchers and renowned scientists.

 Important Dates:
  Application deadline: 30 April 2014
  Notification:         15&nbs= p;  May 2014
 
 Speakers:
  Philip Wadler, University of Edinburgh
  Jeremy Gibbons, University of Oxford
  Fritz Henglein, DIKU, University of Copenhagen
  Rita Loogen, Philipps-Universit=E4t Marburg
  Hans Vandierendonck, Queen's University Belfast
  Jeremy Singer, University of Glasgow
  Conor McBride, University of Strathclyde
  Michele Weiland, Edinburgh Parallel Computing Centre
  Sven-Bodo Scholz, Heriot-Watt University Edinburgh
  Greg Michaelson, Heriot-Watt University Edinburgh
 
 Cost:
  550 GBP - residential
  350 GBP - no accommodation included

 Futher information is available at:
 http://www.macs.hw.ac.uk/~dsg/events/ISS-AiPL-2014/

 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D

 Evgenij on behalf of the AiPL'14 Organising Committee

--_000_13DD63D0C1DD3B4BBD5EB402051CE54B0A6D09B5HWMBX02hwacuk_--