talks.bib

@comment{{This file has been generated by bib2bib 1.99}}

@comment{{Command line: bibtex2html-1.99-with-magiclink/bib2bib -c talk:"true" -ob talks.bib sewellandgroupbib2.bib}}

@misc{slides-rtfm2026,
  optkey = {},
  author = {Peter Sewell},
  title = {On long-term research vision},
  opthowpublished = {},
  month = jan,
  year = {2026},
  note = {Talk at RTFM 2026 faculty mentoring workshop (Read the Faculty Manual) with POPL 2026, Rennes, 2026-01-13.},
  pdf = {https://www.cl.cam.ac.uk/~pes20/Stuff/2026-01-rtfm-notes.pdf},
  optannote = {},
  talk = {true}
}

@misc{slides-iris2024,
  optkey = {},
  author = {Peter Sewell},
  title = {Open problems from system software verification},
  opthowpublished = {},
  month = jun,
  year = 2024,
  note = {Talk at Iris workshop, Zurich, 2024-06-03},
  pdf = {https://www.cl.cam.ac.uk/~pes20/Stuff/2024-06-iris-workshop.pdf},
  optannote = {},
  talk = {true}
}

@misc{slides-rpls2025,
  optkey = {},
  author = {Peter Sewell},
  title = {Production language specification: requirements for multiple usages},
  opthowpublished = {},
  month = jun,
  year = 2025,
  note = {Talk at RPLS 2025 (Real-World Programming Language Specification), with PLDI 2025, Seoul/remote, 2025-06.},
  pdf = {https://www.cl.cam.ac.uk/~pes20/Stuff/2025-06-rpls.pdf},
  optannote = {},
  talk = {true}
}