We are in the process of constructing the website. Check back later for more details: programme, registration, etc.
Announces will be posted here as well, in addition to the usual mailing lists.
EPIT 2018 Software Verification Spring School
Une École de Printemps en Informatique Théorique
We are in the process of constructing the website. Check back later for more details: programme, registration, etc.
Announces will be posted here as well, in addition to the usual mailing lists.