[TYPES/announce] Programming Language Implementation Summer School (PLISS)
Laurence Tratt
laurie at tratt.net
Fri Mar 8 03:39:28 EST 2019
============================================================================
Programming Language Implementation Summer School (PLISS)
May 19-24, 2019, Bertinoro Italy
https://pliss2019.github.io/
============================================================================
Programming languages are our interface to the myriad of computer systems we
interact with on a daily basis. They allow us to craft complex sequences of
operations at increasing high levels of abstraction. How are these languages
designed? How are they implemented? How do we evaluate them?
The second Programming Language Implementation Summer School (PLISS) will be
held in Bertinoro, Italy from May 19 to 24, 2019. The Summer School's goal
is to prepare early graduate students and advanced undergraduates for
research in the field. This will be done through a combination of lectures
on language implementation techniques and short talks exploring the state of
the art in programming language research and practice.
Lectures cover current research and future trends in programming language
design and implementation, including:
* Language security
* The interaction between language semantics and implementation
* WebAssembly
* Better structuring of compilers
* Persistent storage and its implications
The instructors are accomplished researchers and practitioners with extensive
experience designing and engineering successful languages and tools.
We gratefully acknowledge the support of our sponsors in allowing us to make
travel grants and fellowships available to support students interested in
attending PLISS.
More details at https://pliss2019.github.io/
More information about the Types-announce
mailing list