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.
Las JCC se llevaron a cabo por primera vez en noviembre del año 2000. Desde esa fecha, se han realizado jornadas durante los años 2002, 2004, 2005, 2006, 2007, 2008, 2009 , 2010 y 2011. En la exposiciones de todas estas jornadas 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.
| Jueves | Viernes | |
|---|---|---|
| 10:00 - 12:00 | CURSO | CURSO |
| 12:00 - 13:45 | Lunch | Almuerzo |
| 13:45 - 14:00 | Acto de apertura | |
| 14:00 - 14:45 | C02 | C12 |
| 15:00 - 15:45 | C03 | C13 |
| 16:00 - 17:00 | Coffee Break | |
| 17:00 - 17:45 | C04 | C14 |
| 18:00 - 18:45 | C05 | C15 |
| 19:00 - 20:00 | Entrega de Diplomas | |
| 21:00 - ∞ | Cena de Camaradería | |
-
Los tipos dependientes permiten unificar la programación y la verificación de programas ya que los tipos pueden ser lo suficientemente precisos como para expresar una especificación.
En este curso, veremos una introducción práctica a las características básicas de la programación con tipos dependientes usando el lenguaje funcional Agda y su entorno interactivo de desarrollo. Para ello, implementaremos algunos ejemplos simples pero interesantes.
Requisitos: No es imprescindible, pero un poco de conocimientos de programación funcional ayudarían.
-
Siguiendo la correspondencia de Curry-de Bruijn-Howard, presentaremos una teoría minimal que formaliza las pruebas constructivas de HOL (Higher order logic).Se presentaran los detalles teóricos, y el código de un asistente de prueba para esta teoría. Finalmente se tratarán posibles extensiones de este cálculo.
-
Los sistemas distribuidos son la base de los actuales sistemas de información. Se ha vuelto estándar utilizar múltiples unidades de procesamiento para mejorar el rendimiento de las aplicaciones, ayudar a tolerar fallas en los componentes, o resolver problemas que son demasiado grandes para tratar con una única computadora. El diseño de algoritmos adaptados al contexto distribuido es particularmente desafiante, debido a la asincronía, y el no determinismo que caracteriza estos sistemas. En esta presentación se introduce el área de verificación dinámica, una técnica formal basada en model checking que intenta descubrir errores en programas distribuidos. Además, se presenta SimGridMC una herramienta que utiliza dicho enfoque y es capaz de encontrar errores en programas paralelos MPI sin modificaciones, junto con los resultados de algunas experiencias efectuadas.
-
Las técnicas de Visión Computarizada van a pasar en un corto tiempo de un dominio actual de aplicación acotado y específico, a ser esenciales para cientos de aplicaciones de la vida diaria. Los métodos de Análisis de Imágenes son el núcleo de la Visión Computarizada. Se pueden distinguir en general dos estrategias conceptualmente diferentes para el análisis. Las técnicas más tradicionales implementan por separado la extracción de características y la posterior utilización de las mismas, usando información externa provista por un experto humano. Las nuevas estrategias intentan desarrollar métodos de modelado que actúen directamente sobre la imagen sin ningún tipo de procesamiento predefinido y den como resultado final la información buscada. Estos métodos directos han cobrado importancia muy recientemente con la introducción de las arquitecturas profundas de redes neuronales. La charla busca dar un panorama general del problema, discutiendo las dos estrategias mencionadas.
-
Software development is facing a big challenge, the free lunch is over and our tools not longer apply to the scale shift we are seeing nowadays. There's a need for new tools on the fields of concurrency and distributed systems to scale up and out beyond what threads and locks can provide us. Program source code can easily reach a million lines of code and large collaboration teams. When they grow in size, types don't easily fall into "is-a" hierarchies.
We're presenting Go, a programming language designed for dealing with concurrency problems and well suited for systems programming. Created at Google by Ken Thompson and Rob Pike as a replacement for C++, Go has being developed in an open source model since it's beginning, supported by a large active community. In this talk, we'll walk through the language basics, concurrency patterns and design examples.
-
Los robots día a día ganan más espacio entre nuestras vidas. Para recolectar información del ambiente necesitan de los sentidos al igual que los humanos o tantos otros animales. En el mundo de la electrónica los llamamos sensores y los hay de muy diverso tipo. En esta charla vamos a concentrarnos en explicar cómo pueden utilizarse las cámaras como sensores de visión para robots móviles. Veremos cómo es posible procesar toda la información provista por las imágenes para que el robot pueda construir un modelo del ambiente y así interactuar en el mismo. Diversos métodos que utilizan una, dos o más cámaras se han desarrollado para alcanzar la navegación autónoma en robots móviles. En esta charla vamos a mostrar un poco de lo que estamos haciendo en el Laboratorio de Robótica y Sistemas Embebidos del DC, donde utilizamos visión en robots terrestres y voladores.
-
En esta charla introduciré el estado del arte en los temas de análisis automático de código con contratos, tanto secuancial como paralelo, y presentaré la investigación que mi grupo realiza en el área. Para los intresados habrá también demos de las herramientas desarrolladas. Finalmente, presetaré temas que pueden ser de interés para quienes tengan interés en iniciarse en la investigación en esta disciplina.
-
En esta charla se presentarán los conceptos fundamentales para las Bases de Datos Métricas, describiendo además algunos de los índices más conocidos para resolver las búsquedas por similitud y algunas otras operaciones como el "join por similitud". Además presentaré algunos de los temas que puedan ser de interés para quienes quieran iniciar su investigación en esta área y una muestra de los aportes de nuestro grupo de investigación.
-
El Test Template Framework (TTF) es un método de testing basado en modelos que utiliza la notación Z y está especialmente orientado a testing de unidad. En el TTF, los casos de prueba se generan a partir de especificaciones de test, las cuales son predicados escritos en Z. A su vez, la notación Z se basa en lógica de primer orden con igualdad y la teoría de conjuntos de Zermelo-Fraenkel. De esta forma, un caso de prueba es un testigo que satisface una fórmula en esa teoría. Satisfiability Modulo Theory (SMT) solvers y Constraint Solvers son programas que deciden la satisfacibilidad de fórmulas pertenecientes a muchas teorías lógicas. En esta charla se presentarán los primeros resultados obtenidos al aplicar tres SMT solvers, Yices, CVC3 y Z3, y dos Constraint Solvers, ProB y {log}, como generadores de casos de prueba para el TTF. Con este fin se presentarán codificaciones superficiales (shallow embeddings) de una parte significativa de la notación Z en los lenguajes de entrada de esas herramientas. También se mostrarán los resultados de varios experimentos para evaluar la eficacia y eficiencia de las herramientas y las codificaciones superficiales.
- Mauro Jaskelioff [FCEIA, UNR]
- Pablo Granito [IFIR]
- Julián Gutierrez
- Exequiel Rivas
- Guido Genzone
- Cristian Rosa
- Maximiliano Cristiá [FCEIA,UNR]
- Marcelo Frias [UBA]
- Nora Reyes [UNSL]
- Dirección : Pellegrini 250 - Rosario - Santa Fe - Argentina
- Teléfono : 0341-48026 49 al 59 int 231 (de 8 a 14hs.)
- Fax : 0341-4802654
- JCC 2005
- JCC 2006
- JCC 2007
- JCC 2008
- JCC 2009
- JCC 2010
- JCC 2011
- Licenciatura en Ciencias de la Computación (λc.c)
- FCEIA en Wikipedia
- JCC en Wikipedia