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. ____________________ Racket Users list: http://lists.racket-lang.org/users
