For my slides I use BeamerikZ made by Misio.

- Nonelementary reachability for Petri nets: slides
- BoBrVASS: slides (the nice pictures were made by Gusia)
- Probabilistic automata: slides
- Branching VASS in dimension one: slides.
- Timed automata and branching VASS: slides.
- Cost-register automata: slides.
- Datalog: slides.