Invited Speakers
CLAS
![](assets/img/trainers/diekert.jpg)
Volker Diekert
Universität StuttgartTBA
![](assets/img/trainers/fernandez.jpg)
Maribel Fernandez
Kings College LondonHierarchical Higher-Order Port-graph Rewriting as a Modelling Tool
![](assets/img/trainers/liquori.jpg)
Luigi Liquori
Inria Sophia Antipolis-Méditerranée![](assets/img/trainers/kufleitner.jpg)
Manfred Kufleitner
Universität StuttgartTBA
![](assets/img/trainers/meadows.jpg)
Invited Speakers
CICM
![](assets/img/trainers/abraham.jpg)
Erika Ábrahám
RWTH Aachen UniversitySMT solving for Arithmetic Theories
![](assets/img/trainers/ginev.jpg)
Deyan Ginev
FAU Erlangen-Nürnberg and NISTWelcome to ar5iv! Wrestling with the open problems of scholarly writing
![](assets/img/trainers/gouezel.jpg)
Sébastien Gouëzel
IRMAR, Université de Rennes 1Formalizing the change of variables formula for integrals in mathlib
Invited Speakers
PPDP/LOPSTR
![](assets/img/trainers/vazou.jpg)
Niki Vazou
IMDEA Software InstituteTBA
![](assets/img/trainers/zuleger.jpg)
Florian Zuleger
Technische Universität WienTBA
![](assets/img/trainers/grust.jpg)
Torsten Grust
University of TübingenTBA
![](assets/img/trainers/hierons.jpg)
Robert Hierons
The University of SheffieldSystematic Testing for Robotic Systems
Invited Speakers
MPC
![](assets/img/trainers/zanasi.png)
Fabio Zanasi
University College LondonLens Theoretic Foundations for Learning: from Semantics to Verification
![](assets/img/trainers/petrisan.jpg)
Daniela Petrisan
Université de ParisThe semifree monad
![](assets/img/trainers/mcbride.png)
Conor McBride
Strathclyde UniversityPicking Your Way Through Pascal’s Triangle
Invited Speakers
ICTAC
![](assets/img/trainers/zhang.gif)
Miaomiao Zhang
Tongji UniversityTBA
![](assets/img/trainers/chechik.jpg)
Marsha Chechik
University of TorontoTBA
![](assets/img/trainers/beckerst.jpg)
Bernhard Beckert
Karlsruhe Institute of TechnologyTBA
![](assets/img/trainers/traytel.jpg)
Dmitriy Traytel
University of CopenhagenTBA
Invited Speakers
RV
![](assets/img/trainers/tasiran.jpg)
Serdar Tasiran
Amazon Web ServicesTBA
![](assets/img/trainers/valko.jpg)
Michal Valko
DeepMind, InriaTBA