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
Pays
Uruguay
Dates
-
Procédure de candidature
Tous les détails concernant la candidature aux bourses sont donnés sur cette page. Lisez-la attentivement puis rendez-vous sur le site de candidature pour créer un compte et postuler à l'évènement qui vous intéresse.