SPLS Meeting: Friday 28 September 2007

ICMS, 14 India Street, Edinburgh

Scottish Programming Language Seminar, special meeting with talks by members of the POPL 2008 programming committee.

9.30 Nobuko Yoshida
"From Name Passing to Observationally Complete Program Logics"
10.00 Sanjiva Prasad
"An Axiomatic Basis for Communication"
10.30 coffee
11.00 Peter Thiemann
"Towards Interface Types for Haskell"
11.30 Peter van Roy
"Reflections on self management and the future of software design"
12.00 Tobias Nipkow
"A functional programmers look at quantifier elimination for linear arithmetic"
12.30 lunch
13.30 James Noble
"Multiple Ownership"
14.00 Yannis Smaragdakis
"Morphing: Bringing Discipline to Meta-Programming"
14.30 coffee
15.00 Eijiro Sumii
"Environmental bisimulations for higher-order languages"
15.30 Philip Wadler
"Well-typed programs can't be blamed"
16.00 coffee
16.30 Jan Vitek
"StreamFlex: High-throughput Stream Programming in Java"
17.00 Robby Findler
"PLT Redex: A semantics engineer's PDE"