@inproceedings{DBLP:journals/entcs/Jacobs0S14, title = "Preface", author = "Bart Jacobs and Alexandra Silva and Sam Staton", year = "2014", booktitle = "Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2014, Ithaca, NY, USA, June 12-15, 2014", editor = "Bart Jacobs and Alexandra Silva and Sam Staton", pages = "1--2", publisher = "Elsevier", series = "Electronic Notes in Theoretical Computer Science", url = "https://doi.org/10.1016/j.entcs.2014.10.001", volume = "308", doi = "10.1016/j.entcs.2014.10.001", }