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.
Organisateur extérieur
External organizer
Gilles Barthe
Country external organizer
France
Email external organizer
Gilles.Barthe@sophia.inria.fr
Organisateur local
Local organizer
Alberto Pardo
Country local organizer
Uruguay
Email local organizer
pardo@fing.edu.uy
Site web de l'école
Info address
no
Dates
-
Pays
Uruguay
Region
AMERICA
Année
2003
Comment participer
Pour s'inscrire et postuler à un financement CIMPA, lisez attentivement les instructions données ici. Si vous savez déjà ce qu'il faut faire, vous pouvez vous rendre sur le site de candidature, créer un compte (si ce n'est pas déjà fait) et postuler à l'école qui vous intéresse. Attention, vous serez redirigé·e vers un autre site.