Articles on this blog are issued with no particular frequency. RSS

Is your software on dope?: Formal analysis of surreptitiously “enhanced” programs

It appears your Web browser is not configured to display PDF files. Download adobe Acrobat or click here to download the PDF file.

Yes, I basically use the same talk in three (EDIT: five!) different places. Luckily the audience was pairwise disjoint 😊! I am really glad I was invited to give these talks. They have been very good opportunities to disseminate this great new work. Moreover, I have enjoyed all three (five!) presentations and had a great feedback. These are the places:

Conferencia invitada en el 11º ERPEM

It appears your Web browser is not configured to display PDF files. Download adobe Acrobat or click here to download the PDF file.

El Encuentro Regional de Probabilidades y Estadística, es un encuentro anual que se realiza en la región con el fin de promover interacciones entre estudiantes, jóvenes investigadores y expertos de la región en el área de Probabilidades y Estadística, para fomentar nuevas interacciones y colaboraciones facilitando desde las instituciones involucradas el intercambio de ideas por medio de discusiones informales.

En esta 11º edición, a los organizadores, encabezado por Marcelo Ruíz (UNRC), les picaron las ganas de saber que era eso de Probabilistic Model Checking y decidieron invitarme a dar una charla. Traté de no aburrirlos (pueden ver las filminas adjuntas), y la verdad que la pasé bárbaro.

Así que vaya mi agradecimiento a toda la gente del 11º ERPEM, también a la de los Departamento de Matemáticas y de Computación de la UNRC, y en particular a Marcelo Ruiz.

Conferencia "Dr. Enrique Gaviola"

It appears your Web browser is not configured to display PDF files. Download adobe Acrobat or click here to download the PDF file.

El 15 de Noviembre de 1956 se crea en la Universidad Nacional de Córdoba el IMAF, Instituto de Matemática Astronomía y Física. Su fundación fue el corolario de la intensa y prolífica trayectoria del Dr. Enrique Gaviola, uno de los más destacados físicos de su época. En el año 1983, el IMAF se transformó en la décima facultad de la UNC, la FaMAF, Facultad de Astronomía y Física.

Anualmente, en conmemoración de la fundación del IMAF, se realiza en nuestra facultad la Conferencia "Dr. Enrique Gaviola", la cual es dictada alternadamente por un docente destacado de cada disciplina que abarca la facultad: Matemática, Astronomía, Física, y desde 2011 incluye también a Computación.

Este año, en el 59º Aniversario de la creación del IMAF, me tocó a mi dictar la Conferencia Gaviola, el segundo correspondiente a la disciplina de Ciencias de la Computación y muy probablemente el último en dictarla en la Facultad de Matemática, Astronomía y Física dado que el Consejo Directivo aprobó recientemente la propuesta del cambio de nombre a "Facultad de Astronomía, Matemática, Física y Computación", quedando la aprobación definitiva en manos de la próxima Asamblea Universitaria.

Postdoc or not post-doc

It appears your Web browser is not configured to display PDF files. Download adobe Acrobat or click here to download the PDF file.

Esta es una charla que di en FACAS 2015, el 3er Taller Argentino de Fundamentos para el Análisis y Construcción Automática de Software. Este taller reúne a diversos grupos de investigación nacionales con 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.

El taller convoca a numerosos alumnos de doctorados y postdocs. Precisamente por eso, se nos pidió a alguno de nosotros que demos charlas que aclaren y amplíen el panorama de la carrera científica para estos jóvenes investigadores.

En particular, a mi me tocó dar una charla que describa las distintas posibilidades y estructuras de postdoctorados y una discusión sobre las motivaciones y posibles necesidades de hacerlo. Esta charla debía generar un ida y vuelta de preguntas y respuestas, con lo cual no es completa y sólo expresa mi rápida visión al respecto. En las transparencias agrego una última página con un comentario realizado por Sebastián Uchitel que consideré relevante.

Estrenando página / New home page

Tango Cambalache cantado por Julio Sosa

[English version below]

Si bien estas nuevas páginas se parecen a las anteriores, decidí cambiar el CMS. Las páginas están ahora creadas y mantenidas sobre Drupal. El contenido también ha cambiado un poco: además de estar actualizadas, cambié la sección "Cambalache" para que ahora cumpla el fin de un blog. Será un blog donde publicaré cosas relacionadas al laburo mayormente. Probablemente le dedique atención irregular como suelo hacer con la mayoría de las cosas que no tienen un deadline determinado.
Una cosa más: los posts serán en el idioma que pinte y habrá o no traducciones, según me pinte también :)
Por ahora les dejo el tango que comparte título con esta sección.

Subscribe to Pedro R. D'Argenio - Cambalache
Powered by Drupal