[PL-sem-jr] Reminder: The PL Jr. Seminars tutorial series - Paul Stansifer: It's just semantics - Mon 10/4

[Vincent St-Amour]

Reminder: there is a PL Jr. tutorial on monday.

See you there!

Vincent


At Thu, 30 Sep 2010 14:22:23 -0400,
Vincent St-Amour wrote:
> 
> 
> The PL Jr. seminars' tutorial series continue next monday (10/4), with
> a talk by Paul Stansifer:
> 
> Title:  It's just semantics.
> 
> Abstract:  In order to define a language, it's necessary to give it a
> semantics.  Two different approaches to defining semantics may be provably
> the same, but they provide radically different tools for proving properties
> about programs, and they may even cause you to go back and design the
> language differently.  We will look at the Cartesian product of two
> different semantic approaches and four simple languages.
> 
> As usual, we will meet in WVH166 from 12:30 to 2:30.
> 
> For more information:
> http://www.ccs.neu.edu/home/stamourv/pljr.html
> https://wiki.ccs.neu.edu/display/GRADWIKI/PlSeminarJr
> http://www.google.com/calendar/embed?src=l62pp852u0sdrj9pjrc4enbgcc%40group.calendar.google.com&ctz=America/New_York
> 
> See you there!
> 
> Vincent
>