Sobre las jornadas


Las Jornadas de Ciencias de la Computación (JCC) se presentan como una iniciativa del Departamento de Ciencias de la Computación de la Facultad de Ciencias Exactas, Ingeniería y Agrimensura de la Universidad Nacional de Rosario, de carácter abierto y gratuito con el objetivo de promover el contacto de los alumnos de la Facultad con investigadores y profesionales en temas relacionados con el ámbito de las ciencias de la computación, al mismo tiempo que nos permite mantenernos actualizados sobre las tendencias en investigación y desarrollo que se realizan en la región.

La edición 2019 de las JCC se llevará a cabo los días 23, 24 y 25 de Octubre en la Facultad de Ciencias Exactas, Ingeniería y Agrimensura de Rosario.

Las JCC se llevaron a cabo por primera vez en noviembre del año 2000. Año tras año han participado decenas de personas provenientes de empresas de desarrollo de software local, estudiantes e investigadores de esta casa de estudios y de universidades destacadas de la zona, entre las cuales podemos mencionar a la Universidad Nacional de La Plata, Universidad Nacional de Córdoba, Universidad Nacional de Río Cuarto y la Universidad de la República (Montevideo-Uruguay). La realización de las JCC es un proceso que continúa año a año y constituye un logro significativo del cuerpo de docentes y de estudiantes de la carrera Licenciatura en Ciencias de la Computación.

Certificado de asistencia


Se puede obtener un certificado de asistencia a las jornadas de forma gratuita y opcional acá.

Charlas confirmadas


Historia de las Ciencias de la Computación

Se toman algunas historias cortas y breves de Ciencias de la Computación y se las discuten. Estas historias no tienen conexión entre sí, por lo general, y se garantiza que nadie de los asistentes quedará conforme.

por Raúl Kantor, Guido Macchi (FCEIA)

Urgent Computing en Sistemas de Aplicación Dinámicos Guiados por Datos

Los Sistemas de Aplicación Dinámicos Guiados por Datos (DDDAS, Dynamic Data-Driven Application Systems) tratan de aprovechar al máximo la unión de los métodos de adquisición de datos, la computación y la simulación en el desarrollo de sistemas complejos que pueden ser utilizados para dar respuesta en sistemas de tiempo real con requerimientos de computación urgente, i.e., aplicaciones donde el procesamiento de datos sólo tiene validez si puede llevarse a cabo dentro de una ventana temporal bastante angosta. La creación de un DDDAS requiere la comprensión sobre el uso de sensores remotos, diferentes niveles de computación tanto a como el de un procesador embebido como el de una supercomputadora, redes, seguridad de datos, modelado matemático y computacional, problemas inversos, teoría de control y visualización. Las DDDAS implica la capacidad de incorporar dinámicamente datos adicionales en una aplicación en ejecución permitiendo mejorar el modelado de sistemas en condiciones dinámicas.

Dado esto tienen gran aceptación en los sistemas de predicción de fenómenos naturales como es el caso de los incendios forestales.

Entonces la idea es comentar las características de un DDDAS, el cual incorpora Computación de Alto Rendimiento (HPC), Análisis Estadístico, Metaheurísticas, Redes de Sensores Inalámbricos (WSNs) e Información Satelital utilizado como sistema de alerta temprana y de predicción del comportamiento de incendios forestales.

por Miguel Méndez Garabetti (UAA - UM)

Bioinformática y Genómica funcional: identificando los rasgos que hacen a las moléculas especiales

La Bioinformática acompaña las actividades de investigación antes, durante y después de la experimentación. Más aún, numerosas bases de datos y recursos In Silico, sumados a la gran disponibilidad y continua generación de nueva información molecular, resultan incluso importantes generadores de hipótesis para las investigaciones. Por eso, la Bioinformática y disciplinas asociadas impactan cada vez más en el desarrollo científico.

Desde que comencé a formar parte de una línea de investigación, fueron necesarias aplicaciones bioinformáticas, para enfoques centrados en genes específicos o para estudios masivos. Independientemente del sistema biológico, prevalecen en mi trabajo el manejo de grandes cantidades de datos y secuencias, y el análisis de patrones lineales, como elementos en cis de las moléculas estudiadas que indican funciones biológicas. Destaco dos ejemplos: la creación de FruitGeneDB (una base de datos con información genómica, funcional y de expresión de genes importantes en la poscosecha de frutas), sumada al análisis del motivos en promotores de genes sensibles a tratamiento térmico; la identificación de mutaciones reportadas, capaces de afectar la formación de estructuras G-quadruplex en genoma humano; hoy experimentalmente verificadas. Los ejemplos mencionados apoyan la aplicación de enfoques in Silico para identificar moléculas con rasgos de interés a comprobarse experimentalmente.

Por otro lado, invitan a conocer los alcances de la Bioinformática, generar equipos interdisciplinarios y principalmente a formular nuevas preguntas y darle respuesta a las mismas.

En conclusión, el rol de la Bioinformática hoy en día trascendió de complementar la investigación a permitir el inicio de nuevos proyectos, generando nuevos interrogantes y a la vez enfoques para darle respuesta, y sugiriendo la importancia de los equipos interdisciplinarios.

por Mauro Gismondi

La teoría de juegos: un tema estratégico

El mundo es muy complejo y hoy en día se trata no solamente de pensar individualmente; lo entenderemos mejor si tenemos en cuenta que existen otros individuos con distintos objetivos... Eso podrá ayudar no sólo a los otros sino también a nosotros mismos.

En esta charla, de carácter introductorio, vamos a recorrer algunas de las múltiples facetas que tiene en la actualidad la teoría de juegos, una disciplina que estudia distintos aspectos de problemas de decisión en los que hay múltiples participantes con objetivos interrelacionados y que intentan maximizar sus ganancias. Problemas como el dilema del prisionero, el piedra papel o tijera, y las situaciones de negociación y regateo, aparecen en las relaciones sociales y de trabajo, la interacción con los semejantes, el estudio, la economía... Hasta para decidir cuándo vamos de compras o adónde se va de vacaciones. Hablaremos sobre juegos (abstractos y concretos, conocidos y no tanto), estrategias y los tan buscados equilibrios de Nash; desde su significado filosófico hasta cómo calcularlos, sus aplicaciones y eventuales inconvenientes. Y sobre las tremendas paradojas que surgen ante la idea del conocimiento perfecto.

La teoría de juegos enseña al "homo ludens", entre otras cosas, a no subestimar. Por último, mencionaremos trabajo reciente en el área.

por Ariel Arbiser (UBA)

Los problemas de disciplina de un robot

En el CIFASIS, un instituto de CONICET y la UNR donde se investiga en temas relacionados a la informática, se está desarrollando un prototipo de robot desmalezador. En esta charla vamos a hablar sobre este proyecto, sobre los distintos problemas particulares que involucra y sobre cómo estos problemas se enmarcan en las distintas disciplinas más generales en las que investigan los distintos grupos del CIFASIS.

También discutiremos sobre distintas posibilidades para la realización de Pasantías, Tesinas y Tesis Doctorales en el instituto.

por Ernesto Kaufman (CIFASIS - CONICET)

Introducción a Microsoft Cognitive Services

Introducción a las principales características de las Apis desarrolladas por Microsoft que permiten que, mediante el uso de inteligencia artificial, nuestros sistemas puedan ver, oír, hablar y comprender necesidades de los usuarios a través del uso del lenguaje natural.

Durante la charla abordaremos temas técnicos sobre su funcionamiento como así también diversos usos y aplicaciones para finalizar con algunos ejemplos prácticos y demostraciones en tiempo real.

por Máximo García, Juan Andrés Absi (Endava)

Pantallazo de Artes Electrónicas

El objetivo de la charla será la difusión del arte digital y todas sus bondades. Partiendo desde la conceptualización artística se abordarán cuestiones técnicas de interés aprovechando el perfil de los participantes. Sobre la parte visual, se comentará ArtificiaLines, una serie de obras producidas con un brazo robótico (tipo AxiDraw), procesando imágenes con diferentes algoritmos programados en Python y Processing. Para la parte sonora/musical hablaremos de Livecoding (generación de sonido o música mediante líneas de código) y montaremos una demo en vivo. Para difundir la movida y la comunidad, se convocará a artistas locales (de Rosario) a confirmar y se abrirá el espacio para preguntas e discusión sobre ideas de proyectos.

por Xavier Gonzalez (UBA)

Transformaciones de programas que preservan propiedades de seguridad

Se presenta una técnica del área de métodos formales basada en la programación con tipos dependientes y su uso para demostrar que ciertas propiedades de seguridad se preservan respecto de determinadas transformaciones de programas. Es decir, si se tiene un programa P en un lenguaje fuente, donde una propiedad de seguridad es válida, y se lo transforma a un programa P' (por ejemplo, mediante un compilador) en un lenguaje objeto, entonces la propiedad debe ser cierta para P'.

El contexto del trabajo es el de programación con tipos dependientes usando Agda como lenguaje de formalización.

Ésta elección está basada en que Agda cuenta con un poderoso sistema de tipos que posibilitó la codificación de invariantes de los lenguajes objetos en los tipos de los mismos, de manera que la verificación de la preservación de la propiedad de seguridad por la transformación se redujo a un chequeo de tipos.

por Cecilia Manzino (FCEIA - UNR)

Cálculo de Tableaux para Lógica Intuicionista con Reglas Default

Construimos una variante de tipo "Lógica Default" a partir de la Lógica Intuicionista, y desarrollamos un cálculo de tableaux correcto, completo y finito para ello. Implementamos ese cálculo e ilustramos los elementos técnicos de nuestro trabajo con algunos ejemplos.

por Guillaume Hoffmann

Integrando bases de datos NoSQL

Mostraremos cómo integrar bases de datos relacionales con base de datos no relacionales para maximizar la experiencia del usuario realizando búsquedas inteligentes.

por Franco Moreno (NeuralSoft)

A Note on Privacy by Construction and Data Minimization

Encontrar formas adecuadas de manejar datos personales para estar en conformidad con la ley es un desafío. El nuevo “Reglamento general sobre la protección de datos” (GDPR) de la Unión Europea, obliga a ciudadanos y empresas que cumplan con los requisitos de privacidad establecidos en él mismo. Para sistemas de software existentes el reto es poder mostrar evidencia de que ya están cumpliendo con el GDPR, o de lo contrario trabajar hacia el cumplimiento modificando sus sistemas y procedimientos reprogramando sus sistemas para pasar los eventuales controles. Para aquellos que comienzan nuevos proyectos el consejo es tomar privacidad en consideración desde el principio del desarrollo, esto es durante el diseño. Esto es conocido como "Privacy by Design” (PbD). Una pregunta fundamental es ¿Cuánta privacidad puede lograrse efectivamente usando PbD?, y en particular si es posible lograr privacidad "por construcción". En la primera parte de esta charla daré mi opinión personal sobre el tema.

Uno de los principios establecidos en el GDPR es el llamado “Data Minimization Principle" (principio de la minimización de datos) el cual requiere que no se requiera del usuario más información de la que es estrictamente necesaria para el propósito específico los datos son requeridos. En la segunda parte de esta charla presentaré una definición basada en lenguajes sobre este principio y discutiré soluciones y problemas en la verificación de programas con respecto a este principio.

por Gerardo Schneider (Chalmers University of Technology)

DPella: A Programming Framework for Differential Privacy with Accuracy

Differential privacy offers a formal framework for reasoning about privacy and accuracy of computations on private data. It also offers a rich set of building blocks for constructing data analyses. When carefully calibrated, these analyses simultaneously guarantee privacy of the individuals contributing their data and accuracy of their results for inferring useful properties about the population. One important building block for differential privacy are composition theorems, which allow multiple differentially private data analyses to be composed together with a graceful degradation of the privacy and accuracy parameters. The compositional nature of differential privacy has motivated the design and implementation of several programming languages aimed at helping a data analyst in programming differentially private data analyses. However, most of the programming languages for differential privacy proposed so far provide support for reasoning about privacy but not for reasoning about accuracy of data analyses. To overcome this limitation, in this work we present DPella, a programming framework providing data analysts with support for reasoning about privacy, accuracy and their trade-offs. DPella is implemented as a domain specific language in the functional programming language Haskell. The distinguished feature of DPella is a novel component which statically tracks the accuracy of different data analyses. In order to make tighter accuracy estimations, this component leverages information-flow control techniques, in the form of taint analysis, for automatically inferring statistical independence of the different noise quantities added for guaranteeing privacy. We show the flexibility of our approach by implementing classical counting queries (e.g., CDFs) found in the literature and how DPella exposes the trade-offs between privacy and accuracy. Furthermore, we use DPella to analyze hierarchical counting queries (like those done by Census Bureaus), where accuracy have different constraints per level and data analysts should figure out the best manner to trade-off privacy to meet the accuracy requirements.

por Alejandro Russo (Chalmers University of Technology)

Filosofía de las Ciencias de la Computación

Basta preguntar a estudiantes, docentes e investigadores qué es la ciencia de la computación (un simple pregunta pero bastante difícil de responder) y tendremos múltiples posturas, algunas contradictorias entre si. La charla plantearía los aspectos epistémicos, ontológicos y metodológicos de las Ciencias de la Computación. Se presentarán los interrogantes que desde la filosofía de la ciencia se dan sobre las ciencias de la computación. ¿Cual es el status científico de la computación? ¿Que es la ciencia?¿Que es la tecnología? Ciencia natural, matemática y tecnología. ¿Que pensamos de la famosa frase de Dijkstra: "computer science is not about machines, in the same way that astronomy is not about telescopes"?. ¿Cómo se relaciona la teoría, el diseño y la abstracción?. Los paradigmas racionalista, tecnológico y científico.

por Gerardo Rossel (UBA)

Cronograma


↓ Hora   Día →MiércolesJuevesViernes
09:00 - 12:00 Taller de Programación Competitiva y Algoritmia
Reservá tu cupo acá!
12:00 - 12:30 Lunch de bienvenida Lunch Break
12:30 - 13:00 Acto de apertura
13:00 - 14:00 Historia de las Ciencias de la Computación Los problemas de disciplina de un robot Integrando bases de datos NoSQL
14:00 - 15:00 TBA Introducción a Microsoft Cognitive Services A Note on Privacy by Construction and Data Minimization
15:00 - 16:00 Urgent Computing en Sistemas de Aplicación Dinámicos Guiados por Datos Pantallazo de Artes Electrónicas DPella: A Programming Framework for Differential Privacy with Accuracy
16:00 - 16:30 Coffee Break Coffee-Racket Break
16:30 - 17:30 Bioinformática y Genómica funcional: identificando los rasgos que hacen a las moléculas especiales Transformaciones de programas que preservan propiedades de seguridad Filosofía de las Ciencias de la Computación
17:30 - 18:30 La teoría de juegos: un tema estratégico Cálculo de Tableaux para Lógica Intuicionista con Reglas Default

Actividades de camaradería


↓ Hora   Día →MiércolesJuevesViernes
19:00 - 20:00 Happy hour
21:00 - 22:00 Mini torneo de fútbol
Anotate acá!
22:00 - 23:00
23:00 -

Patrocinan


Auspician