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 local organizer
Universidad de la Républica
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
Dates
-
Pays
Uruguay
Ville
MONTEVIDEO
Region
AMERICA
Year
2003
How to participate
For registration and application to a CIMPA financial support, read carefully the instructions given here. If you already know what to do, you can also directly go to the application website, create an account (if necessary) and apply to the school of your choice. Be aware that you will be redirected to an external website.