posted by user: hwloidl || 1032 views || tracked by 3 users: [display]

AiPL 2014 : Summer School on Advances in Programming Languages


When Aug 19, 2014 - Aug 22, 2014
Where Edinburgh
Submission Deadline May 30, 2014
Notification Due Jun 10, 2014
Categories    programming languages   parallel programming   type systems   reasoning about programs

Call For Papers

Call for Participation
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 May 2014
Notification: 10 June 2014

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

550 GBP - residential
350 GBP - no accommodation included

Futher information is available at:

Related Resources

SPURS 2017   Sound and Practical Unanticipated Reuse of Software - Special Issue of Journal of Software: Evolution and Process
ASPLOS 2017   22nd ACM International Conference on Architectural Support for Programming Languages and Operating Systems
Programming 2017   The International Conference on the Art, Science, and Engineering of Programming
COSMIC 2017   International Workshop on Code Optimisation for Multi and many Cores
IFL 2016   28th Symposium on Implementation and Application of Functional Languages
ANTJ 2016   Advanced Nanoscience and Technology: An International Journal
COMPUTATION TOOLS 2017   The Eighth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
DSLDI 2016   4th Workshop on Domain Specific Language Design and Implementation
RUMPLE 2016   ReUsable and Modular Programming Language Ecosystems