Thanks to our generous supporters:
National Science Foundation
New: Local details for participants highlighted below.
Reduction semantics with evaluation contexts.
The Redex languages for describing and exploring such a semantics.
The #lang mechanism for defining languages and environments.
Connections between all of the above.
Current young PhD students who want training in a systematic approach to semantics and languages.
Senior PhD students or post-docs who are already versed in other approaches and want to expose themselves to the alternative Racket philosophy.
Senior undergraduates and master’s students who wish to prepare themselves for a PhD program.
Industrial developers looking to broaden and deepen their toolkit.
Computing professionals who want a preview of research results that will impact computing in coming years.
Faculty who wish to experience different and new approaches to teaching programming languages.
The School will run July 10-14 (Monday-Friday) at the University of Utah.
The University is located in lovely Salt Lake City, Utah, USA.
The summer school will be held in room 2230 of the Warnock Engineering Building (WEB).
The workshop will run roughly 9am to 5pm Monday through Friday, with each day divided into four sections of about 1h15m each:
Mystery 1: discovering
Mystery 1: modeling
Mystery 2: discovering
Mystery 2: modeling
Mystery 3: discovering
Mystery 3: modeling
building your own language and IDE
#lang from Redex
Test your language
Breakfast (bagels and fruit) will be available by 8:30 each day, and lunch will be delivered.
We have arranged for subsidized lodging in dorms at the University of Utah.
Participants can park in the Merrill Engineering Building (MEB) lot to the north of WEB and MEB. Contact the organizers for a virtual parking pass.
There is no cost for attending the workshop itself.
Funding is provided by US National Science Foundation to support participants from US institutions. This support will provide full accommodation in the dorm and reasonable food and travel allowances.
People who are not eligible for funding are also welcome.
Please express interest through this form. We will contact people directly.