PiP 2014: Principles in Practice

Co-located with POPL 2014

Saturday 25 January, 2014. San Diego, California, USA

Recent years have seen a number research projects applying rigorous semantics to the analysis or design of industrially significant real-world languages and systems, in various contexts. Principles in Practice (PiP) will be an informal workshop bringing together researchers to discuss the issues involved in engaging with the various industrial communities, in developing and using semantics at scale, in handling pre-existing systems complexity, and in the wide range of testing, analysis, and proof-based techniques that can be applied. There will be a programme of invited talks, with no proceedings.


Registration is via the POPL 2014 registration page. PiP 2014 is not an ACM-sponsored meeting, so if you plan to attend, please register specifically for PiP. Breakfast and breaks will be included, but not lunch.




PiP 2014 is sponsored by the EPSRC REMS project: Rigorous Engineering for Mainstream Systems.

[Validate this page.]