the Racket Summer School of Semantics and Languages

by Matthias Felleisen, March 16, 2017

announcing an unusual summer school on programming language research

  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.