the Racket summer school on semantics and languages
The post is the last call for participation for the Racket summer school on semantics and languages.
The Racket Summer School of Semantics and Languages
Imagine yourself confronted with a Mystery Programming Language and
charged with the task of figuring out its semantics. What would you do?
What if you have a formal executable semantics and want to build a
production language for it?
If these questions intrigue you, attend the Racket Summer School:
This is not your run-of-the-mill summer school. We will do our best
to make it exciting, entertaining, and useful to a broad spectrum of
attendees, both academic and industrial.
P.S. As soon as you get accepted, we will send you your first problem
set. Get ready.