Evaluación del potencial ornamental de especies autóctonas del valle de Paravachasca para su introducción como cultivos regionales. Evaluation of the potential uses of native plants from the Paravachasca valley to be use for regional cultivation purposes

Numerosas áreas de las sierras chicas han experimentado una gran pérdida de vegetación natural y de germoplasma nativo como consecuencia del crecimiento urbano y de la extracción de plantas sin criterios conservacionistas. El valle de Paravachasca presenta una riqueza florística con muchas especies autóctonas de un valioso potencial ornamental. Para poder proteger la vegetación nativa es necesario conocerla y evaluarla en todos los aspectos incluyendo sus posibles usos. Esta propuesta de trabajo se fundamenta en que las especies nativas constituyen un valioso recurso natural. Por lo tanto, nuestro objetivo principal es evaluar especies autóctonas herbáceas promisorias como ornamentales para establecer parámetros de reproducción y favorecer la innovación productiva, la conservación del paisaje natural y la protección del patrimonio germoplásmico. Para cumplir con dicho objetivo se realizarán viajes en distintas estaciones del año para evaluar in situ, las especies que resulten atractivas por su follaje o floración. Se recolectará material vegetal para determinarlo, caracterizarlo y formar un banco de germoplasma. Se elaborarán fichas técnicas con las cuales evaluar la viabilidad de las semillas y se realizarán pruebas de multiplicación vegetativa. Finalmente, se seleccionarán cuatro especies para su domesticación a campo o cultivo en macetas. Todos los trabajos serán documentados con ilustraciones, fotos y gráficos. Como resultado se espera generar y proveer información sobre plantas nativas, estrategias de conservación, reproducción y cultivo de especies autóctonas; además, transferir la tecnología para estimular una producción regional. Alcanzados los niveles de conocimiento necesarios se intentará establecer vínculos de intercambio de información con otros proyectos nacionales o extranjeros. Por su parte, la transferencia, validación y difusión de los resultados obtenidos se realizará mediante cursos, seminarios, talleres -en el marco educativo- de capacitación laboral, recreativo y productivo, siendo los destinatarios directos las comunas en general y los viveristas, diseñadores de parques, inversores de turismo y aficionados a las plantas, en particular. El impacto del proyecto en el ámbito científico se reflejará en publicaciones que presenten información innovadora en relación con las ciencias agropecuarias; y, en lo social, mediante la generación de posibles fuentes de trabajo.

Desarrollo de metodologias de propagación y cultivo de plantas nativas de Córdoba con potencialornamental. Development of propagation and cultivation methodologies of native plants of Córdoba withornamental potential.

El problema: La flora nativa de Córdoba, actualmente amenazada, es rica en especies con potencial ornamental que todavía no se cultivan. El uso de estas plantas está limitado por la escasez de material biológico, la falta de conocimientos de su propagación y su insuficiente valoración pública. Hipótesis: La propagación y el cultivo de una amplia gama de plantas nativas cordobesas con potencial ornamental son técnicamente factibles y tienen potencial productivo y económico. Objetivo: Promover el uso de especies nativas ornamentales en la provincia de Córdoba. Objetivos específicos: 1. Desarrollar metodologías de propagación y cultivo de especies nativas con potencial ornamental; 2. Transferir estas metodologías a viveros privados y públicos; 3. Difundir los conocimientos obtenidos a instituciones educativas. Métodos: 1- Colección: Se realizarán viajes de campo para obtener semillas o esquejes de al menos 6 especies nativas seleccionadas. Las semillas se limpiarán y se conservarán en frío. 2- Propagación: En la primavera se sembrarán 100 semillas por especie, accesión y tratamiento; se registrará porcentaje y tiempo de germinación. Los plantines se trasplantarán a almácigos, se registrará supervivencia y crecimiento. Para la propagación vegetativa, se trasplantarán esquejes de estolones directamente a macetas. 3- Trasplante: En verano, los plantines se trasplantarán a macetas grandes; se registrará supervivencia y crecimiento durante un año. 4- Documentación: Se elaborarán protocolos de las metodologías adecuadas para la propagación de las especies, usos ornamentales y características relevantes. 5- Transferencia: Los protocolos, muestras de semillas y de plantas, se transferirán a dos viveros que se comprometan a continuar con el cultivo de las especies. 6- Difusión: Se realizarán cursos, talleres, charlas y pasantías para dar a conocer la propagación de plantas nativas en instituciones educativas, desde la primaria hasta la universidad. Resultados y productos esperados: 1- Protocolos de propagación de al menos 6 especies nativas ornamentales y su transferencia a viveros, como base de una actividad productiva novedosa. 2- Un aporte a la conservación ex situ y el uso sostenible de la flora nativa. 3- Una mayor valoración de esta en la comunidad educativa. Importancia: 1- Desarrollo de la producción de plantas nativas con valor ornamental, como una alternativa económica. 2- Conservación ex situ y uso sostenible de la flora nativa. 3- Difusión del conocimiento del valor ornamental de las nativas. 4. Información científica de la biología y ecología de especies nativas. Pertinencia: Productos (ver Resultados). El impacto inmediato esperado es un aumento en la propagación, la producción, la demanda, la comercialización y el uso de plantas ornamentales nativas. Se espera también la generación de nuevos conocimientos y el estímulo de líneas de investigación biológicas y agronómicas.

Verificación de Sistemas Basada en Teoría de Tipos. System verification in type theory

Este proyecto se enmarca en la utlización de métodos formales (más precisamente, en la utilización de teoría de tipos) para garantizar la ausencia de errores en programas. Por un lado se plantea el diseño de nuevos algoritmos de chequeo de tipos. Para ello, se proponen nuevos algoritmos basados en la idea de normalización por evaluación que sean extensibles a otros sistemas de tipos. En el futuro próximo extenderemos resultados que hemos conseguido recientemente [16,17] para obtener: una simplificación de los trabajos realizados para sistemas sin regla eta (acá se estudiarán dos sistemas: a la Martin Löf y a la PTS), la formulación de estos chequeadores para sistemas con variables, generalizar la noción de categoría con familia utilizada para dar semántica a teoría de tipos, obtener una formulación categórica de la noción de normalización por evaluación y finalmente, aplicar estos algoritmos a sistemas con reescrituras. Para los primeros resultados esperados mencionados, nos proponemos como método adaptar las pruebas de [16,17] a los nuevos sistemas. La importancia radica en que permitirán tornar más automatizables (y por ello, más fácilmente utilizables) los asistentes de demostración basados en teoría de tipos. Por otro lado, se utilizará la teoría de tipos para certificar compiladores, intentando llevar adelante la propuesta nunca explorada de [22] de utilizar un enfoque abstracto basado en categorías funtoriales. El método consistirá en certificar el lenguaje "Peal" [29] y luego agregar sucesivamente funcionalidad hasta obtener Forsythe [23]. En este período esperamos poder agregar varias extensiones. La importancia de este proyecto radica en que sólo un compilador certificado garantiza que un programa fuente correcto se compile a un programa objeto correcto. Es por ello, crucial para todo proceso de verificación que se base en verificar código fuente. Finalmente, se abordará la formalización de sistemas con session types. Los mismos han demostrado tener fallas en sus formulaciones [30], por lo que parece conveniente su formalización. Durante la marcha de este proyecto, esperamos tener alguna formalización que dé lugar a un algoritmo de chequeo de tipos y a demostrar las propiedades usuales de los sistemas. La contribución es arrojar un poco de luz sobre estas formulaciones cuyos errores revelan que el tema no ha adquirido aún suficiente madurez o comprensión por parte de la comunidad. This project is about using type theory to garantee program correctness. It follows three different directions: 1) Finding new type-checking algorithms based on normalization by evaluation. First, we would show that recent results like [16,17] extend to other type systems like: Martin-Löf´s type theory without eta rule, PTSs, type systems with variables (in addition to systems in [16,17] which are a la de Bruijn), systems with rewrite rules. This will be done by adjusting the proofs in [16,17] so that they apply to such systems as well. We will also try to obtain a more general definition of categories with families and normalization by evaluation, formulated in categorical terms. We expect this may turn proof-assistants more automatic and useful. 2) Exploring the proposal in [22] to compiler construction for Algol-like languages using functorial categories. According to [22] such approach is suitable for verifying compiler correctness, claim which was never explored. First, the language Peal [29] will be certified in type theory and we will gradually add funtionality to it until a correct compiler for the language Forsythe [23] is obtained. 3) Formilizing systems for session types. Several proposals have shown to be faulty [30]. This means that a formalization of it may contribute to the general understanding of session types.