The general theme of the school is the semantics of programming languages. More precisely, the courses will present recent results and methods on verification and specification of programs and systems. In the more advanced topics, a special emphasis will be given to program security.
External organizer
External organizer
Gilles Barthe
Affiliation external organizer
INRIA Sophia-Antipolis
Country external organizer
France
Email external organizer
Gilles.Barthe@sophia.inria.fr
Local Organizer
Local organizer
Alberto Pardo
Affiliation local organizer
Universidad de la Républica
Country local organizer
Uruguay
Email local organizer
pardo@fing.edu.uy
Website of the school
Info address
no
Pays
Uruguay
Dates
-
Procédure de candidature
All the details regarding scholarship applications are provided on this page. Please read it carefully, then go to the application website to create an account and apply for the event that interests you.