[Agda] Summer School on Advances in Programming Langauges

Belikov, Evgenij eb120 at hw.ac.uk
Mon Apr 14 19:24:12 CEST 2014


 Dear all,

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

 ===================================================

     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ät 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/

 ===================================================

 Evgenij on behalf of the AiPL'14 Organising Committee

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20140414/df646457/attachment.html


More information about the Agda mailing list