[TYPES/announce] CFP: Summer School on Language Frameworks

[SSLF 2012]

Summer School on Language Frameworks
Sinaia, Romania, July 23-31, 2012.
https://fmse.info.uaic.ro/events/SSLF12/
 
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 https://fmse.info.uaic.ro/events/SSLF12/ for details and
registration.  The number of participants is limited.