Bienestar Animal: Implementación de Buenas Prácticas Pecuarias en establecimientos productores de carne vacuna

El presente proyecto, continuación de otro donde se desarrolló un Manual de Buenas Prácticas Pecuarias (BPP) relativas al bienestar animal, tiene como objetivo implementar estas BPP en establecimientos productores de carne vacuna, poniendo énfasis en la capacitación de los productores ganaderos para que logren adoptar la cultura del trabajo que proponen los sistemas de gestión de calidad. Para la realización del proyecto planteado se dispone de dos establecimientos productores de carne vacuna ubicados en la Provincia de Córdoba cuyo tamaño y sistema productivo responden a la media de productores ganaderos. También se propone la implementación de estas BPP en los campos de la Universidad Católica de Córdoba para que estos sirvan de modelo a otros establecimientos del medio, permitiendo no sólo la mejora en los resultados productivos de los mismos sino también la formación y capacitación de profesionales, alumnos y productores en temas relacionados al bienestar animal y las BPP. Las tareas a desarrollar serán: 1) Caracterización de los establecimientos en donde se implementarán las BPP. 2) Capacitación de los productores y técnicos, pertenecientes a los establecimientos seleccionados, en Sistemas de Gestión de Calidad (BPP) y en los contenidos del Manual desarrollado anteriormente. 3) Determinación de actividades en cada uno de los establecimientos (definir responsables, realizar un cronograma, realizar auditorías, priorizar “no conformidades”, proponer y poner en marcha acciones de mejora, monitorear la performance de la implementación del sistema y evaluar los indicadores). Una vez lograda la implementación de la primera etapa que recomienda el Manual desarrollado se agregarán las siguientes actividades para la capacitación y difusión a terceros: 4) Convocatoria de otros productores para su introducción en los Sistemas de Gestión de Calidad (BPP relativas al bienestar animal). 5) Realización de actividades grupales de capacitación (charlas, grupos de discusión y talleres) en los establecimientos usados como referentes. 6) Análisis de la performance del plan y de la satisfacción de las personas involucradas. 7) Propuesta de implementación de acciones correctivas a la capacitación de terceros. 8) Evaluación general del plan. Con la concreción del proyecto se espera: 1- Lograr que los establecimientos ganaderos implementen el sistema de calidad (BPP) propuesto para que puedan ser utilizados como modelo y brindar capacitación para éste y sucesivos trabajos de este tipo. 2- Lograr la incorporación de los conceptos que involucran los Sistemas de Gestión de Calidad y la adopción de la cultura de trabajo que dichos sistemas proponen, en los establecimientos que participen de la capacitación. 3- Constituir un grupo de trabajo interdisciplinario, capacitado y con experiencia en Sistemas de Gestión de Calidad para hacer un trabajo multiplicador. 4- Colaborar con la sustentabilidad de los campos ganaderos a través de los sistemas de gestión de calidad que tienen como primordiales objetivos la calidad e inocuidad de los alimentos, la salud, el bienestar de las personas, el cuidado del ambiente y el bienestar animal.

Caracterización zootécnica y genética de poblaciones primarias de ovinos, caprinos y camélidos productores de fibra

Desde el tiempo de la conquista y colonización en siglo XVI, el territorio argentino fue poblado por especies exóticas entre ellas ovinos y caprinos. El tipo de animal introducido al territorio determinó la formación de poblaciones locales del tipo criollo donde en el caso de los ovinos pertenecían al tipo lanero. En el caso de los caprinos en un principio fueron con escasa cobertura pero existen evidencias de que posteriormente se introdujeron caprinos del tipo productores de cachemira y posteriormente caprina de Angora. En el caso de los Camélidos estos son autóctonos y jugaron un rol preponderante en los pueblos originarios. Actualmente dichas poblaciones se encuentran relegadas y en manos de pequeños productores en su mayoría aborígenes. En base a estudios previos se puede afirmar que constituyen un material genético de importante variabilidad y de un potencial textil importante. El proyecto pretende continuar realinzado relevamientos poblacionales en regiones donde aún se conserva material autóctono o local del tipo criollo con la finalidad de realizar una caracterización zootécnica y genética y así poder evaluar la variabilidad de las poblaciones y proponer estrategias de conservación y/o mejoramiento así como el destino del producto textil producido por dichas poblaciones. El relevamiento comprende un posicionamiento geográfico y breve descripción del sistema de producción, la toma de información biológica, morfológica y zoométrica de al menos el 20% de los animales según el tamaño de la majada o hato y la correspondiente obtención de muestras de fibra. Estas muestras son remitidas al laboratorio de fibras animales de la Red SUPPRAD para su evaluación. Para determinar la variabilidad zootécnica y genérica de las poblaciones se confeccionan Índices de arcaísmo o primariedad basados en marcadores fenotípicos, bioquímicos y moleculares. A ello se propone incorporar estudios sobre desempeño productivo y reproductivo de las poblaciones.

Apoyo a productores –artesanos de la Reserva Hídrica Provincial Pampa de Achala (RHPPA). Artesanías en lana fibra de Camélidos Domésticos (CSD)

El objetivo general es mejorar el ingreso del pequeño productor – artesano de las áreas de la Escuela Martín Fierro y el cerro Los Linderos, mediante el mejoramiento de la calidad del producto y de la diversificación de los productos obtenidos. Para esto se implementan los siguientes objetivos especiales: • Capacitar a grupos de artesanos en el mejoramiento productivo de las artesanías de lana. • Distribuir una tropa de Llamas (CSD), capacitar a un grupo de productores – artesanos en su crianza y diseñar un esquema de estos animales. • Capacitar a los artesanos en el procesamiento de la fibra de Llama: descerdado, peinado, cardado, hilado y tejido. • Estimular el sentido de la calidad en los productos artesanales obtenidos tanto en la forma tradicional como la mejorada. • Realizar evaluaciones de calidad por panelistas sobre los productos artesanales tradicionales y los mejorados. • Explorar estrategias de mercado (interno y externo) para poder diseñar esquemas de comercialización más eficientes que los actuales. La metodología a utilizar en las tareas de capacitación consistirá básicamente en dos pasos: Exposiciones didácticas teórico – prácticas de comprensión conceptual (por qué se hace) y de elaboración aplicada (cómo se hace). Elaboración y desarrollo de proyectos de artículos artesanales a partir de lana o de fibra de Llama. El proceso final de la capacitación terminará con una evaluación de cada productor-artesano participante

Estrategias de vida implementadas por un grupo de productores fruti hortícolas del cinturón verde de la ciudad de Córdoba

Este proyecto estudiará las estrategias de vida implementadas por familias productoras fruti hortícolas que viven en Colonia Tirolesa y Chacra de la Merced, lugares que forman parte del cinturón verde de la Ciudad de Córdoba; y su relación con los procesos de diferenciación social, asociados a cambios productivos, económicos, culturales y sociales que están condicionados por el modelo de expansión capitalista. A partir del análisis del capital económico, social, cultural y simbólico se identificará en un contexto rural las motivaciones, lógicas productivas y conocimientos agrícolas que incidieron en las decisiones asumidas ante problemáticas emergentes, tales como limitaciones para adquirir nuevos paquetes tecnológicos, el impacto ambiental causados por la no conservación y sustentabilidad de los recursos y las consecuencias sociales vinculadas a los laxos de familia, el trabajo y la calidad de vida. Se plantean las siguientes hipótesis: 1) Algunas familias productoras implementaron estrategias de vida que se relacionan con criterios de autosustentabilidad, conocimientos agrícolas tradicionales y pautas culturales. 2) Los nuevos espacios productivos no son compatibles con agroecosistemas sustentables. 3) Las nuevas tecnologías causaron impactos en la actividad productiva e incidieron en la economía, calidad de vida y vínculos familiares. 4) El modo de producción familiar fue reemplazado por el modo de producción capitalista lo que incidió en la producción agrícola y en la conservación de los recursos. El objetivo principal es descubrir las estrategias de vida implementadas por un grupo de familias, trabajadoras fruti hortícolas, en respuesta a las transformaciones productivas, tecnológicas y socio económicas impuestas por el modelo de acumulación vigente. Para ello se caracterizará los ámbitos productivos de trabajo a campo, identificando la disponibilidad de capital y los conocimientos técnicos y de manejo. También se analizarán las pautas y valores culturales, el impacto de las nuevas tecnologías y la incidencia social, vinculada a los cambios en los modos de producción. El abordaje será de tipo cualitativo, recavando información para elaborar una descripción detallada de las estrategias de vida adoptadas a partir de la década de los noventa. Se tomará como unidad de análisis a las familias que trabajaron o trabajan en la producción de hortalizas o frutales. Se realizarán combinaciones entre procedimientos Tipológicos a Priori; Históricos Comparativos y casos Unitarios. Se analizará las normativas vigentes en relación al uso y calidad del agua y del suelo; también imágenes satelitales para analizar los procesos de cambio en el uso del territorio y del recurso suelo. Se pretende realizar un aporte relacionado con el conocimiento de: la sustentabilidad de los sistemas productivos, la pobreza y los modos de vida de los productores fruti hortícolas que persisten en ambientes degradados; en una franja intermedia entre el campo y la ciudad.

Influencia de los diferentes tipos de tostados, en el contenido de ocratoxina A, en café (Coffea arabica L.) de Córdoba, Argentina

La siguiente investigación se propone estudiar la relación entre los factores que determinan los distintos tipos de tostado de café (tiempo y temperatura) y el contenido final de ocratoxina A en muestras de granos de café verdes procedentes de Brasil y comercializados en Argentina (en el periodo 2009-2010). Las Ocratoxinas químicamente son un conjunto de siete derivados de la isocumarina unidos por enlace amida a fenilalanina. La OTA incrementa la formación de aductos, induce micronúcleos, intercambio de cromátidas hermanas y mutación génica en S. tiphimurium tras activación metabólica. Está clasificada por las IARC como posiblemente carcinógeno (2B) debido a que induce adenomas renales, carcinomas en rata y ratón, si bien los datos en humanos no son concluyentes

Estudio de la formación y evolución de galaxias en diferentes tipos de sistemas. Study of the fomation and evolution of galaxies in different types of systems.

Se propone el estudio de galaxias en diferentes tipos de sistemas para lograr un mejor entendimiento de los procesos físicos que actúan en la formación y evolución de estas galaxias. En particular, se analizarán las propiedades de galaxias en cúmulos, grupos difusos, grupos compactos y grupos fósiles. Para el desarrollo de este trabajo, se utilizarán catálogos observacionales públicos y propios, simulaciones cosmológicas combinadas con modelos semianalíticos y catálogos sintéticos basados en dichas simulaciones. Entender el comportamiento de las galaxias pertenecientes a cada clase de sistema permitirá la comparación entre los distintos entornos y posteriormente, la distinción de los diferentes procesos astrofísicos que actúan.

Caracterización zootécnica y genética de poblaciones primarias de ovinos productores de lana. Zoothechnical and genetic characterization of primary populations of producing wool ovines.

Desde el tiempo de la conquista y colonización en siglo XVI, el territorio argentino fue poblado por especies exóticas entre ellas ovinos. El tipo de animal introducido al territorio determinó la formación poblaciones locales del tipo criollo donde en el caso de los ovinos pertenecían al tipo lanero. Actualmente dichas poblaciones se encuentran relegadas y la mayoría en manos de pequeños productores. En base a estudios previos se puede afirmar que constituirían un material genético de importante variabilidad y de un potencial textil importante. El proyecto pretende realizar una caracterización zootécnica y genética mediante relevamientos poblacionales en regiones donde aún se conserva material autóctono o local del tipo criollo. El relevamiento comprende un posicionamiento geográfico y breve descripción del sistema de producción, la toma de información biológica, morfológica y zoométrica de los animales de la majada y la correspondiente obtención de muestras de lana. Estas muestras son remitidas al Laboratorio de Fibras Animales de la Red SUPPRAD para su evaluación. Para determinar la variabilidad zootécnica y genérica de las poblaciones se confeccionan Índices de arcaísmo o primariedad basados en marcadores fenotípicos, bioquímicos y moleculares. A ello se propone incorporar estudios sobre desempeño productivo y reproductivo de las poblaciones para poner analizar los factores que afectan la producción de lana y diseñar estrategias de manejo que la optimicen. Ello posibilitará evaluar la variabilidad de las poblaciones y proponer estrategias de conservación y/o mejoramiento. Paralelamente se podrá establecer el destino del producto textil producido por dichas poblaciones ovinas.

Estrategia de vida implementada por un grupo de productores frutihortícolas del cinturón verde de la ciudad de Córdoba. Life strategies implemented by a group of fruit-horticultural producers from the green belt of the city of Córdoba.

Este proyecto estudiará las estrategias de vida implementadas por familias productoras fruti hortícolas que viven en Colonia Tirolesa y Chacra de la Merced, lugares que forman parte del cinturón verde de la Ciudad de Córdoba; y su relación con los procesos de diferenciación social, asociados a cambios productivos, económicos, culturales y sociales que están condicionados por el modelo de expansión capitalista. A partir del análisis del capital económico, social, cultural y simbólico se identificará en un contexto rural las motivaciones, logicas productivas y conocimientos agrícolas que incidieron en las decisiones asumidas ante problematicas emergentes, tales como limitaciones para adquirir nuevos paquetes tecnológicos, el impacto ambiental causados por la no conservación y sustentabilidad de los recursos y las consecuencias sociales vinculadas a los laxos de familia, el trabajo y la calidad de vida.Se plantean las siguientes hipótesis: 1)Algunas familias productoras implementaron estrategias de vida que se relacionan con criterios de autosustentabilidad, conocimientos agrícolas tradicionales y pautas culturales.2) Los nuevos espacios productivos no son compatibles con agroecosistemas sustentables. 3) Las nuevas tecnologías causaron impactos en la actividad productiva e incidieron en la economía, calidad de vida y vinculos familiares. 4)El modo de producción familiar fue reemplazado por el modo de producción capitalista lo que incidió en la producción agrícola y en la conservación de los recursos.El objetivo principal es descubrir las estrategias de vida implementadas por un grupo de familias, trabajadoras fruti hortícolas, en respuesta a las transformaciones productivas, tecnológicas y socio económicas impuestas por el modelo de acumulación vigente.Para ello se caracterizará los ambitos productivos de trabajo a campo, identificando la disponibilidad de capital y los conocimientos técnicos y de manejo. También se analizarán las pautas y valores culturales, el impacto de las nuevas tecnologías y la incidencia social, vinculada a los cambios en los modos de producción.El abordaje será de tipo cualitativo, recavando información para elaborar una descripción detallada de las estrategias de vida adoptadas a partir de la década de los noventa. Se tomará como unidad de análisis a las familias que trabajaron o trabajan en la producción de hortalizas o frutales. Se realizarán combinaciones entre procedimientos Tipológicos a Priori; Históricos Comparativos y casos Unitarios. Se analizará las normativas vigentes en relación al uso y calidad del agua y del suelo; también imágenes satelitales para analizar los procesos de cambio en el uso del territorio y del recurso suelo. Se pretende realizar un aporte relacionado con el conocimiento de: la sustentabilidad de los sistemas productivos, la pobreza y los modos de vida de los productores fruti hortícolas que persistencia en ambientes degradados; en una franja intermedia entre el campo y la ciudad.

Caracterización zootécnica y genética de poblaciones primarias de ovinos, caprinos y camélidos productores de fibra (Programa: sustentabilidad productiva de pequeños rumiantes en áreas desfavorables - supprad).

Desde el tiempo de la conquista y colonización en siglo XVI, el territorio argentino fue poblado por especies exóticas entre ellas ovinos y caprinos. El tipo de animal introducido al territorio determinó la formación de poblaciones locales del tipo criollo donde en el caso de los ovinos pertenecían al tipo lanero. En el caso de los caprinos en un principio fueron con escasa cobertura pero existen evidencias de que posteriormente se introdujeron caprinos del tipo productores de cashmere y posteriormente caprinos de Angora. En el caso de los Camélidos estos son autóctonos y jugaron un rol preponderante en los pueblos originarios. Actualmente dichas poblaciones se encuentran relegadas y en manos de pequeños productores en su mayoría aborígenes. En base a estudios previos se puede afirmar que constituyen un material genético de importante variabilidad y de un potencial textil importante. El proyecto pretende continuar realizando relevamientos poblacionales en regiones donde aún se conserva material autóctono o local del tipo criollo con la finalidad de realizar una caracterización zootécnica y genética y así poder evaluar la variabilidad de las poblaciones y proponer estrategias de conservación y/o mejoramiento así como el destino del producto textil producido por dichas poblaciones. El relevamiento comprende un posicionamiento geográfico y breve descripción del sistema de producción, la toma de información biológica, morfológica y zoométrica de al menos el 20% de los animales según el tamaño de la majada o hato y la correspondiente obtención de muestras de fibra. Estas muestras son remitidas al laboratorio de fibras animales de la Red SUPPRAD para su evaluación. Para determinar la variabilidad zootécnica y genética de las poblaciones se confeccionan Índices de arcaísmo o primariedad basados en marcadores fenotípicos, bioquímicos y moleculares. A ello se propone incorporar estudios sobre desempeño productivo y reproductivo de las poblaciones.

Estrategias de vida implementadas por un grupo de productores fruti hortícolas del cinturón verde de la ciudad de Córdoba.

Este proyecto estudiará las estrategias de vida implementadas por familias productoras fruti hortícolas que viven en Colonia Tirolesa y Chacra de la Merced, lugares que forman parte del cinturón verde de la Ciudad de Córdoba, y su relación con los procesos de diferenciación social, asociados a cambios productivos, económicos, culturales y sociales que están condicionados por el modelo de expansión capitalista. A partir del análisis del capital económico, social, cultural y simbólico se identificará en un contexto rural las motivaciones, lógicas productivas y conocimientos agrícolas que incidieron en las decisiones asumidas ante problemáticas emergentes, tales como limitaciones para adquirir nuevos paquetes tecnológicos, el impacto ambiental causados por la no conservación y sustentabilidad de los recursos y las consecuencias sociales vinculadas a los laxos de familia, el trabajo y la calidad de vida. Se plantean las siguientes hipótesis: 1) Algunas familias productoras implementaron estrategias de vida que se relacionan con criterios de autosustentabilidad, conocimientos agrícolas tradicionales y pautas culturales; 2) Los nuevos espacios productivos no son compatibles con agroecosistemas sustentables; 3) Las nuevas tecnologías causaron impactos en la actividad productiva e incidieron en la economía, calidad de vida y vínculos familiares; 4 )El modo de producción familiar fue reemplazado por el modo de producción capitalista lo que incidió en la producción agrícola y en la conservación de los recursos. El objetivo principal es descubrir las estrategias de vida implementadas por un grupo de familias, trabajadoras fruti hortícolas, en respuesta a las transformaciones productivas, tecnológicas y socio económicas impuestas por el modelo de acumulación vigente. Para ello se caracterizará los ámbitos productivos de trabajo a campo, identificando la disponibilidad de capital y los conocimientos técnicos y de manejo. También se analizarán las pautas y valores culturales, el impacto de las nuevas tecnologías y la incidencia social, vinculada a los cambios en los modos de producción. El abordaje será de tipo cualitativo, recavando información para elaborar una descripción detallada de las estrategias de vida adoptadas a partir de la década de los noventa. Se tomará como unidad de análisis a las familias que trabajaron o trabajan en la producción de hortalizas o frutales. Se realizarán combinaciones entre procedimientos Tipológicos a Priori; Históricos Comparativos y casos Unitarios. Se analizará las normativas vigentes en relación al uso y calidad del agua y del suelo; también imágenes satelitales para analizar los procesos de cambio en el uso del territorio y del recurso suelo. Se pretende realizar un aporte relacionado con el conocimiento de: la sustentabilidad de los sistemas productivos, la pobreza y los modos de vida de los productores fruti hortícolas que persistencia en ambientes degradados; en una franja intermedia entre el campo y la ciudad.

Elaboración de una metodología que permita la obtención de un sustrato de uso ornamental en las condiciones de la provincia de Córdoba.

La realidad de los sistemas productivos de plantas ornamentales en maceta la provincia de Córdoba, nos da serios indicios de que el sustrato utilizado en los envases donde se desarrollan las plantas es uno de los principales limitantes de la actividad. Hoy el sistema productivo no es sustentable, dependiendo de un insumo de alto costo económico para el cultivo y alto costo ambiental para toda la sociedad. Se usa mantillo de monte serrano y Tierra negra zarandeada, extraídas de actividades mineras no reguladas. Esta informalidad lleva a una escasez cada vez mayor del insumo y a la imposibilidad de mantener calidad, es decir un insumo fundamental es cada vez más caro, sin garantía de calidad. A esto se le suma que, los lugares donde se extrae, como por ejemplo las Sierras de nuestra Provincia, son de origen calcáreo, este material tiene pH muy superiores a los recomendados para el cultivo de plantas ornamentales. El presente proyecto tiene por objetivo encontrar, mediante distintos ensayos, una metodología de disminución de pH aplicable a los sistemas productivos de Córdoba, que por su bajo costo y facilidad de aplicación( como es el caso del azufre micronizado) pueda adaptarse por parte de los productores sin dificultad. Esta corrección llevaría a un mejor aprovechamiento del sustrato base usado, mediante la disponibilidad de nutrientes que hoy se encuentran inmovilizados. Esto nos abre la posibilidad de trabajar sobre la composición del sustrato en el envase, probando distintos sustitutos, inertes o no, que otorguen mejores condiciones físicas al contenido del envase. Con una mejor estructura y disponibilidad de nutrientes en la maceta, mejorará la nutrición de la planta y por consiguiente su sanidad, su velocidad de crecimiento y la calidad de producto terminado. Se realizarán ensayos de acidificación mediante azufre micronizado, monitoreando tiempos de acción, dosificación y modificación de pH con sustratos base promedio usado por los productores y con sustratos formulados en base a sustitutos alternativos de fácil accesibilidad y bajo costo ( se intenta incluir como componente de sustrato a los residuos agropecuarios debidamente acondicionados) según la posibilidad de los distintos productores de acceso a los mismos.

Sistemas de Tipos para Verificación de Programas Concurrentes. Type Systems for Concurrent Programs Verification.

La programación concurrente es una tarea difícil aún para los más experimentados programadores. Las investigaciones en concurrencia han dado como resultado una gran cantidad de mecanismos y herramientas para resolver problemas de condiciones de carrera de datos y deadlocks, problemas que surgen por el mal uso de los mecanismos de sincronización. La verificación de propiedades interesantes de programas concurrentes presenta dificultades extras a los programas secuenciales debido al no-determinismo de su ejecución, lo cual resulta en una explosión en el número de posibles estados de programa, haciendo casi imposible un tratamiento manual o aún con la ayuda de computadoras. Algunos enfoques se basan en la creación de lenguajes de programación con construcciones con un alto nivel de abstración para expresar concurrencia y sincronización. Otros enfoques tratan de desarrollar técnicas y métodos de razonamiento para demostrar propiedades, algunos usan demostradores de teoremas generales, model-checking o algortimos específicos sobre un determinado sistema de tipos. Los enfoques basados en análisis estático liviano utilizan técnicas como interpretación abstracta para detectar ciertos tipos de errores, de una manera conservativa. Estas técnicas generalmente escalan lo suficiente para aplicarse en grandes proyectos de software pero los tipos de errores que pueden detectar es limitada. Algunas propiedades interesantes están relacionadas a condiciones de carrera y deadlocks, mientras que otros están interesados en problemas relacionados con la seguridad de los sistemas, como confidencialidad e integridad de datos. Los principales objetivos de esta propuesta es identificar algunas propiedades de interés a verificar en sistemas concurrentes y desarrollar técnicas y herramientas para realizar la verificación en forma automática. Para lograr estos objetivos, se pondrá énfasis en el estudio y desarrollo de sistemas de tipos como tipos dependientes, sistema de tipos y efectos, y tipos de efectos sensibles al flujo de datos y control. Estos sistemas de tipos se aplicarán a algunos modelos de programación concurrente como por ejemplo, en Simple Concurrent Object-Oriented Programming (SCOOP) y Java. Además se abordarán propiedades de seguridad usando sistemas de tipos específicos. Concurrent programming has remained a dificult task even for very experienced programmers. Concurrency research has provided a rich set of tools and mechanisms for dealing with data races and deadlocks that arise of incorrect use of synchronization. Verification of most interesting properties of concurrent programs is a very dificult task due to intrinsic non-deterministic nature of concurrency, resulting in a state explosion which make it almost imposible to be manually treat and it is a serious challenge to do that even with help of computers. Some approaches attempts create programming languages with higher levels of abstraction for expressing concurrency and synchronization. Other approaches try to develop reasoning methods to prove properties, either using general theorem provers, model-checking or specific algorithms on some type systems. The light-weight static analysis approach apply techniques like abstract interpretation to find certain kind of bugs in a conservative way. This techniques scale well to be applied in large software projects but the kind of bugs they may find are limited. Some interesting properties are related to data races and deadlocks, while others are interested in some security problems like confidentiality and integrity of data. The main goals of this proposal is to identify some interesting properties to verify in concurrent systems and develop techniques and tools to do full automatic verification. The main approach will be the application of type systems, as dependent types, type and effect systems, and flow-efect types. Those type systems will be applied to some models for concurrent programming as Simple Concurrent Object-Oriented Programming (SCOOP) and Java. Other goals include the analysis of security properties also using specific type systems.

Elaboración de una metodología que permita la obtención de un sustrato de uso ornamental en las condiciones de la provincia de Córdoba

La realidad de los sistemas productivos de plantas ornamentales en maceta la provincia de Cordoba, nos da serios indicios de que el sustrato utilizado en los envasesdonde se desarrollan las plantas es uno de los principales limitantes de la actividad. Hoy el sistema productivo no es sustentable, dependiendo de un insumo de alto costo economico para el cultivo y alto costo ambiental para toda la sociedad. Se usa mantillo de monte serrano y Tierra negra zarandeada, extraídas de actividades mineras no reguladas. Esta informalidad lleva a una escasez cada vez mayor del insumo y a la imposibilidad de mantener calidad, es decir un insumo fundamental es cada vez mas caro , sin garantia de calidad. A esto se le suma que, los lugares donde se extrae, como por ejemplo las Sierras de nuestra Provincia, son de origen calcareo, este material tiene pH muy superiores a los recomendados para el cultivo de plantas ornamentales. El presente proyecto tiene por objetivo encontrar, mediante distintos ensayos, una metodología de disminución de pH aplicable a los sistemas productivos de Córdoba, que por su bajo costo y facilidad de aplicación( como es el caso del azufre micronizado) pueda adaptarse por parte de los productores sin dificultad. Esta corrección llevaría a un mejor aprovechamiento del sustrato base usado, mediante la disponibilidad de nutrientes que hoy se encuentran inmovilizados. Esto nos abre la posibilidad de trabajar sobre la composición del sustrato en el envase, probando distintos sustitutos, inertes o no, que otorgen mejores condiciones físicas al contenido del envase. Con una mejor estructura y disponibilidad de nutrientes en la maceta, mejorará la nutrición de la planta y por consiguiente su sanidad, su velocidad de crecimiento y la calidad de producto terminado. Se realizaran ensayos de acidificación mediante azufre micronizado, monitoreando tiempos de acción, dosificación y modificación de pH con sustratos base promedio usado por los productores y con sustratos formulados en base a sustitutos alternativos de facíl accesibilidad y bajo costo ( se intenta incluir como componente de sustrato a los residuos agropecuarios debidamente acondicionados) según la posibilidad de los distintos productores de acceso a los mismos.

Evaluación de la degradación del suelo en agroecosistemas del centro-sur de Córdoba mediante indicadores e índices. Assessment of soil degradation in agroecosystems of central-southern Córdoba by means of indicators and indices

Las actividades agropecuarias ejercen diferentes presiones sobre los recursos naturales. Esto ha llevado, en algunas áreas, a un deterioro del suelo que provoca un impacto sobre la sustentabilidad en los sistemas agropecuarios. Para evaluar la degradación del suelo se han propuesto listas de indicadores, sin embargo, se carece de una herramienta metodológica robusta, adaptada a las condiciones edafoclimáticas regionales. Además, existe una demanda de productores e instituciones interesados en orientar acciones para preservar el suelo. El objetivo de este proyecto es evaluar la degradación física, química y biológica de los suelos en agroecosistemas del centro-sur de Córdoba. Por ello se propone desarrollar una herramienta metodológica que consiste en un set de indicadores físicos, químicos y biológicos, con valores umbrales, integrados en índices de degradación, que asistan a los agentes tomadores de decisiones y productores, en la toma de decisiones respecto de la degradación del suelo. El área de trabajo será una región agrícola del centro-sur de Córdoba con más de 100 años de agricultura. La metodología comienza con la caracterización del uso del territorio y sistemas de manejo, su clasificación y la obtención de mapas base de usos y manejos, mediante sensores remotos y encuestas. Se seleccionarán sitios de muestreo mediante una metodología semi-dirigida usando un SIG, asegurando un mínimo de un punto de muestreo por unidad de mapeo. Se elegirán sitios de referencia lo más cercano a una condición natural. Los indicadores a evaluar surgen de listas propuestas en trabajos previos del grupo, seleccionados en base a criterios internacionales y a adecuados a suelos de la región. Se usarán indicadores núcleo y complementarios. Para la obtención de umbrales, se usarán por un lado valores provenientes de la bibliografía y por otro, umbrales generados a partir de la distribución estadística del indicador en suelos de referencia. Para estandarizar cada indicador se definirá una función de transformación. Luego serán ponderarán mediante análisis estadísticos mulivariados e integrados en índices de degradación física, química y biológica, y un índice general de degradación. El abordaje concluirá con el desarrollo de dos instrumentos para la toma de decisiones: uno a escala regional, que consistirá en mapas de degradación en base a unidades cartográficas ambientales, de uso del territorio y de sistemas de manejo y otro a escala predial que informará sobre la degradación del suelo de un lote en particular, en comparación con suelos de referencia. Los actores interesados contarán con herramientas robustas para la toma de decisiones respecto de la degradación del suelo tanto a escala regional como local. Agricultural activities exert different pressures on natural resources. In some areas this has led to soil degradation and has an impact on agricultural sustainability. To assess soil degradation a robust methodological tool, adapted to regional soil and climatic conditions, is lacking. In addition, there is a demand from farmers and institutions interested in direct actions to preserve the soil. The objective of this project is to assess physical, chemical and biological soil degradation in agroecosystems of Córdoba. We propose to develop a tool that consists of a set of physical, chemical and biological indicators, with threshold values, integrated in soil degradation indices. The study area is a region with more than 100 years of agriculture. The methodology begins with the characterization of land use and management systems and the obtaining of base maps by means of remote sensing and survey. Sampling sites will be selected through a semi-directed methodology using GIS, ensuring at least one sampling point by mapping unit. Reference sites will be chosen as close to a natural condition. The proposed indicators emerge from previous works of the group, selected based on international standards and appropriate for the local soils. To obtain the thresholds, we will use, by one side, values from the literature, and by the other, values generated from the statistical distribution of the indicator in the reference soils. To standardize indicators transformation functions will be defined. Indicators will be weighted by mans of multivariate analysis and integrated in soil degradation indices. The approach concluded with the development of two instruments for decision making: a regional scale one, consisting in degradation maps based on environmental, land use and management systems mapping units; and an instrument at a plot level which will report on soil degradation of a particular plot compared to reference soils.

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.