ICTAC 2023

Training School on Applied Formal Methods

About the school

Formal Methods are logic-based techniques for the specification, development, and verification of systems. They contribute to reliability and trustworthiness of systems and they deal with models of systems that capture their dynamic aspects (e.g., processes, transitions).

We plan to organize a training school on applied formal methods targeting master students, Ph.D. students, early-stage researchers, and lectures in the field of computer science and mathematics that want to get a taste of selected formal methods. The ICTAC training school will be held in Lima - Peru at UTEC, December 04-05, 2023.

If you want to give a lecture on applied formal methods, please contact the general chairs of ICTAC 2023.

Lecturers

Name: Ana Cavalcanti
Affiliation: University of York, United Kingdom
Homepage: https://www-users.york.ac.uk/~alcc500/
Topic: TBD

Name: Pedro R. D'Argenio
Affiliation: National University of Córdoba, Argentina
Homepage: https://cs.famaf.unc.edu.ar/~dargenio/
Topic: TBD