SLS 2013: Workshop on Scalable Language Specification

In June, PLanCompS will be co-organising a workshop on Scalable Language Specification together with Microsoft Research, Cambridge.

  • Workshop dates: June 25–27, 2013, Cambridge, UK
  • Submission deadline extended: April 2, 2013
  • See the website here

The focus of this workshop is on formal language specification frameworks
and how they scale up when applied to larger languages. The workshop provides
a forum for discussing practical and theoretical issues, and aims to promote
dissemination and collaboration between the developers and users of language
specification frameworks.

There will be 10 Invited speakers: Egon Börger, Mark van den Brand, Kevin Hammond, Sir Tony Hoare, Paul Klint, Shriram Krishnamurthi, José Meseguer,
Grigore Roşu, Dave Schmidt, and Peter Sewell.