[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