[racket] Summer School on Language Frameworks

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Mon May 7 21:12:32 EDT 2012

In case any of you are interested. Redex will be represented.

Robby

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

Summer School on Language Frameworks
Sinaia, Romania, July 23-31, 2012.
http://www.linkedin.com/in/guidowachsmuth

This nine-day summer school is dedicated to investigating six state-of-the-art
programming language definitional frameworks, at a relaxed pace, by means of
tutorials, hands-on projects, and plenty of discussions in a picturesque place
in the Carpathian Mountains (alphabetically):

K (http://k-framework.org/)
Presenter: Grigore Rosu (http://fsl.cs.uiuc.edu/~grosu)

Maude (http://maude.cs.uiuc.edu/)
Presenter: Jose Meseguer (http://formal.cs.uiuc.edu/meseguer/)

PLanCompS (http://www.plancomps.org/)
Presenter: Peter Mosses (http://www.cs.swan.ac.uk/~cspdm/)

Rascal (http://www.rascal-mpl.org/)
Presenter: Paul Klint (http://www.rascal-mpl.org/)

Redex (http://redex.racket-lang.org/)
Presenter: Robby Findler (http://www.eecs.northwestern.edu/~robby/)

Spoofax (http://spoofax.org/)
Presenters: Eelco Visser (http://swerl.tudelft.nl/bin/view/EelcoVisser)
           Guido Wachsmuth (http://www.linkedin.com/in/guidowachsmuth)

Please visit http://www.linkedin.com/in/guidowachsmuth for details and
registration.  The number of participants is limited.

Posted on the users mailing list.