Presentation Slides
| Title of the Talk | Presenter | Download Link for Slides |
|---|---|---|
| Unifying Probability | Jeff Sanders | Download PDF |
| Operational semantics for state-rich reactive programs | Jim Woodcock | Download PDF |
| Issues Regarding R2 and Undefinedness | Andrew Butterfield | Download PDF |