[TYPES/announce] PLT Redex Summer School: second call for participation

Robby Findler robby at eecs.northwestern.edu
Wed Mar 11 08:43:10 EDT 2015


Dear type enthusiasts: Redex gives you a way to quickly prototype type
systems and play around with examples. Consider coming to our summer
school and checking out.

Robby


-------------------------------------

PLT REDEX: THE SUMMER SCHOOL
CALL for PARTICIPATION

Matthias Felleisen, Robert Bruce Findler, Matthew Flatt

LOCATION: University of Utah, Salt Lake City
DATES: July 27 - July 31, 2015
http://www.cs.utah.edu/~mflatt/plt-redex/


PLT Redex is a lightweight, embedded DSL for modeling programming
languages, their reduction semantics, and their type systems. It comes with
an IDE and a toolbox for exploring, testing, debugging, and type-setting
language models. The PLT research group has successfully used Redex to
model and analyze a wide spectrum of published models.

The summer school will introduce students to the underlying theory of
reduction semantics, programming in the Redex language, and using its
tool suite effectively.  The course is intended for PhD students and
researchers in programming languages. Enrollment is limited to 25
attendees.

While the workshop itself is free, attendees must pay for travel, room, and
board. We expect room and board to be around $500, assuming an arrival in
the evening of Sunday July 26 and leaving Friday July 31 or August 1.
Partial financial support for PhD students is available.

To register, send email to Matthew Flatt (mflatt at cs.utah.edu). If you
are a PhD student and requesting financial support, CC your advisor
and ask for a one-line confirmation email.

Literature

  Matthias Felleisen, Robert Bruce Findler, Matthew Flatt.
  Semantics Engineering with PLT Redex. MIT Press, 2012.

  Casey Klein, John Clements, Christos Dimoulas, Carl Eastlund,
  Matthias Felleisen, Matthew Flatt, Jay McCarthy, Jon Rafkind, Sam
  Tobin-Hochstadt, Robert Bruce Findler. Run Your Research: On the
  Effectiveness of Lightweight Mechanization. POPL 2012.


More information about the Types-announce mailing list