La Escuela de Verano se realiza anualmente desde 1994, organizada por el Departamento de Computación. Los cursos que conforman dicha Escuela de Verano han sido dictados por especialistas, docentes e investigadores de primer nivel, tanto del país como del extranjero. En la 29º edición de la Escuela de Verano de Ciencias Informáticas, RIO 2024, se dictarán los siguientes cursos:
El taller apunta a ser una reunión científica en donde se discutan investigaciones recientes en temáticas vinculadas a la verificación, validación y síntesis de artefactos vinculados a la ingeniería de software, incluyendo desde especificaciones de requerimientos y diseño a código fuente.
La Escuela de Verano se realiza anualmente desde 1994, organizada por el Departamento de Computación. Los cursos que conforman dicha Escuela de Verano han sido dictados por especialistas, docentes e investigadores de primer nivel, tanto del país como del extranjero. En la 28º edición de la Escuela de Verano de Ciencias Informáticas, RIO 2023, se dictarán los siguientes cursos:
El taller apunta a ser una reunión científica en donde se discutan investigaciones recientes en temáticas vinculadas a la verificación, validación y síntesis de artefactos vinculados a la ingeniería de software, incluyendo desde especificaciones de requerimientos y diseño a código fuente.
The Workshop MISSION at INVAP will be held at INVAP premises, in San Carlos de Bariloche, Argentina, on February 24th and 25th. The workshop will gather researchers of most of the sites participating in MISSION, with the addition of some participants interested in the topic.
It was early 2018 when the server had a security breach and some random stingy chap decided to mine some cryptocurrency on it. The breach went through one the Drupal/PHP sites. Most likely this one. So, we needed to put down all Drupal actives sites on the server and decided to make only static sites.
Time passed (with a pandemics in between) and I've never made room to work on it. ...until now!
El 29 de Mayo pasado Carlos E. Budde defendió su tesis doctoral titulada "Automation of Importance Splitting Techniques for Rare Event Simulation". Su jurado de tesis estuvo formado por Arnd Hartmanns, Germán Regis y Damián Barsotti.