For my slides I use BeamerikZ made by Misio.

- Boundedness and zero isolation for weighted automata: slides
- Copyless cost-register automata: slides
- Polynomial recursive sequences: slides
- 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.