Lightning talks (SPLV 2024)
Lightning talks are your chance to give a quick introduction to your research and your interests. Signing up to give a lightning talk is now closed. If you are giving a talk, please send your slides in PDF format to CIS_splv2024@groups.strath.ac.uk before Monday 29 July. Please plan for your talk to be less than five minutes long.
The schedule has been generated randomly.
| Monday | Tuesday | |
|---|---|---|
| 17:05 | Szumi Xie | Cass Alexandru |
| 17:10 | Ruben Turkenburg | Sean Watters |
| 17:15 | Murdoch Gabbay | Wenhao Tang |
| 17:20 | Ariadne Si Suo | Christopher Lam |
The titles are as follows:
| Speaker | Title |
|---|---|
| Ariadne Si Suo | Towards a denotational model of mode systems |
| Cass Alexandru | Intrinsically correct sorting using bialgebraic semantics (slides) |
| Christopher Lam | Correctly Compiling Proofs About Programs Without Proving Compilers Correct (slides) |
| Murdoch Gabbay | Polynomial semantics for FOL (slides) |
| Ruben Turkenburg | Proving Behavioural Apartness (slides) |
| Sean Watters | The modal mu-calculus, type-theoretically (slides) |
| Szumi Xie | Second-order generalised algebraic theories (slides) |
| Wenhao Tang | Modal Effect Types (slides) |