- Bart Jacobs 0001, Alexandra Silva 0001, Sam Staton, editors, Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2014, Ithaca, NY, USA, June 12-15, 2014. Volume 308 of Electronic Notes in Theoretical Computer Science, Elsevier, 2014.