Alan Jeffrey will repeat his talk at LOLA:
http://lola.cse.buffalo.edu/abstracts/LOLA2016-jeffrey.pdf
Allan Jeffrey, Rust for Semanticists