Aim:
The goal of the training is that participants to learn how to use different SMT solvers for encoding different problems and their solutions
Hosting institution: RWTH, Aachen University, Germany
Period: 19.05.2021 – 04.06.2021
Duration: 9 days
Flyer
Local organizers:
- Erika Abraham, RWTH (chair)
- Isabela Drămnesc, WUT