posted by user: hwloidl || 3338 views || tracked by 4 users: [display]

AiPL 2014 : Summer School on Advances in Programming Languages

FacebookTwitterLinkedInGoogle

Link: http://www.macs.hw.ac.uk/~dsg/events/ISS-AiPL-2014/
 
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

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/

Related Resources

Digital Futures Indigenous Languages 2026   Advances in Northeast Indian Languages and Technologies Volume 1
SBAC-PAD 2026   39th IEEE/SBC International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2026)
ERD 2026   The 14th International Conference Education, Reflection, Development
LCTES 2026   The 27th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems
OLMI 2026   Tools for minority languages: practical solutions for speakers, learners and teachers
WLPP 2026   11th WORKSHOP ON LANGUAGE BASED PARALLEL PROGRAMMING (WLPP 2026)
AIxMHC (Summer) 2026   IEEE Artificial Intelligence x Medicine, Health, and Care (AIxMHC, Summer Edition)
SECA 2026   2026 2nd International Conference on Software Engineering and Computer Applications-EI/Scopus
AIxSoftware (Summer) 2026   International Conference on AI x Software (Summer Edition)
ATRPM 2026   International Conference on Advances in Theory, Research & Practices in Management (ATRPM 2026) GLS University