Note: topics are listed in reverse chronological order.
Topics from 2016
Structured Operational Semantics
On December 9, we began discussing Gordon Plotkin's notes on Structured Operational Semantics. A series of separate meetings followed in December and January to cover most of the rest of the notes.
Verifying Attribute Grammars