About

This advanced school brings together experts from various aspects of theory and practice of programming languages to present the state of the art in programming languages and their applications. The school will cover topics from Social Network Programming, Applied Type Theory, Model Based Testing, Concurrency Theory and Distributed Programming. Our goal is to demonstrate the importance of formal foundations and their connection to the design and implementation of modern programming languages. The level of lectures will be suitable for graduate students, young researchers and also experts from other fields of computer science who intend to establish interdisciplinary links with the field of programming languages.