the Racket summer school on semantics and languages

by Matthias Felleisen, March 31, 2017

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 

             Last Call

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.