Redes políticas en las regiones metropolitanas de Córdoba y Rosario. Interdependencia y cooperación entre actores estatales y sociales.

La literatura que señala las limitaciones de los gobiernos locales y los estudios sobre la coordinación hacen evidente dos problemáticas de gran trascendencia que se encuentran actualmente en debate: por un lado, la definición y redefinición de las escalas apropiadas en asuntos que implican externalidades entre territorios con diversas unidades político-administrativas y, por otro lado, la manera en que la coordinación-conducción socio-política resuelve lo común en marcos de interdependencia entre actores con autonomía relativa. Los resultados comunes (entendiendo por esto la situación generada por las políticas y las no-políticas) devienen de decisiones colectivas tomadas en los procesos de coordinación-conducción socio-política mediante múltiples y coexistentes relaciones de cooperación, conflicto e indiferencia entre actores interdependientes. En espacios de interdependencia inter-local la resolución de múltiples problemáticas comunes requiere de relaciones de coordinación intergubernamental, horizontal y vertical, y con la sociedad civil. Las regiones metropolitanas resultan ser espacios que muestran de manera muy clara las situaciones de interdependencia y la necesidad de cooperación, principalmente entre unidades gubernamentales, por lo que se convierten en un objeto de estudio apropiado para indagar la problemática de la interdependencia y la coordinación. En atención a este asunto el objetivo de este plan de trabajo es observar y analizar la coordinación-conducción socio-política en las regiones metropolitanas de Córdoba y Rosario en la actualidad.

Análisis y diseño de un modelo gestión para la conservación de frutas y hortalizas del Cinturón Verde de la provincia de Córdoba: Preservación de la aptitud organoléptica en atmósfera controlada.

Los negocios vinculados al Agro han crecido en forma importante en la Argentina en los últimos diez años. Este comportamiento se ha dado a partir de dos variables estratégicas, una el precio de los productos y la segunda los niveles de eficiencia tecnológica y productiva, esta última puede ser mejorada para que el sistema tienda a ser más sustentable, pudiéndose generar un "plus de valor" para el consumidor y mayor rentabilidad para la empresa. Para que una empresa en el marco de los agronegocios pueda crear valor a lo largo de la cadena, debe lograr diferenciación, para ello se propone el desarrollo de un proyecto que permita al consumidor obtener productos en condiciones organolépticas óptimas evitando el corte anticipado de frutas y verduras con el consiguiente degradado de las condiciones de calidad desde una visión sistémica de la cadena de abastecimiento y distribución, a través de un proceso que agregue valor para el consumidor, desde un nuevo enfoque mas integrador. La madurez en la cosecha es el factor determinante de la vida comercial, del precio y de la calidad final de la fruta. Cuando los frutos se cosechan fisiológicamente inmaduros evolucionan perdiendo firmeza pero no manifestarán el aroma y sabor característicos, siendo más susceptibles a marchitamiento y a daños mecánicos. Si se cosechan sobre maduros, pronto se vuelven blandos e insípidos y son más difíciles de manipular y comercializar. Para poder ser comercializados se deben cosechar en madurez fisiológica pero no con la madurez óptima para el consumo, esto hace crítica esta primera etapa de la cadena de abastecimiento. Como consecuencia, la cosecha del sector coincide para cada uno de los rubros explotados, generando una oferta significativa de un producto específico (un ejemplo es que todos los productores cosechan al mismo tiempo la lechuga) lo que satura el mercado. El valor de la producción es fijado por la ley de la oferta y la demanda por lo que se obtiene un escaso rendimiento en el momento de la comercialización. El objetivo del presente proyecto es generar una alternativa tecnológica, que permita a los productores, poder extender el lapso de aptitud del producto y de esta manera originar nuevas posibilidades de estrategia comercial para consumo interno y para exportación. La aplicación del envasado al vacío o con atmósfera modificada (EAM) prolonga la conservación de la calidad de los productos alimenticios. En este proceso es indispensable poder detener o disminuir los mecanismos químicos y biológicos que determinan la descomposición de los alimentos. El EAM consiste en el envasado de productos alimenticios en una atmósfera distinta a aquella natural y constituida por mezclas de gases en distintas proporciones, principalmente oxígeno, nitrógeno, dióxido de carbono y óxido nitroso. La EAM ofrece ventajas con respecto a otros métodos de embalaje, ya que además de extender el período de conservación, mantiene la calidad organoléptica de las frutas y vegetales frescos, característica fundamental para atraer la atención de los consumidores. El impacto esperado de esta aplicación tecnológica permitirá: 1. La prolongación de la conservación, permitiendo explotar las economías de escala de producción, mejorar la gestión de las provisiones y costos de transporte, generar nuevas estrategias comerciales, extender la propia producción a otros mercados. 2. Los materiales de los embalajes son fabricados de acuerdo a las normas de inocuidad que mantienen la calidad del producto, resaltando la estética de la presentación. 3. El aspecto ambiental de este proceso, es menos contaminante, ya que se reducen o eliminan los aditivos y conservantes. 4. En el desarrollo de esta transición se generan relaciones sociales que permiten detectar carencias y recursos que pueden ser compartidos por los distintos actores, contribuyendo al desarrollo integral de los participantes.

Análisis experimental y caracterización de pavimentos porosos y su respuesta hidrológica

El extenso uso de pavimentos impermeables trae consigo, sobre todo en áreas de un importante desarrollo urbano, considerables problemas en la evacuación de las aguas lluvias. El uso indiscriminado de estas estructuras en áreas urbanas, disminuye notoriamente la capacidad de recarga natural de agua en los terrenos, e incrementa de forma considerable el volumen y el caudal del escurrimiento superficial, aumentando el riesgo de provocar inundaciones. Además, cuando el agua de las lluvias escurre, arrastra consigo materiales sólidos y contaminantes depositados en calles y estacionamientos. Una de las alternativas posibles para la remediación de esta problemática es el uso de pavimentos porosos. Lamentablemente, en nuestro país no se ha extendido la aplicación de estas tecnologías que conllevan importantes beneficios económicos y ambientales, entre los cuales pueden citarse la mejora en la calidad de los efluentes pluviales, la flora arbórea urbana más longeva y mejor desarrollada, la reducción del efecto de “isla térmica” en las grandes ciudades, la reducción notable de la contaminación acústica, el aumento de la seguridad vial, y reducción de costos, considerando integralmente el sistema vial y el sistema de drenaje pluvial. Los beneficios ambientales descriptos justifican plenamente su amplio uso en los países desarrollados. Como objetivo principal se plantea caracterizar experimentalmente el comportamiento hidrológico-ambiental de pavimentos porosos que puedan ser fabricados con materiales y tecnología local, e inferir los posibles beneficios que su uso pudiera acarrear en el medio ambiente. Como metodología se propone el estudio teórico-experimental, desde la tecnología de los materiales, en el diseño y conocimiento de las propiedades en estado fresco y endurecido y en la durabilidad de hormigones porosos elaborados con materiales locales. Para la caracterización hidrológica se fabricarán parcelas de pavimento poroso, las cuales serán ensayadas mediante el uso de un microsimulador de lluvia, midiendo la intensidad de lluvia generada y el escurrimiento superficial resultante. Estos experimentos podrán repetirse para distintas intensidades de lluvia generada, la cual puede graduarse en el rango de 65 a 120 mm/h. A partir de los datos recopilados, podrán ajustarse parámetros hidrológicos que permitan describir el comportamiento de estas superficies, en comparación con la situación natural y la actual (pavimentos impermeables). Se ajustarán modelos de infiltración que permitan extrapolar en forma hipotética la situación a escalas mayores, y cuantificar preliminarmente los beneficios hidrológico-ambientales que produciría este tipo de tratamiento superficial en el ambiente urbano. Como resultados de este proyecto se espera obtener: una verificación de las posibilidades de los materiales locales, brindando bases evolucionadas para su empleo en la construcción; una metodología para caracterizar en forma preliminar la capacidad de infiltración de muestras reducidas de pavimento poroso; un sensor electrónico para automatizar las mediciones del microsimulador de lluvia; una metodología para caracterizar experimentalmente la capacidad de infiltración de los pavimentos porosos propuestos, basada en el uso del simulador de lluvia disponible en el Laboratorio de Hidráulica; un conjunto de resultados experimentales que posibiliten analizar el comportamiento hidrológico-ambiental de estas superficies; un conjunto de parámetros que permitan cuantificar la respuesta hidrológica de estos pavimentos y una estimación preliminar de los hipotéticos beneficios asociados al uso de estas tecnologías. Se considera que el Proyecto puede servir como puntapié inicial para el análisis de viabilidad, a nivel local, del uso de tecnologías de pavimentación novedosas en el país, pero con varias décadas de experiencia a nivel internacional. Los beneficios medioambientales asociados a los pavimentos porosos, justifican plenamente su investigación a nivel local.

COMPORTAMIENTO DE SUELOS CONTAMINADOS: Interacción fluidos - partículas en los procesos de transporte.

La investigación en medios porosos pretende profundizar el estudio en sistemas de partículas tales como suelos y rocas, haciendo énfasis en los procesos físicos que gobiernan el comportamiento de la fase sólida y los fluidos intersticiales (agua, hidrocarburos, electrolitos, etc.). Las investigaciones planteadas para este proyecto se encuentran relacionadas con el comportamiento mecánico de los sistemas de partículas, la interacción fluido-partícula y su relevancia en los problemas de flujo de contaminantes, problemas de flujo no miscible, y remediación de suelos contaminados. En cada uno de los aspectos mencionados se busca tanto interpretar comportamientos emergentes a través de estudios realizados a diferentes escalas, como desarrollar soluciones creativas e innovadoras para los problemas en estudio. Se evaluará la interacción fluido-partícula en la remediación de suelos contaminados con hidrocarburos para determinar las propiedades del suelo que gobiernan el fenómeno de desplazamiento no miscible. Se realizarán procedimientos experimentales para la remediación de As y otros metales o metaloides en suelo y aguas subterráneas. Se analizará el comportamiento de suelos en los procesos de transporte de lixiviado, a través de barreras de bajas permeabilidad (liners) como así también en barreras reactivas permeables, incluyendo variables como la actividad bacteriana, mecanismos de adsorción y reacciones químicas. Esta investigación tiene un fuerte componente de experimentación en laboratorio. Las herramientas utilizadas consisten fundamentalmente en el desarrollo y diseño de experimentos, donde se monitorea la influencia de las variables que controlan el comportamiento macroscópico del sistema. También se plantean trabajos basados en análisis numéricos, modelos de comportamiento, modelos físicos micro-mecánicos, y análisis de imágenes de alta resolución. Los estudios realizados son relevantes para el campo de la ingeniería geotécnica, geotecnia ambiental, industria del petróleo, hidrogeología e ingeniería geológica.

Estados de cuasi-equilibrio dipolar en fluidos complejos estudiados por relajación y decoherencia en Resonancia Magnética Nuclear

La dinámica molecular colectiva de los cristales líquidos (CL) juega un papel preponderante en la respuesta de estos sistemas ante la aplicación de campos eléctricos y magnéticos externos, por lo que el estudio básico de la dinámica molecular, particularmente de los movimientos correlacionados, es indispensable para el diseño de aplicaciones tecnológicas basadas en CL. Por otra parte, se reconoce que la dinámica molecular colectiva distintiva de las fases ordenadas de fluidos complejos es además una propiedad que controla procesos clave en diversidad de materiales biológicos (funcionalidad y propiedades viscoelásticas de membranas, resistencia al almacenamiento de semillas y alimentos, temperatura de transición vítrea de compuestos de almidón, estabilidad de fases lamelares, etc.). Al presente, la relación entre estos conceptos reclama exhaustivos análisis y técnicas adecuadas para estudiar los movimientos microscópicos en distintas escalas temporales. En este Proyecto de investigación básica proponemos desarrollar y optimizar un conjunto de técnicas de RMN selectivamente aptas para el estudio de la dinámica lenta característica de las fases parcialmente ordenadas, por lo que tendrían aplicación directa en sistemas de interés biológico y tecnológico. Mediante diversas secuencias de pulsos en experimentos de RMN, es posible preparar estados cuánticos de “orden dipolar” en el sistema de espines nucleares, tanto en muestras en fase sólida como en CL. Tales estados de orden, están caracterizados por "cuasi-invariantes" que son observables de espin que relajan lentamente, intercambiando energía con la red que hace las veces de reservorio térmico. En síntesis, una vez creado el orden y establecido el estado de cuasi-equilibrio de cada cuasi-invariante, el sistema se comporta como un sistema termodinámico en contacto térmico con una red. De hecho, con todo rigor, se puede caracterizar el grado de orden por una "temperatura de espin". Además hay evidencia que los cuasi-invariantes dipolares reflejan sensible y selectivamente los movimientos moleculares correlacionados (a diferencia del cuasiinvariante Zeeman o magnetización nuclear). El aspecto distintivo de nuestra propuesta con respecto al estado actual del conocimiento, radica en la provisión de un nuevo parámetro de relajación de protones en cristales líquidos, para lo cual enfocamos las tareas hacia la caracterización de estos cuasiinvariantes, al diseño de técnicas de medición de sus tiempos de relajación y al desarrollo de la teoría que relaciona a éstos con la dinámica molecular. El esquema de trabajo se basa en reconocer que los eventos relevantes en los experimentos de creación-relajación de cuasi-invariantes dipolares ocurren en dos escalas de tiempo: la escala microscópica asociada con la decoherencia de los estados cuánticos y la escala macroscópica en la que se observa la relajación espín-reservorio. Proponemos como hipótesis general que los procesos que gobiernan la decoherencia, determinan también la relajación espin-red. Proponemos un enfoque innovador dentro del campo general de relajación de espin nuclear por RMN: considerar al sistema de espines nucleares como un sistema cuántico abierto multi-spin interactuando con un sistema (también cuántico) no observado. Para incorporar el detalle de la dinámica en escala microscópica en la descripción de la relajación es necesario el estudio experimental de los fenómenos que gobiernan la decoherencia y la relajación. Los resultados esperados en cada uno de esos grupos se interrelacionan, ya que la caracterización de los observables dipolares es un paso indispensable para explotar la potencialidad de la relajación del orden dipolar en presencia de movimientos moleculares correlacionados.

EVALUACIÓN FUNCIONAL DEL CEREBRO: EL VALOR PREDICTIVO DE LA HABITUACIÓN COMO INDICADOR TEMPRANO DE LA INTEGRIDAD DEL SNC EN RECIÉN NACIDOS DE ALTO RIESGO NEUROLÓGICO POR HIPOXIA PERINATAL

La hipoxia perinatal se considera hoy una de las causas de mayor morbimortalidad en el recién nacido estando altamente asociada con déficits de orden neuro-psico-sensorial. Un adecuado tratamiento y rehabilitación implica la detección temprana de los déficits apuntando a la prevención. La neonatología actual se está orientando hacia técnicas no invasivas que valoran la respuesta hacia estímulos de diferentes cualidades sensoriales y permiten indagar capacidades tempranas de aprendizaje y memoria. La precoz madurez del sistema olfativo facilita el trabajo con estas claves brindando asímismo un panorama de la integración cortical. Hipótesis: Las capacidades de habituación-deshabituación olfativa reflejan el estado del SNC neonatal y se convierten en un indicador temprano de la funcionalidad cerebral en niños con alto riesgo neurológico. Objetivos: Evaluar la integridad funcional del cerebro de recién nacidos con riesgo neurológico mediante técnicas no invasivas de habituación-deshabituación. Estas téncicas se tomarán como indicadores del estado del SNC neonatal comparando sus resultados con los arrojados por el test de Bayley durante el primer año de vida. Asímismo, se relacionarán los resultados con las valoraciones clínicas y de imágenes (ecografía y RMN) obtendias. El objetivo último implica determinar la sensibilidad, especificidad y valor predictivo del test de Habituación-Deshabituación para el daño cerebral . Materiales y Métodos: Se evaluarán pacientes con antecedentes perinatales de hipoxia pertenecientes al Servicio del Neonatología del HUMN y al Hospital Materno Neonatal (Pcia de Córdoba) caracterizados por apgar < 3 a los 5 minutos ó < 5 a los 5 minutos, Ph de cordón < 7 ó entre 7 y 7,10 ó >7,10 con alguno de los criterios anteriores presentes y niños con manifestaciones sistémicas de asfixia o déficit de base en gas arterial superior a -15 Meq/L. De manera posterior a la firma del consentimiento informado se aplicará un esquema olfativo de habituación-deshabituación antes y después de las 6 horas de vida consistente en 10 presentaciones consecutivas de olor a limón o vainilla seguidos de 5 presentaciones consecutivas de olor a vainilla o limón que actúan como estímulos deshabituatorios. Se filmará la conducta motriz que será considerada como variable dependiente. Asímismo se evaluarán parámetros fisiológicos como presión areterial, saturación de oxígeno, frecuencia cardíaca y ritmo respiratorio. La evaluación de la habituación se complementará con estudios clínicos y ecografía cerebral antes de las 48 hs y 1 vez por semana. Todos estos bebés serán seguidos por el equipo de Seguimiento del Recién Nacido de Alto Riesgo. A los 6 meses y al año de vida se evaluará el desarrollo integral con el Test de Bayley . Resultados Esperados: Se espera encontrar diferencias en los patrones habituacionales en función del estado cerebral del bebé. Aquellos bebés con riesgo leve tenderán a mostrar patrones habituatorios que se acercan a los normales mientras que los que presenten riesgo moderado o grave exhibiran patrones habituacionales defectuosos. Estos resultados se correlacionarán con los estudios de seguimiento realizados y con los indices de desarrollo mental y motor arrojados por el test de Bayley durante el año de vida. Importancia del Proyecto: Definir precozmente al niño con riesgo neurológico permite intervenir a tiempo con la estimulación y rehabilitación adecuada. Teniendo en cuenta la valoración del examen clínico, los antecedentes perinatales y los estudios de imágenes que se realizan en el bebé junto a los resultados obtenidos en las pruebas habituacionales, el proyecto brinda la posibilidad de la construcción de un score de riesgo neurológico sencillo y de fácil utilización.

ESTUDIOS E INVESTIGACIONES APLICADAS A LA GESTIÓN INTEGRAL DE LOS RESIDUOS SOLIDOS URBANOS EN PEQUEÑAS POBLACIONES DE LA REGIÓN CENTRAL DE LA PROVINCIA DE CÓRDOBA.

El presente proyecto se propone investigar de modo integral el problema de los residuos sólidos en varios municipios de la zona centro de la Provincia de Córdoba, elaborar y colaborar con la ejecución de soluciones concurrentes al manejo, atenuación o resolución del problema. La filosofía tecnológica que se asume frente al problema de los residuos sólidos urbanos (RSU) es la de investigar formas y procesos tendientes a aplicar en sitios concretos políticas propuestas a nivel nacional (Estrategia Nacional para la Gestión Integral de Resíduos Sólidos Urbanos, ENGIRSU), consistentes en promover la separación de los resíduos en su lugar de origen, en diferentes categorías que permitan su manejo; su clasificación en aquellas que permitan su reciclado o utilización; y la disposición final del resto mediante técnicas ambientalmente adecuadas. Este tipo de procesos está bastante estudiado en el caso de ciudades grandes (n>200.000 habitantes), pero sus propuestas no son facilmente adaptables a pequeñas poblaciones, principalmente por una cuestión de escalas. Sin embargo, éstas últimas pueden tener a su favor una respuesta social más fácil de construir, sobre todo a partir de la comprensión del problema que representan los RSU y el costo que involucra su gestión, teniendo además como fortaleza adicional la disponibilidad de terrenos libres en sus cercanias. El desarrollo del proyecto incluye tareas de relevamiento y estudio de las situaciones existentes en las diferentes poblaciones y el establecimiento de una linea de base para cada una de ellas. Como aplicaciones surgidas de lo anterior, se llevarán a cabo actividades de tipo socio cultural para promover la conciencia de la separación de los resíduos en los hogares; el diseño y desarrollo de manuales e instructivos para facilitar la tarea; la capacitación de jóvenes estudiantes secundarios en las diferentes localidades, para sumarlos como gestores culturales en el tema; el diseño de sistemas asociativos para las tareas de clasificación y reciclaje; la asistencia técnica para integrar sistemas de manejo y/o comercialización conducentes a la sustentabilidad del proceso (al menor costo posible para los municipios); el diseño y desarrollo de tecnologías simples para las operaciones que requiera el manejo de cada categoría; el estudio -en cada caso- del mejor proceso de disposición final de los residuos remanentes; el estudio de la posible presencia de contaminantes o tóxicos; la elaboración de documentos que posibiliten extender los resultados alcanzados a otras localidades. Se trata de un proyecto de investigación aplicada a la búsqueda de soluciones adaptadas para cada uno de los municipios seleccionados. Entre ellos podemos encontrar algunos que ya han iniciado con relativo éxito la etapa de separación en origen y requieren apoyo tecnológico y organizacional para las etapas siguientes y otros que aún no tienen nada iniciado. Hay municipios de diferente tamaño y naturaleza, unos con presencia industrial, otros principalmente agropecuarios. El proyecto se propone dos grandes objetivos generales: por un lado, operar sobre la conciencia social para sumar voluntades y conductas tendientes a simplificar el problema; reducir la generación de resíduos, clasificarlos y separarlos en origen según diferentes categorías y facilitar la gestión de recolección. Por otro lado se plantean desarrollos tecnológicos (ingenieriles) conducentes a simplificar y disminuir los costos de las operaciones de clasificación, recuperación o reciclado, o resolviendo aspectos que faciliten su transporte a los centros de recepción de cada categoría. Paralelamente se estudiarán temas particulares como son el manejo de residuos peligrosos y/o tóxicos; los residuos electrónicos; las sustancias químicas; los agroquímicos (abundantes en la región), etc.

Estrategias reproductivas de lagartos del género tupinambis en distintos contextos ecológicos de la Provincia de Córdoba. Reproductive strategies of lizards of genus tupinambis in different ecological contexts of the Cordoba province.

Los caracteres de historia de vida son sensibles a la variación histórica o actual de los factores ambientales. Estudiar dicha variabilidad mediante la realización de estudios comparativos permite obtener evidencias sobre las causas de la evolución de ciertos caracteres. Los lagartos son excelentes modelos para el estudio de selección sexual y evolución del comportamiento social y reproductivo debido a que su relativa baja dispersión podría tener consecuencias evolutivas profundas en el desarrollo de distintas estrategias, ya que las poblaciones, al encontrarse más aisladas, podrían verse influenciadas por las fuerzas selectivas locales, mostrando una alta heterogeneidad espacial y temporal. Por eso nos propusimos realizar este trabajo para evaluar si existen diferentes estrategias reproductivas en los lagartos del género Tupinambis en distintos contextos ecológicos de la provincia de Córdoba. Para ello analizaremos distintas características de la historia de vida en poblaciones de estas especies tales como estructura de tamaño, sexo operativo, frecuencia reproductiva, tamaño de camada, condición corporal reproductiva, tamaño de madurez sexual, características espermáticas, elección de sitios de nidificación, etc. Además analizaremos la estructura genética de las poblaciones para inferir procesos demográficos históricos y patrones actuales de flujo génico y conectividad. The life history traits are sensitive to historical or current variation of environmental factors. Studying this variability by performing comparative studies allows obtaining evidence on the causes of the evolution of certain characters. Lizards are excellent models for studying sexual selection and evolution of social and reproductive behavior because their relatively low dispersal capabilities could have profound evolutionary consequences in the development of different strategies, since isolated populations may be stronger influenced by local selective forces, showing a high spatial and temporal heterogeneity. We decided to perform this study to assess whether there are different reproductive strategies in lizards of the genus Tupinambis in different ecological contexts of the Cordoba province. We will analyze different life history traits in populations of these species such as size structure, operational sex ratio, reproductive frequency, litter size, body condition, size at sexual maturity, sperm characteristics, choice of nesting sites, etc.. We also analyzed the genetic structure of populations to infer historical demographic processes and current patterns of gene flow and connectivity.

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.

Meta-requisitos, instituciones y prácticas de la democracia local.

n el desarrollo contemporáneo de propuestas normativas de democracia es posible identificar una recuperación de la dimensión territorial de los procesos sociopolíticos, un redescubrimiento de lo local dado por el interés de explicar y proponer soluciones a los nuevos desafíos que la inequidad, las crisis del régimen de acumulación y las crisis en los modos de coordinación social presentan a las sociedades contemporáneas. En este contexto lo local no sólo adquiere un nuevo protagonismo en relación a las preocupaciones concernientes al desarrollo sostenible, sino también como ámbito que por cuestiones de “proximidad” constituye el espacio “natural” para la realización de la democracia. La relación estado y sociedad, las posibilidades de hacer efectiva la participación y de generar condiciones que hacen factible el control del poder político por parte de los ciudadanos parecieran encontrar en lo local mejores condiciones de realización. Sin embargo y a pesar de los avances descriptos, son escasos los intentos por profundizar la especificidad de la democracia local que aborden y articulen reflexiones teórico-conceptuales que permitan identificar principios normativos básicos contrastables empíricamente con las instituciones y prácticas locales concretas. Las bondades de la democracia local son por lo general dadas por sentadas, sin problematizar sus particularidades, su relación con una teoría general de la democracia, su relación con el territorio a diferentes escalas y sus manifestaciones en instituciones y prácticas de los actores sociales. Desde el proyecto se sostiene que a partir de la reconstrucción y problematización de los orígenes filosóficos conceptuales que sustentan la Teoría de la Democracia Local es posible identificar un marco teórico normativo que le es específico y que posibilita el reconocimiento de los meta-requisitos necesarios tanto para su realización como para su contribución al fortalecimiento del régimen democrático en general. El establecimiento de estos requisitos permitirá construir matrices analíticas para el estudio empírico de los diseños y prácticas institucionales, como así también los procesos de constitución, reproducción y contestación de tales arreglos y prácticas por parte de los actores sociales. El proyecto se propone diseñar matrices analíticas que permitan articular distintos niveles y dimensiones de análisis de la Democracia Local que sean aplicables al estudio de casos de ciudades de porte medio de América Latina.