K-user mailing list

["Rosu, Grigore" <grosu AT illinois.edu>]

Yes, attending the PLT Redex workshop is a very good idea,
and so is fostering the collaboration and synergy between our
communities!  If anybody from UIUC wants to go, please let me
know. 

Grigore



________________________________________
From: 
k-user-bounces AT cs.uiuc.edu
 
[k-user-bounces AT cs.uiuc.edu]
 on behalf of Robby Findler 
[robby AT eecs.northwestern.edu]
Sent: Wednesday, March 11, 2015 7:44 AM
To: 
k-user AT cs.uiuc.edu
Subject: [K-user] PLT Redex Summer School: second call for participation

Dear K'ers: Redex and K aim at overlapping targets. Do come to the
workshop below and help foster the already great exchange of ideas
between our two communities.

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.
_______________________________________________
k-user mailing list
k-user AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/k-user