Uno de los principales objetivos de la Jornada de Doctorandos es que los estudiantes del Doctorado en Ciencias de la Computación de FaMAF expongan su trabajo de investigación y los aspectos más relevantes, así como también los resultados obtenidos hasta el momento.

En esta segunda edición, además de las charlas regulares habrá dos seminarios, dictados por el Lic. Franco Luque y la Lic. Silvia Pelozo, y una charla invitada a cargo del Dr. Carlos Areces.

Por cualquier consulta dirigirse a pestrella_at_famaf.unc.edu.ar

Programa

 9.20 - 9.45 
  Julio Castillo - A semantic oriented approach to textual entailment using
  WordNet-based measures. [PPT]
 9.45 - 10.10  
  Leonardo Rodriguez - Certificación de compiladores y Generación de código. [PPT]
 10.10 - 10.35
 Renzo Degiovanni - Generacion automática de casos de prueba basada en
 abstraccion desde especificaciones tabulares de requisitos. [PPT]
 10.35 - 11
  Break
 11 - 11.25
 Valeria Bengolea - Criterios de Cobertura para reducir Test Suites
 generadas exhaustivamente para Estructuras Complejas alojadas en
 memoria dinámica. [PPT]
 11.25 - 12.15  
  Franco Luque -  A Spectral Model for Non-Deterministic Dependency Parsing. [PPT]
 12.15 - 14
  Almuerzo
 14 - 14.25
 Raúl Fervari - Analizando el poder expresivo de lógicas dinámicas. [PPT]
 14.25 - 14.50
 Ezequiel Orbe - A Note about Modal Symmetries. [PPT]
 14.50 - 15.35
  Silvia Pelozo - Análisis de seguridad de protocolos probabilistas como un
problema de optimización polinómico. [PPT]

 15.35 - 16.10
 Merienda
 16.10 - 16.35
 Miguel Pagano - Compromisos ontológicos de ciencias de la computación. [PPT]
 16.35 - 17
  Rafael Carrascosa - Un pantallazo a la inferencia de autómatas. [PPT]
 17 - 17.10
  Ricardo Corín - Seguridad informática. [PPT]
 17.10 - 17.20
  Pedro D'Argenio - TBA
 17.20 - 18
  Carlos Areces - 10 Consejos Utiles para un Doctorado Feliz y/o Productivo. [PPT]
Volver

Participantes 

  • Julio Castillo - A semantic oriented approach to textual entailment using
    WordNet-based measures.
    In this talk, we will present a Recognizing Textual Entailment system which uses semantic similarity metrics to sentence level only using WordNet as source of knowledge. We will show how the widely used semantic measures WordNet-based can be generalized to build sentence level semantic metrics. We also will provide some conclusions about their utility in the practice in RTE systems. 
  • Leonardo Rodriguez - Certificación de compiladores y Generación de código
    Un compilador es básicamente un traductor de un lenguaje de programación a otro. La obtención de una prueba de su corrección es una manera de garantizar que el programa objeto, generado por el compilador, preserva la semántica del programa fuente y por lo tanto mantiene el comportamiento esperado. En esta charla contaré el estado del arte en certificación de compiladores, y presentaré un método que nos permite definir un compilador usando esencialmente las mismas ecuaciones que determinan la semántica categórica de un lenguaje de programación.
  • Renzo Degiovanni - Generacion automática de casos de prueba basada en abstraccion desde especificaciones tabulares de requisitos.
    Dare una breve introducción a los conceptos básicos sobre captura de requisitos de software utilizando especificaciones tabulares, en particular, el método Software Cost Reduction (SCR). Luego presentare abstracción como una de las alternativas para lidiar con el problema de escalabilidad para hacer análisis. Finalmente mostraré el enfoque que hemos propuesto para la generación automática de casos de prueba para este tipo de especificaciones.
  • Valeria Bengolea - Criterios de Cobertura para reducir Test Suites generadas exhaustivamente para Estructuras Complejas alojadas en memoria dinámica.
    La generación automática de casos de test es una área de investigación muy activa en la actualidad, dentro de la cual la generación de casos de test para estructuras complejas alojadas en memoria dinámica, tales como árboles balanceados, grafos, etc., es particularmente difícil. Muchas  herramientas  abordan este problema  mediante la exploración exhaustiva de casos de test mediante algún mecanismo de constraint solving. En esta charla presentaré una técnica para reducir el tamaño de las test suites generadas exhaustivamente utilizando criterios de cobertura. La técnica será presentada  junto con algunos resultados experimentales.
  • Franco Luque - A Spectral Model for Non-Deterministic Dependency Parsing Dependency structures of natural language sentences exhibit a significant amount of non-local phenomena. An approach to model non-local phenomena is to use higher-order models, which have the advantage that they are easy to train but may suffer from high parsing costs and data sparsity issues. An alternative approach is to use hidden-variable models, which attempt to induce states that compress information that needs to pass across factors. A drawback of hidden-variable methods is that typically training algorithms are expensive and susceptible to local-minima issues. In this work we present a dependency parsing model that exploits hidden structure using probabilistic non-deterministic automata. Crucially, the model can be trained with a spectral learning algorithm that is both efficient and not susceptible to local-minima. We also present an inside-outside algorithm for our parsing model that runs in cubic time, hence maintaining the standard parsing costs. In experiments, we show that adding hidden-structure to a variety of baseline models results in ~30% error reductions.
  • Raúl Fervari - Analizando el poder expresivo de lógicas dinámicas
    En esta charla voy a introducir brevemente dos lenguajes diseñados especialmente para expresar propiedades dinámicas de modelos relacionales: Memory Logic y Swap Logic. Ambos lenguajes permiten modificar (de diferente manera) los modelos durante la evaluación de una fórmula. Aunque ambos lenguajes comparten ciertas características, tienen diferente poder expresivo. En la charla mostraré concretamente qué cosas podemos modelar en uno y en otro.
  • Ezequiel Orbe - A Note about Modal Symmetries
    In this talk we show how permutation of literals can be used to define symmetries for modal formulas in clausal form. We show that the symmetries of a modal formula preserve inference. Hence, a modal theorem prover that has access to the symmetries of the input formula, can use them during search to cheaply derive symmetric inferences (e.g., as is done during clause learning in propositional SAT). We also present a mechanism to efficiently compute symmetries using graphs automorphisms, and preliminary empirical results showing that symmetries appear in many cases in both randomly generated and hand-tailored modal formulas.
  • Araceli Acosta - dCTL: una lógica temporal deóntica para la verificación de sistemas tolerantes a fallas.
    A partir de la necesidad de contar con un lenguaje apropiado para describir sistemas tolerantes a fallas presentamos un nuevo lenguaje: dCTL. Este lenguaje se basa en la lógica temporal CTL e incorpora nuevos operadores deónticos que permiten expresar propiedades de los sistemas frente a la presencia de fallas. Si bien, este nuevo lenguaje es más expresivo que CTL su complejidad en tiempo para el problema de model checking es el equivalente.
  • Miguel Pagano - Compromisos ontológicos de ciencias de la computación
    En esta charla cuento mi trabajo final para el curso de filosofía de Cs.
    de la Computación. Los compromisos ontológicos son una propuesta
    de Quine para hablar de lo que existe según las teorías científicas. En
    mi trabajo yo argumento a favor de usar ese criterio en ciencias de la
    computación; pero asumiendo una postura ficcionalista para rescatar
    conceptos genuinamente computacionales. En gran medida mi trabajo
    es una réplica a dos artículos sobre la ontología de lenguajes y paradigmas de programación de Raymond Turner y Amnon Eden.
  • Rafael Carrascosa - Un pantallazo a la inferencia de autómatas
    La inferencia de autómatas deterministicos (DFAs) es el problema de identificar, en base a evidencia de un lenguaje regular, al DFA que es compatible con esa evidencia. Durante la charla, se introducirá brevemente una variante de este problema y luego se explicará una estrategía popular usada para atacarla: los algorítmos de unión de estados.
  • Silvia Pelozo - Análisis de seguridad de protocolos probabilistas como un problema de optimización polinómico
    En la verificación de sistemas donde interactúan varias componentes con comportamiento aleatorio y no determinista, la técnica de model checking probabilista permite obtener una cuantificación sobre la validez de diversas propiedades de forma automática. Por ejemplo, es posible determinar la probabilidad de ocurrencia de una falla en un sistema distribuido. Cuando los componentes del sistema mantienen en privado sus acciones, las técnicas tradicionales pueden determinar que no es seguro un sistema que sí lo es, pues no consideran esta característica. En la charla se presenta un algoritmo desarrollado para obtener valores realistas incluso en estos casos. Si bien no es posible verificar cualquier propiedad temporal, esta técnica útil para la verificación automática de propiedades de privacidad y anonimidad en, por ejemplo, protocolos que asumen canales seguros.
  • Carlos Areces - 10 Consejos Utiles para un Doctorado Feliz y/o Productivo
    Otros posibles títulos de esta charla hubieran sido "Cómo Hacer un Doctorado y no Morir en el Intento" o "Todo lo que siempre quiso saber sobre el Doctorado y no se atrevía a preguntar" pero la connotacion "Inutilisima" hizo que ganara el que quedo. Y acentúo lo de inutilísima. En la charla contaré algunas de mis experiencias durante mi doctorado, y algunas de las cosas que aprendí durante la experiencia que me parecen importantes. Quizas le sirvan a alguien más. Me conformaré con que algunas de ellas resulten divertidas.

Volver