Ganadería sustentable en la reserva hídrica provincial Pampa Achala. Estudio sobre la producción de camélidos sudamericanos domésticos. Proyecto de conservación de la biodiversidad (TF-028372), subcomponente desarrollo de actividades sustentables

El objetivo general de este proyecto es demostrar la factibilidad de implementar una producción sustentable CSD (Llamas) en la reserva Hídrica Provincial de Pampa de Achala (RHPPA). Los objetivos específicos son: • Medir la adaptación de los CSD a los hábitos de producción de los pobladores del área de estudio. • Medir la calidad de la fibra obtenida mediante procesamientos textiles artesanales e industriales • Evaluar la calidad de la carne mediante la realización de faenas protocolizadas y análisis de calidad. • Analizar el desempeño productivo de un plantel experimental de CSD teniendo en cuenta la sustentabilidad. • Desarrollar criterios a través de los cuales se puedan fijar los requisitos técnicos para diseñar un certificado de calidad de producción orgánica para fibra y para carne. Se trabajará con dos planteles experimentales: en la zona de influencia de la Escuela Martín Fierro, y en el Cerro El Lindero en Yacanto-San Javier. Se totalizarán 30 animales por cada lugar y se controlará el manejo y el procesamiento de los productos: fibra y carne. El estudio de la artesanía tradicional y la recuperación de las técnicas tradicionales de los artesanos de la zona será otra actividad importante de este proyecto

Estudio y diseño de alternativas sustentables para envolventes de viviendas de interés social en las diferentes zonas bioclimáticas de la provincia de Córdoba

Identificación y caracterización del problema objeto del estudio: La consideración de los recursos naturales en las diferentes regiones bioclimáticas, son factores fundamentales en el diseño de las envolventes de las viviendas para un uso racional de la energía. Estos aspectos tienen una incidencia directa en los presupuestos que deben afrontar los habitantes para solventar los gastos energéticos, en especial en aquellos sectores de menores recursos en la sociedad. Considerando la estructura socio-económica de la población y el déficit habitacional, surge como una de las temáticas más importantes el de la habitabilidad. La mayoría de de las viviendas de interés social en la Provincia de Córdoba no tienen la posibilidad de ser climatizadas con medios convencionales. Por tal razón, el diseño y materialización de las envolventes debiera ajustarse a las condiciones bioambientales de cada zona en particular y a la vez aprovechar los recursos naturales garantizando el confort ambiental con mayor ahorro energético. La Provincia de Córdoba abarca diferentes zonas bioambientales (II a y IIIa) de la República Argentina (Norma IRAM 11603) que presentan microclimas que deben ser determinados para la solución del tema-problema abordado. Es importante relevar la disponibilidad de materiales en cada zona y determinar la aptitud de los mismos, considerando simultáneamente los aspectos económicos de cada alternativa planteada. Hipótesis: La concreción de la investigación del tema-problema planteado permitirá que los requerimientos físicos de las envolventes para cada zona bioambiental de la Provincia de Córdoba sean incorporados en las Normativas y Reglamentaciones vigentes como así también alternativas de envolventes que cumplan con las mismas. Planteo de objetivos: Generales: Mejorar las condiciones de confort bioambiental para viviendas de interés social y disminuir el gasto energético en las viviendas de interés social de la Provincia de Córdoba; Específicos: Plantear alternativas constructivas de envolventes que mejoren los aspectos térmicos, acústicos y lumínicos en las viviendas. Materiales y métodos a utilizar: Se estudiarán los materiales de construcción disponibles en cada zona, como así también aquellos de bajo costo o para reciclar. Las metodologías a utilizar serán variadas y estarán en relación a cada desarrollo en particular: relevamientos teóricos y análisis biliográficos sobre la temática, relevamientos cuantitativos de condiciones de confort ( temperaturas de las envolventes y del aire, niveles de ruido, iluminancias medias de ambientes, velocidad del aire interior) mediante la utilización de instrumental específico, relevamientos cualitativos (encuestas) en los habitantes de viviendas de interés social ubicadas en diferentes zonas bioclimáticas, verificación de alternativas y posible modelización.

Utilización de energías renovables en la producción agrícola

El proyecto abordará tres aspectos muy importantes como son la determinación de los distintos parámetros de secado de granos de amaranto con técnicas de laboratorio, la factibilidad de un sistema de secado con aprovechamiento de energía solar y la calefacción de invernaderos con energía geotérmica. (...) Los amarantos son plantas cultivadas desde épocas remotas y redescubiertas por la agricultura moderna como seudo cereales, hortalizas y forrajeras de notables cualidades alimenticias. El amaranto debe ser manipulado en forma similar a otros granos. (...) El secado de este producto es un problema cuya resolución plantea dificultades técnicas y económicas. Otro aspecto de importancia es el cultivo bajo invernaderos; es sabido que cada vez son mayores los esfuerzos tendientes a lograr una climatización controlada bajo la cubierta de cultivos bajo invernadero, que permita superar los problemas del excesivo enfriamiento nocturno. (...) Objetivos generales y específicos: Objetivos Generales: * Desarrollar tecnologías que mejoren la calidad y el rendimiento económico de la producción agrícola mediante energías renovables. * Contribuir a la mejora del medio ambiente a través del uso de energías no contaminantes y renovables. Objetivos particulares: * Determinación de los parámetros de secado y coeficientes físicos de los granos de amaranto. * Determinación de curvas de deterioro de almacenamiento bajo condiciones controladas. * Adaptación de métodos y alternativas de ahorro energético, al secado de granos de amaranto a campo tendientes a definir su manejo post cosecha. * Analizar la factibilidad de un sistema de secado con aprovechamiento de la energía solar. * Evaluar una propuesta económicamente viable de ahorro de energía y de protección térmica de los cultivos. *Comprender la importancia de los factores que intervienen en los balances térmicos de invernaderos en general y en particular de aquellos con las mejoras propuestas en el presente proyecto. * Conservar la energía almacenada durante el día, en el invierno, mediante el uso de una película reflectante de la IR. * Diseñar un sistema de calentamiento para aumentar la entalpía del agua proveniente del surgente.

Procesos de separación con membranas

El uso de membranas semipermeables representa una tecnología importante para resolver problemas de separación, concentración y/o purificación de distintas sustancias presentes en una mezcla, utilizada frecuentemente en naciones desarrolladas y no explotada convenientemente en nuestro país. El bajo costo energético y escasa agresividad térmica derivados de su utilización la convierte en una técnica de gran interés en procesos de separación ligados a la industria alimenticia y biotecnológica, tal como lo demuestra la variedad de aplicaciones en este campo generadas en la última década. En este proyecto se propone estudiar el proceso de separación de una manera integral, analizando a) la síntesis de membranas poliméricas; b) la simulación y caracterización de su funcionamiento y c) su aplicación a procesos de interés regional. Las membranas se sintetizarán a partir de polisulfonas por el método de inversión de fases. Se caracterizarán por medio de determinaciones morfológicas y de funcionamiento (permeabilidad, selectividad, MWCO). A partir de mosaicos generados en la computadora, se elaborará un modelo para simular el funcionamiento de la membrana y el proceso de ensuciamiento que la misma sufre durante su operación. Los resultados del modelo serán verificados con datos experimentales obtenidos a partir de las membranas sintetizadas y de algunas membranas inorgánicas disponibles en el mercado. Finalmente, tanto las membranas poliméricas obtenidas como una variedad de membranas inorgánicas comerciales, serán utilizadas para el tratamiento del efluente acuoso de una industria oleaginosa de la región. En estos ensayos se determinará la influencia de distintas variables operativas (presión, temperatura, caudal) sobre la capacidad de separación y la selectividad de las diferentes membranas, decidiendo las condiciones y características que optimicen el proceso de purificación.

Origen y evolución del magma granítico en el Batolito de Achala: Fundamentos petrológicos, geoquímicos y estructurales para la preconcentración uranífera en el área de Cañada del Puerto. Origin and evolution of the granitic magma in the Achala Batholith: petrological, geochemical and structural constraint for the uranium preconcentration in the Cañada del Puerto area.

El batolito de Achala es uno de los macizos graníticos más grandes de las Sierras Pampeanas, el cual se localiza en las Sierras Grandes de Córdoba. Si bien el batolito de Achala ha sido objeto de diversos estudios geológicos, principalmente debido a sus yacimientos de uranio, el mismo todavía no posee un inequívoco modelo petrogéntico. Tampoco existe, en la actualidad, un inequívoco modelo que explique la preconcentración de uranio en las rocas graníticas portadores de este elemento. Este Proyecto tiene como objetivo general realizar estudios petrológicos y geoquímicos en la región conocida como CAÑADA del PUERTO, un lugar estratégicamente definido debido a la abundancia de granitos equigranulares de grano fino y/o grano medio biotíticos, emplazados durante el desarrollo de cizallas magmáticas tardías, y que constituirían las rocas fuentes de uranio. El objetivo específico requiere estudios detallados de las diferentes facies del batolito de Achala en el área seleccionada, incluyendo investigaciones petrológicas, geoquímicas de roca total, geoquímica de isótopos radiactivos y química mineral, con el fin de definir un MODELO PETROGENÉTICO que permita explicar: (a) el origen del magma padre y el subsiguiente proceso de cristalización de las diferentes facies graníticas aflorantes en el área de estudio, (b) identificar el proceso principal que condujo a la PRECONCENTRACIÓN uranífera de los magmas graníticos canalizados en las cizallas magmáticas tardías. Ambos objetivos se complementan y no son compartimentos estancos, ya que el logro combinado de estos objetivos permitirá comprender de mejor manera el proceso geoquímico que gobernó la distribución y concentración del U. De esta manera, se intentará definir un MODELO de PRECONCENTRACIÓN URANÍFERA EXTRAPOLABLE a otras áreas graníticas enriquecidas en uranio, constituyendo una poderosa herramienta de investigación aplicada a la exploración uranífera. En particular, el conocimiento de los recursos uraníferos es parte de una estrategia nacional con vistas a triplicar antes del 2025 la disponibilidad energética actual, en cuyo caso, el uranio constituye la materia prima de las centrales nucleares que se están planificando y en construcción. Por otro lado, la Argentina adhirió al Protocolo de Kioto y, junto a los países adherentes, deben disminuir de manera progresiva el uso de combustibles fósiles (que producen gases de efecto invernadero), reemplazándola por otras fuentes de energía, entre ellas, la ENERGÍA NUCLEAR. Este Proyecto, si bien NO es un Proyecto de exploración y/o prospección minera, es totalmente consistente con la política energética nacional promocionada desde el Ministerio de Planificación Federal, Inversión Pública y Servicios (v. sitio WEB CNEA), que ha invertido, desde 2006, importantes sumas de dinero, en el marco del Programa de Reactivación de la Actividad Nuclear.Los estudios referidos serán conducidos por los Drs. Dahlquist (CONICET-UNC) y Zarco (CNEA) quienes integrarán sus experiencias desarrolladas en el campo de las Ciencias Básicas con aquel logrado en el campo de las Ciencias Aplicadas, respectivamente. Se pretende, por tanto, aplicar conocimientos académicos-científicos a un problema de geología con potencial significado económico-energético, vinculando las instituciones referidas, esto es, CONICET-UNC y CNEA, con el fin de contribuir a la actividad socioeconómica de la provincia de Córdoba en particular y de Argentina en general.Finalmente, convencidos de que el progreso de la Ciencia y el Desarrollo Tecnológico está íntimamente vinculada con la sólida Formación de Recursos Humanos se pretende que este Proyecto contribuya SIGNIFICATIVAMENTE a las investigaciones de Doctorado que iniciará la Geóloga Carina Bello, actual Becaria de la CNEA.

Energía Eólica en Argentina: una cuestión estratégica hacia la Economía del Hidrógeno. Wind Energy in Argentina: a strategic subject towards the Hydrogen Economy.

Identificación/caracterización del problema: El abastecimiento energético en base a fuentes no tradicionales o recursos no renovables es un tema altamente estratégico en las agendas de los Estados. El petróleo se está agotando y las existencias no alcanzarán para abastecer el consumo mundial.Esto ha llevado a Gobiernos a implementar alternativas de producción energética basadas en fuentes no tradicionales, tales como el Hidrógeno (H2), lo cual creará una Economía basada en el Hidrógeno.Argentina cuenta con una matriz energética dependiente en un 90 por ciento del petróleo y con reservas certificadas de petróleo y gas natural para 8,6 y 9,4 años respectivamente. Sin duda, los desafíos próximos serán: a) crear las herramientas necesarias para minimizar una potencial crisis energética en el corto plazo, y b) desarrollar políticas energéticas que articulen su autoabastecimiento e inserción en la Economía del Hidrógeno. Dado que Argentina cuenta con uno de los recursos renovables más importantes del mundo, "el viento", tiene condiciones inmejorables para obtener Hidrógeno (H2) por electrólisis del agua, utilizando energía eléctrica proveniente de fuentes renovables como la eólica (EE). Es por ello que apostar al desarrollo local del H2 basado en la EE nos ofrecerá como país, un rol estratégico en la futura Economía del Hidrógeno.Objetivo General: Identificar la actual Matriz Energética Argentina y reconocer los factores limitantes y oportunidades para la diversificación de la misma, utilizando la Energía Eólica (EE) como pilar hacia la Economía del Hidrógeno (Econo-H2). El fin último será esbozar herramientas de política energética e instrumentos regulatorios pertinentes, que sirvan de base para la formulación de una macro política energética.Metodología de Investigación: Se utilizarán técnicas de análisis de la siguiente información:a) Documental (textos, artículos, información periodística)b) Técnica, Legal y administrativa) Oral (Declaraciones oficiales-privadas y entrevistas)d) Visual (imágenes, gráficos y mapas)e) Datos (cronológicos, estadísticos y geográficos)Resultados esperados: La formulación de herramientas de política energética y de instrumentos regulatorios pertinentes, que sirvan de base para la formulación de una macro política energética que considere la Energía Eólica (EE) como un pilar fundamental para la diversificación de la matriz energética actual. Asimismo se reflexionará sobre la importancia de asociar la EE a la producción masiva del hidrógeno (H2) para la inserción y proyección futura de la Argentina hacia la Economía del Hidrógeno.Importancia del Proyecto: Argentina ha ratificado el protocolo de Kioto y forma parte de la Johannesburg Renewable Energy Coalition (JREC), por la cual ha asumido compromisos para fijar políticas nacionales de incentivo para el desarrollo de uso de energías renovables.Sin embargo, y a pesar de una serie de iniciativas y leyes promulgadas relacionadas a uso de energías renovables, hasta la fecha, no se ha logrado cumplir con metas concretas.Consideramos que uno de los factores fundamentales que ha dificultado esto, se basa en la ausencia de una política de Estado de mediano y largo plazo que incluya a las energías renovables como un objetivo concreto y un sistema de instrumentos y planes complementarios que acompañen dicha política.

Propuestas de normas para el acondicionamiento bioambiental de edificios y entornos urbanos en Córdoba.

En los últimos 10 años se realizaron, en la ciudad de Córdoba, una serie de transformaciones edilicias y de espacios comunes tanto a nivel privado como estatal, que reflejan una falta de estudios específicamente inherentes a las construcciones lo que se correlaciona estrechamente con los temas ausentes en las Ordenanzas y Códigos de Edificación vigentes. Éstos, en la actualidad, no incluyen o lo hacen débilmente a los aspectos referidos al ambiente, al confort y necesidades de los usuarios, al ahorro energético y a la sustentabilidad en el tiempo y en la materialidad. Las Normativas debieran contar, entre otros aspectos, con respuestas al aprovechamiento del clima de la región de Córdoba, a los recursos disponibles, al confort del habitante tanto dentro de los edificios como en los entornos urbanos. El presente proyecto de investigación propone: a) Revisión de los aspectos ambientales que influyen en el dimensionado de los espacios, orientación de los mismos, aprovechamiento y protección de la radiación solar, aprovechamiento de la luz natural, control del impacto acústico, control del impacto visual, etc., b) Estudio de la potencialidad de los recursos en términos de tiempo razonable, c) Reinterpretación de los servicios existentes, d) Estudio de la potencialidad espacial de la red en lo que respecta a circulación de personas, de vehículos y de energías (acústica, lumínica, térmica, etc.) y e) Estudio y propuesta para una mejor calidad ambiental de los edificios, sus entornos, de la circulación vehicular, de los estacionamientos y del paisaje urbano.

Especies nativas del Centro de Argentina: potencial agroindustrial y perspectivas para la producción de energía y biocombustibles

La región centro de Argentina posee una elevada riqueza de especies nativas y endémicas, con potencial valor agroindustrial. Flourensia campestris y F. oolepis (Asteraceae), conforman comunidades denominadas "chilcales". Son reconocidas por sus usos tradicionales como aromática, tintórea, medicinal y para leña -en especial raíz- y presentan potencial aplicación en la agroindustria como insecticida, antimicrobiana, antifúngica y aleloquímica. Trabajos realizados en nuestro laboratorio con extractos acuosos de hojas secas de F. campestris demostraron un potente efecto herbicida sobre semillas de Lactuca sativa. Mediante el fraccionamiento biodirigido por CC y técnicas espectrales (GC-MS, IR, 1H-RMN, 13C-RMN, 2D-RMN) se pudo identificar la estructura molecular del ácido hamanásico ((4S, 8S)–7–carboxi–8–hidroxi- 1(2), 12(13)-dien-bisaboleno). Su presencia en F. campestris, y su actividad biológica, no habían sido descriptos con anterioridad y sugieren un potencial herbicida natural. En ambas especies se puede apreciar a simple vista su alto contenido en resinas, compuestos propuestos para reemplazar a los hidrocarburos en la fabricación de pinturas, pegamentos y adhesivos. Estudios preliminares en nuestro laboratorio señalan un contenido de entre un 20-40 % de resinas en la biomasa aérea de Flourensia, sin embargo, no existen al presente estudios sobre su composición química ni sobre su potencial aplicación industrial. Por otro lado, el desarrollo de cultivos energéticos, para la generación de electricidad por combustión de biomasa, constituye uno de los objetivos principales dentro de las políticas de energías renovables a nivel nacional (programa GENREN) y mundial. Las especies con mayor aptitud deben poseer altas tasas de crecimiento y un alto grado de tolerancia de adversidades bióticas y abióticas, lo que permitiría cultivarlos en áreas marginales para la agricultura tradicional, hechos que coinciden con las especies de Flourensia en estudio. Asimismo, el tratamiento térmico o pirólisis de biomasa proveniente de la agricultura es una de las alternativas de reutilización de la misma con distintos fines. Este pasivo ecológico puede ser transformado en productos de alto valor agregado. En base a lo expuesto, el objetivo general de este proyecto es investigar en las dos especies vegetales endémicas de Argentina y abundantes en la provincia de Córdoba, las características de los metabolitos secundarios en relación a su potencial aplicación agroquímica (herbicidas naturales), la composición de sus resinas para uso industrial y su rendimiento como materia prima de alta densidad energética para la cogeneración de electricidad y producción de biocombustible, en función del desarrollo de una agricultura sustentable. Para ello, el proyecto propone incrementar el rendimiento de la purificación de ácido hamanásico e identificar y cuantificar su presencia en otros órganos de F. campestris y en F.oolepis, con el objetivo de evaluar su efecto herbicida, mediante bioensayos en cápsulas de Petri, en especies cultivables y malezas. Los usos potenciales de las resinas se estudiarán en base a la identificación de sus compuestos químicos mediante su extracción y análisis espectrales (CG-MS). A través de la determinación del poder calorífico, contenido de cenizas y de nitrógeno de la biomasa aérea de las especies, se evaluará su rendimiento energético para emplear como biocombustible sólido en la cogeneración eléctrica, mientras que con la aplicación del método fast pyrolysis y análisis por CG-MS, se determinará su aplicación o su posterior modificación de acuerdo a las características del bio-oil deseado. El destino energético de las especies propuestas permitiría iniciar de manera rápida la etapa de domesticación y puesta en cultivo, y avanzar en el desarrollo de aplicaciones industriales más sofisticadas, como el aprovechamiento de sus propiedades bioactivas o el desarrollo de productos industriales basados en sus metabolitos secundarios.

Especies nativas del Centro de Argentina: potencial agroindustrial y perspectivas para la producción de energía y biocombustibles

La región centro de Argentina posee una elevada riqueza de especies nativas y endémicas, con potencial valor agroindustrial. Flourensia campestris y F. oolepis (Asteraceae), conforman comunidades denominadas "chilcales". Son reconocidas por sus usos tradicionales como aromática, tintórea, medicinal y para leña -en especial raíz- y presentan potencial aplicación en la agroindustria como insecticida, antimicrobiana, antifúngica y aleloquímica. Trabajos realizados en nuestro laboratorio con extractos acuosos de hojas secas de F. campestris demostraron un potente efecto herbicida sobre semillas de Lactuca sativa. Mediante el fraccionamiento biodirigido por CC y técnicas espectrales (GC-MS, IR, 1H-RMN, 13C-RMN, 2D-RMN) se pudo identificar la estructura molecular del ácido hamanásico ((4S, 8S)–7–carboxi–8–hidroxi- 1(2), 12(13)-dien-bisaboleno). Su presencia en F. campestris, y su actividad biológica, no habían sido descriptos con anterioridad y sugieren un potencial herbicida natural. En ambas especies se puede apreciar a simple vista su alto contenido en resinas, compuestos propuestos para reemplazar a los hidrocarburos en la fabricación de pinturas, pegamentos y adhesivos. Estudios preliminares en nuestro laboratorio señalan un contenido de entre un 20-40 % de resinas en la biomasa aérea de Flourensia, sin embargo, no existen al presente estudios sobre su composición química ni sobre su potencial aplicación industrial. Por otro lado, el desarrollo de cultivos energéticos, para la generación de electricidad por combustión de biomasa, constituye uno de los objetivos principales dentro de las políticas de energías renovables a nivel nacional (programa GENREN) y mundial. Las especies con mayor aptitud deben poseer altas tasas de crecimiento y un alto grado de tolerancia de adversidades bióticas y abióticas, lo que permitiría cultivarlos en áreas marginales para la agricultura tradicional, hechos que coinciden con las especies de Flourensia en estudio. Asimismo, el tratamiento térmico o pirólisis de biomasa proveniente de la agricultura es una de las alternativas de reutilización de la misma con distintos fines. Este pasivo ecológico puede ser transformado en productos de alto valor agregado. En base a lo expuesto, el objetivo general de este proyecto es investigar en las dos especies vegetales endémicas de Argentina y abundantes en la provincia de Córdoba, las características de los metabolitos secundarios en relación a su potencial aplicación agroquímica (herbicidas naturales), la composición de sus resinas para uso industrial y su rendimiento como materia prima de alta densidad energética para la cogeneración de electricidad y producción de biocombustible, en función del desarrollo de una agricultura sustentable. Para ello, el proyecto propone incrementar el rendimiento de la purificación de ácido hamanásico e identificar y cuantificar su presencia en otros órganos de F. campestris y en F.oolepis, con el objetivo de evaluar su efecto herbicida, mediante bioensayos en cápsulas de Petri, en especies cultivables y malezas. Los usos potenciales de las resinas se estudiarán en base a la identificación de sus compuestos químicos mediante su extracción y análisis espectrales (CG-MS). A través de la determinación del poder calorífico, contenido de cenizas y de nitrógeno de la biomasa aérea de las especies, se evaluará su rendimiento energético para emplear como biocombustible sólido en la cogeneración eléctrica, mientras que con la aplicación del método fast pyrolysis y análisis por CG-MS, se determinará su aplicación o su posterior modificación de acuerdo a las características del bio-oil deseado. El destino energético de las especies propuestas permitiría iniciar de manera rápida la etapa de domesticación y puesta en cultivo, y avanzar en el desarrollo de aplicaciones industriales más sofisticadas, como el aprovechamiento de sus propiedades bioactivas o el desarrollo de productos industriales basados en sus metabolitos secundarios.

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.

Integración energética y cambio climático en la Unión Europea y en Mercosur.

Alemania e Italia, miembros fundadores del proceso conducente a la formación de la Unión Europea, son líderes en el uso de energía renovable, particularmente de la energía eólica. Argentina y Brasil, por otro lado, posicionados como dos de los países más poderosos en Mercosur, son importantes potencias regionales y globales en la generación de recursos no renovables, tales como el petróleo. Sin embargo, en el curso de los últimos diez años, también han ganado importancia en la creación de energías renovables. La investigación, por tanto, se focaliza en el análisis de la integración regional en la Unión Europea (tomando los casos de Alemania e Italia) y en Mercosur (tomando los casos de Argentina y Brasil), en el sector de la energía eólica, desde una perspectiva comparada. Dado el diferente estado de la producción, generación y abastecimiento energético en Europa y en Sudamérica, el proyecto de investigación apunta a analizar en qué medida la energía renovable ha tenido recepción normativa e implementación práctica en ambos bloques regionales. Además, teniendo en cuenta la vinculación existente entre la política energética y el cambio climático, se busca analizar la importancia asignada al cambio climático en los procesos de decisión política y en la construcción de la integración regional en dicho sector.