29° Escuela de Verano de Ciencias Informáticas, RIO 2024

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:

Invited Lecture at ICTAC 2023

Next 7th of December, Pedro D'Argenio will give one of the invited lectures of the 20th International Colloquium on Theoretical Aspects of Computing, ICTAC 2023. The event will take place in Lima, Peru, between the 4th and 8th of December, 2023.

FACAS 2023

El Décimo Taller Argentino de Fundamentos para el Análisis y la Construcción Automática de Software, FACAS 2023, se llevará a cabo los días 2, 3 y 4 de Marzo en La Falda, Córdoba, Argentina.

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.

28° Escuela de Verano de Ciencias Informáticas, RIO 2023

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:

FACAS 2022

El Noveno Taller Argentino de Fundamentos para el Análisis y la Construcción Automática de Software, FACAS 2022, se llevará a cabo los días 3, 4 y 5 de Marzo en La Falda, Córdoba, Argentina.

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.

Workshop MISSION@INVAP

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.

...and the group web site is back!!

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!

Charla Invitada SLTC - CLEI

El próximo 5 de septiembre, en el marco del Simposio Latinoamericano de Teoría Computacional y de la Conferencia Latinoamericana de Informática, Pedro R. D'Argenio dictará la conferencia invitada de dicho simposio. El evento tendrá lugar en la Facultad Regional Córdoba de la Universidad Tecnológica Nacional.

Título: How to check if your software is on doping.

Se doctoró Carlos Budde

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.

Pages