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
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.