Estudios multidisciplinarios integrados de leguminosas de importancia agronómica y potencial de cultivo

Las leguminosas constituyen una de las principales fuentes de alimento humano (soja, poroto, maní) y animal (alfalfa, tréboles), además proporcionan productos para diversas industrias (aceitera). El proyecto comprende una investigación integrada sobre estudios morfológicos, estéticos funcionales, anatómicos, microbiológicos, fitoquímicos y de evaluación agronómica de Leguminosas silvestres y cultivadas. Para su mejor desarrollo fue dividido en módulos que interactúan entre sí y comprenden: - Recolección, conservación y evaluación de materiales de herbario, germoplasma y nódulos fijadores de nitrógeno. - Evaluación de características anatómicas, morfológicas y estético funcionales. - Evaluaciones fitoquímicas. - Ensayos de evaluación agronómica de especies silvestres y variedades mejoradas de cultivos. El Objetivo General del proyecto comprende: * Evaluar las cualidades morfológicas, simbióticas, melíferas, poleníferas, fitoquímicas, ornamentales y/o estéticos funcionales, de leguminosas nativas (Lupinos) para establecer el potencial de cultivo y proporcionar información al medio agrícola productivo, docente y de investigación. La importancia de esta investigación radica en el estudio de especies nativas que no crecen en otras regiones del mundo y representan nuestro patrimonio nacional de germoplasma ya que muchas especies tienen potencial de cultivo. Al mismo tiempo permite comprender la interrelación entre las especies silvestres y cultivadas. La experimentación agrícola en parcelas experimentales permitirá establecer el potencial de cultivos no tradicionales o innovadores para la provincia de Córdoba.

Métodos de mecánica estadística en materia condensada

El proyecto de investigación propuesto tiene como principal objetivo profundizar en el estudio de la Mecánica Estadística y su aplicación a la resolución de problemas en esta área. Los temas de interés son los siguientes: 1. Estudio de la influencia del desorden en las propiedades dinámicas y termodinámicas de sistemas clásicos y cuánticos. 2. Reacciones controladas por difusión; influencia de campos externos aplicados. 3. Estudio de la influencia de la autocorrelación temporal finita sobre un sistema excitado por un ruido (ruido coloreado). 4. Resonancia Estocástica analizada a través de la función de Estructura Dinámica. 5. Estudio de procesos de quimiorrecepción de sistemas biológicos. 6. Cálculo del operador de evolución temporal para sistemas con Hamiltonianos dependientes del tiempo (Fase de Berry). 7. Influencia del desorden en la estadística del tiempo del primer pasaje en sistemas finitos. 8. Estudio del modelo de "Tight Binding" con desorden estático. Objetivos específicos * Se continuará con el estudio de la evolución temporal para sistemas Hamiltonianos dependientes del tiempo (Fase de Berry). * Se estudiará de las propiedades termodinámicas de sistemas Hamiltonianos clásicos y cuánticos con desorden estático. * Se estudiará la probabilidad de supervivencia y los momentos de desplazamientos para partículas que difunden en un sistema unidimensional con trampas estáticas. En particular se tratará el caso de campo fuerte, extendiendo los resultados ya obtenidos en el caso de campo débil; se analizará la conexión con la estadística del tiempo del primer pasaje. * Se continuará con el estudio analítico de los exponentes críticos para Modelos de la Mayoría. (...) * Se realizará un estudio detallado de las propiedades de la función de estructura dinámica asociada con el movimiento uni-dimensional de partículas sometidas a potenciales anarmónicos con múltiples pozos y fricción débil. Se estudiará el fenómeno de resonancia estocástica a través de la función de estructura dinámica. * Se estudiará la estadística del tiempo del primer pasaje en sistemas finitos homogéneos y desordenados con diversas condiciones de entorno.

Estudio de efectos moleculares en polímeros, copolímeros y oligómeros

El tema de investigación en desarrollo se enmarca en la Física del Estado Sólido, estudiando las propiedades estáticas y dinámicas en sólidos moleculares empleando las técnicas de Resonancia Magnética Nuclear (RMN), la Resonancia Cuadrupolar Nuclear (RMN) y del Calor Específico. El plan de trabajo contempla la formulación de los formalismos teóricos, pertinentes al tema de investigación, a los efectos de dar una explicación de los fenómenos físicos observados. La familia de polímeros estudiados la constituyen los polioligómeros; éstos están formados por cadenas de polímeros entrecruzadas por otros polímeros. Estos compuestos presentan una estructura "tipo caucho". Entre los fenómenos físicos de interés se encuentran los de tipo estático y los dinámicos. De los fenómenos estáticos nos interesa, en particular, dar una respuesta sobre los distintos polimorfismos y los distintos mecanismos de estructuración de agua. Del conjunto de fenómenos dinámicos nos interesan los movimientos de grupos moleculares, la propagación de movimientos reptantes de baja frecuencia, los puente hidrógeno, las transiciones de fase, etcétera. Los compuestos bajo estudio son los polioligómeros de sacarosa entrecruzada con 1-4bunedioldiglycidilether y puede estructurar agua como hidrogel hasta 30 veces su volumen. La primera etapa de este proyecto consistió en la caracterización del compuesto mediante RMN de 13C. Esto permite la identificación de los distintos grupos moleculares que lo componen y por lo tanto, determinar una relación cuantitativa de polímero y entrecruzante. A los efectos de estudiar los mecanismos de estructuración de agua, se realizará una hidratación progresiva del compuesto con agua pesada (2H2O) midiendo la RMN de deuterio (2H). Esto permite separar la señal proveniente de las moléculas de agua de los hidrógenos (1H) de las cadenas de polímeros. Los parámetros de la RMN a medir son forma de línea de resonancia del 2H, tiempo de relajación espín-espín (T2) y distintos experimentos con desacople 1H-2H, todos en función de la temperatura. Los efectos dinámicos se estudiarán principalmente mediante el comportamiento en función de la temperatura, de los tiempos de relajación. A saber, tiempo de relajación espín-red (T1) y tiempo de relajación en el sistema rotante (T1r). De estos estudios se podrá determinar el tipo de estructuración y grado de movilidad. También se prevé construir un nuevo cabezal de RMN para medir difución del agua.

Hormigones preparados con distintos agregados reciclados: Estudio experimental y modelación computacional para los estados fresco y endurecido

El planteo general de este Proyecto de Investigación Trianual incluye el estudio sistemático y actualizado de los procedimientos técnicos y de los métodos experimentales adecuados para la garantía de calidad de los Agregados Reciclados obtenidos de hormigones demolidos, a utilizar en estructuras de cualquier tipo, en general y en pavimentos de autopistas, aeropuertos, carreteras y calles, en particular; por medio de la aplicación de las Especificaciones respectivas a redactar y proponer para su inclusión en las Normas IRAM y en los Reglamentos CIRSOC. (...) El Plan de Trabajo Trianual que se detalla en las páginas siguientes que forman parte de esta Solicitud de Subsidio incluye sintéticamente los siguientes temas: 1995: Caracterización de Hormigones Frescos con Agregados Reciclados. Estudio de la consistencia; Reología del hormigón fresco; Estudio de la trabajabilidad; Análisis de tipo: estático y dinámico; Estudio de la segregación; Estudio de la exudación; Influencia de los aditivos; Redacción de normas y especificaciones. 1996: Caracterización de Hormigones Endurecidos con Agregados Reciclados. Estudio de la microfisuración; Rotura y nivel de solicitación de los hormigones endurecidos; Adherencia entre los agregados reciclados y el mortero de cemento; Determinación experimental de las fisuras por el método ultrasónico y otros; Teoría del daño aplicada a hormigones con agregados reciclados; Análisis de los estados de fisuramiento en compresión y en flexión; Redacción de normas y especificaciones. 1997: Mecánica de la Fractura en Hormigones con Agregados Reciclados. Análisis de los parámetros de fractura en los hormigones; Estudio de la mecánica de la fractura y de la microfisuración; modelación de las fracturas en los hormigones por el método de elementos finitos; Análisis experimental para caracterizar la propagación de fisuras; Fisuramientos por efectos térmicos; Análisis de la fractura en la unión de hormigón nuevo con viejo; Redacción de normas y especificaciones.

Diseño experimental y computacional de estructuras laminares

Las estructuras laminares se caracterizan por su escaso espesor en relación a las otras dimensiones. Esto las hace muy eficientes por su reducido consumo de material cuando se trata de cubiertas de grandes dimensiones. Para poder construir con pequeños espesores en relación a la luz libre es necesario evitar los esfuerzos de flexión. Esto se logra con adecuadas relaciones entre las cargas, la posición y tipo de apoyos y la configuración geométrica de la cáscara. Desde el siglo pasado el cálculo funicular da solución para el problema de barras en el plano y Gaudí, a comienzos del siglo XX, logró importantes avances con modelos funiculares de hilos y pesas. (...) (...) Simultáneamente con el aspecto experimental que sirve para la generación formal, se ha ido realizando la verificación estática y resistente de los modelos propuestos para acciones gravitatorias simples. Para esto se esta utilizando el programa de elementos finitos para cálculo estructural denominado STRAP. (...) El otro aspecto fundamental para la posible aplicación práctica en la arquitectura de esta tipología estructural es el desarrollo de sistemas tecnológicos apropiados que resulten aceptables económicamente. El plan de trabajo apunta a desarrollar cuatro temas: Tema 1. Antecedentes históricos en la evolución de estructuras funiculares y antifuniculares y de la influencia de los métodos de diseño, análisis y construcción de los resultados arquitectónicos. Aplicación del nuevo método a la resolución de problemas idénticos a edificios reales, para encontrar nuevas posibilidades y comparar resultados. Tema 2. Diseño y análisis morfológico de las cáscaras por medios experimentales y computacionales. Tema 3. Análisis numérico del comportamiento estructural por aplicación de software especializado, como control del adecuado comportamiento estático. Tema 4. Desarrollo tecnológico de sistemas constructivos apropiados y evaluación económica.

Cambios en la productividad de la agricultura mundial y perspectivas para el desarrollo de las naciones

La investigación se inscribe en el marco del Proyecto de Cooperación Internacional que viene desarrollando, desde hace varios años, la Oficina de Estadísticas de las Naciones Unidas y el Banco Mundial. El objetivo de este proyecto es analizar los patrones de crecimiento de productividad de la agricultura en las distintas áreas del mundo, sus factores determinantes y su correlación con los niveles de bienestar de los distintos países. La metodología a utilizar consiste en el análisis estático comparativo de las productividades para cinco momentos del tiempo (1970-1975-1980 y 1990) y su correlación con una serie de indicadores económicos sociales de los distintos países y áreas del mundo. Los tests estadísticos del tipo de tablas de contingencia y otros más modernos contribuirán a comprobar las hipótesis propuestas. Los elementos estructurales que acompañarán el análisis de la productividad, en un contexto dinámico, se refieren al cambio tecnológico, las políticas de precios e ingresos, las estrategias de desarrollo y el papel de las instituciones del mercado como condicionantes de los resultados en el plano distributivo. En el caso de Argentina, se espera conocer las perspectivas de desarrollo agrícola en la próxima década, las posibilidades de acrecentar el excedente del sector y su impacto sobre el progreso económico. En ese contexto se enfatizará el papel del cambio tecnológico factible de ser incorporado al sector agropecuario en los próximos años y su impacto sobre la productividad y rentabilidad de las explotaciones.

Los entrecruzamientos de los discursos sociales en la conformación del género narrativo en la literatura argentina

El planteo de un análisis global de la literatura Argentina durante el período 1880-1930, que parte de una perspectiva centrada en el fenómeno de los diversos discursos sociales que componen el género narrativo, ha sido trabajado parcialmente sin una continuidad sistematizada en la crítica literaria. El problema general que abordaremos se fundamenta en una intención de repensar los textos literarios desde una focalización que tenga en cuenta su conformación geocultural dentro del marco de las literaturas regionales del cono sur latinoamericano. Consideramos, por su lado, los presupuestos culturales que participan, no sólo en las estrategias discursivas, sino también en la construcción de las categorías de análisis; y por el otro lado, los registros de voces que configuran y modelizan una diversidad discursiva de los espacios geoculturales. A partir de lo expuesto, el trabajo se organizará sobre los siguientes ejes temáticos centrales. 1) El ensayo como reconocimiento de un sujeto cultural, constituido dentro de proyectos políticos y estéticos. 2) El inicio de un tipo de periodismo acorde a los requerimientos de la ampliación estratificación de los nuevos públicos lectores. Objetivos generales: * Indagar analíticamente los entrecruzamientos de los discursos sociales en los textos literarios, en relación a la construcción de un código estético vinculado a las formas subyacentes de la geoculturas regionales argentinas y latinoamericanas, para proveer una perspectiva original a la crítica especializada por medio de nuestra representativa de este universo estético. * Interpretar las vinculaciones directas e indirectas de la práctica narrativa con la práctica cultural y política en los textos literarios publicadas durante el período 1880-1930, a través de las diferentes propuestas estéticas y discursivas.

Lo privado también es histórico: La ficcionalización de la historia en la narrativa de mujeres hispanoamericanas

En sus narrativas de base histórica, ciertas escritoras aprehenden los eventos colectivos del ámbito público a través de lo que éstos implican en el ámbito privado de la vida de una persona o familia. El patrón con el que estructuran su versión de la Historia es el de las memorias, las cuales representan al sujeto histórico en un discurso eminentemente dialógico, inserto en relaciones interpersonales desde las cuales se construye la vida cotidiana de la sociedad y la noción de identidad personal. De este modo las narrativas des-centran el discurso histórico institucionalizado, proponiendo otros sujetos y otras acciones como agentes y praxis de la Historia. Esta objetivación discursiva podría tener origen en un habitus común, en el cuan un generolecto determinado, al cual las memorias pertenecerían como estrategia discursiva propia, cumpliera un rol fundamental. En esta etapa de la investigación se hará análisis textual usando el instrumental metodológico de la narratología. Los datos así obtenidos serán interpretados desde el marco de teorías sociológicas, antropológicas y feministas sobre las prácticas de la vida cotidiana, especialmente aquellas que intervienen en la construcción del sujeto socializado. (...) El objetivo específico tiene dos etapas diferenciables y sucesivas: En primer lugar, describir el modo en que las memorias permiten ficcionalizar los llamados "hechos históricos" desde la esfera de las relaciones interpersonales. En segundo lugar, construir una explicación plausible sobre la intención estético-ideológica que fundamenta el proyecto descentralizador de la narración histórica y la selección de las memorias como estructura narrativa. En realidad, esta segunda etapa consistiría en comenzar a trazar el mapa del habitus desde el cual escriben estas mujeres, a partir de lo cual podría intentarse responder el interrogante principal: si el género de quien escribe condiciona la selección de estrategias narrativas. Para ello, habría que ver si todas o la mayoría de las escritoras comparten el mismo habitus y si un generolecto forma parte activa de él.

Métodos para el análisis de programas probabilistas y no-deterministas utilizando probadores de teoremas. Methods for the analysis of probabilistic and nondeterministic programs using theorem provers.

La verificación y el análisis de programas con características probabilistas es una tarea necesaria del quehacer científico y tecnológico actual. El éxito y su posterior masificación de las implementaciones de protocolos de comunicación a nivel hardware y soluciones probabilistas a problemas distribuidos hacen más que interesante el uso de agentes estocásticos como elementos de programación. En muchos de estos casos el uso de agentes aleatorios produce soluciones mejores y más eficientes; en otros proveen soluciones donde es imposible encontrarlas por métodos tradicionales. Estos algoritmos se encuentran generalmente embebidos en múltiples mecanismos de hardware, por lo que un error en los mismos puede llegar a producir una multiplicación no deseada de sus efectos nocivos.Actualmente el mayor esfuerzo en el análisis de programas probabilísticos se lleva a cabo en el estudio y desarrollo de herramientas denominadas chequeadores de modelos probabilísticos. Las mismas, dado un modelo finito del sistema estocástico, obtienen de forma automática varias medidas de performance del mismo. Aunque esto puede ser bastante útil a la hora de verificar programas, para sistemas de uso general se hace necesario poder chequear especificaciones más completas que hacen a la corrección del algoritmo. Incluso sería interesante poder obtener automáticamente las propiedades del sistema, en forma de invariantes y contraejemplos.En este proyecto se pretende abordar el problema de análisis estático de programas probabilísticos mediante el uso de herramientas deductivas como probadores de teoremas y SMT solvers. Las mismas han mostrado su madurez y eficacia en atacar problemas de la programación tradicional. Con el fin de no perder automaticidad en los métodos, trabajaremos dentro del marco de "Interpretación Abstracta" el cual nos brinda un delineamiento para nuestro desarrollo teórico. Al mismo tiempo pondremos en práctica estos fundamentos mediante implementaciones concretas que utilicen aquellas herramientas.

Accesibilidad a los áreas verdes públicas de la ciudad de Córdoba, Argentina (programa: indicadores ciudadanos y participación para una ciudad justa, democrática y sustentable).

Las Áreas Verdes Públicas Urbanas(AVPU) las definimos como Espacios Abiertos Públicos accesibles a todos los ciudadanos que completan una serie de objetivos de calidad de vida, cumpliendo las siguientes funciones: recreación, rol estructurador de la forma urbana, rol estético, contemplación, planificación de vistas, uso social y cultural, uso educacional, y función ecológica, incluyendo en este último punto también la regulación de variables ambientales (León Balza, 1998). Si bien son un elemento integrante y regulador del sistema urbano, pueden comprenderse en sí mismas como un sistema complejo cuya función y dinámica depende principalmente de tres factores : 1) su propia espacialidad (dimensiones, formas y cualidades, originadas por las ideas de la época en que fueron creadas); 2)los usuarios (con un determinado perfil y capacidades) y 3)el medio urbano en el que se encuentran (rol del sector, distribución en el espacio, accesibilidad, etc). El Índice de Áreas Verdes calculado para Córdoba - 8.9 m2/hab en 2011 - si bien da una visión general del estado y evolución de las mismas, al no estar corregido según categorías, influencia y densidades de población, no alcanza para caracterizar los tres factores antes nombrados (Red Ciudadana Nuestra Córdoba, 2011). En ese sentido, se advierte sobre la “escasa oferta de espacios verdes apropiados para el uso público” en las zonas de pobreza segregada (Tecco & Fernández, 2008). El cálculo de un mapa de accesibilidad, a partir de una clasificación detallada de los Espacios Verdes que descarte aquellos que no cumplen con las funciones básicas definidas, permitirá conocer las distancias de los distintos grupos de usuarios (según densidades, edad, y NBI) a los distintos tipos de AVPU, haciendo evidentes las áreas críticas. La integración de dichas variables en un Índice de Áreas Verdes corregido ayudará a formar una idea más ajustada de la calidad de los espacios urbanos. Se pretende de este modo crear una herramienta para orientar políticas públicas tanto de creación como de manejo de las AVPU.

Integración de la industria del gas natural en el Mercosur. Un modelo de redes

El objetivo de este trabajo es identificar la política óptima (considerando producción, transporte y regulación) para la integración de la industria de gas natural en el Mercosur. Se analizarán factores que promueven o limitan la integración en la región. Utilizando un modelo matemático de flujo de redes, se minimizará el costo total (producción y transporte) para la región en su conjunto, satisfaciendo las restricciones de producción, capacidad de transporte y equilibrio (oferta igual a demanda) en cada nodo. El costo total (CT) de la producción y transporte de gas natural (considerando nodos para cada país en la región) es la función objetivo. El proceso de optimización consiste en identificar el nivel de gas natural producido y transportado que minimiza el costo total del sistema para la región. El modelo es estático, no considerando una optimización dinámica con relación a las reservas remanentes. Restricciones Consideramos cuatro restricciones en operación, a saber: 1. Equilibrio en los nodos: esta ecuación establece el equilibrio entre la oferta y la demanda de gas natural en cada nodo. La oferta incluye la producción local y las importaciones. Por su parte, la demanda incluye el consumo doméstico más las exportaciones. 2. Capacidad de producción en cada cuenca: esta restricción establece que las cantidades producidas en cada cuenca debería ser menor o igual a su capacidad de producción. Ello también permite la existencia de una utilización no plena de la capacidad. La capacidad máxima de producción en cada cuenca está determinada sobre la base de una medida de política para cada país a través de la cual el horizonte de consumo de las reservas probadas está establecido. Dada esta relación, el límite sobre la producción de cada año está fijado. En otras palabras, el nivel de producción no está basado ni en la capacidad instalada de producción ni en los precios, sino en la política de agotamiento decidida sobre las reservas probadas en el año de calibración del modelo. Esto permite diferentes escenarios para el análisis. Para las simulaciones se tomó el ratio de reservas a producción en el año de calibración del modelo. 3. Capacidad de transporte: el gas transportado a través de un gasoducto (los operativos y aquellos que están en plan de construcción), en general, y el gas transportado desde cada cuenca a cada mercado, en particular, debería ser menor o igual a la capacidad del gasoducto. 4. Nivel no negativo de gas natural producido: esto evita la existencia de soluciones inconsistentes no sólo desde un punto de vista económico sino también técnico. Referencias Banco Interamericano de Desarrollo BID (2001). Integración Energética en el Mercosur Ampliado, Washington DC. Beato, Paulina and Juan Benavides (2004). Gas Market Integration in the Southern Cone. Inter-American Development Bank. Washington, D.C. Conrad, Jon M. (1999). Resource Economics. Cambridge University Press. United States of America. Dasgupta, P.S. and G. M. Heal (1979). Economic Theory and Exhaustible Resources. Cambridge University Press. United States of America. Dos Santos, Edmilson M, Victorio E. Oxilia Dávalos, and Murilo T. Werneck Fagá (2006). “Natural Gas Integration in Latin America: Forward or Backwards?”. Revue de l’Energie, Nº 571, mai-juin. Fagundes de Almeida, E.L. y Trebat, N. (2004). “Drivers and barriers to cross-border gas trade in the southern cone”. Oil, Gas & Energy Law Intelligence, Vol. 2, Nº 3, Julio. Givogri, Pablo (2007). “Condiciones de abastecimiento y precios de la industria del gas de Argentina en los próximos años”. Fundación Mediterránea. Julio. Córdoba, Argentina. Kozulj, Roberto (2004). “La industria del gas natural en América del Sur: situación y posibilidades de la integración de los mercados”. Serie Recursos Naturales e Infraestructura. Nº 77. CEPAL. Santiago de Chile, Chile. Diciembre.

Arte Rupestre de la Sierra de Comechingones - Provincia de Córdoba - Argentina

El arte rupestre de la Provincia de Córdoba conforma un conjunto de especial interés arqueológico y estético pero no totalmente conocido en terreno. Este Proyecto intenta profundizar los hallazgos en la sierra de Comechingones, con la finalidad de establecer sus correlaciones con los ambientes litológicos de estas montañas, entre las latitudes comprendidas entre Alpa Corral y Chaján bajo la hipótesis de que la misma es significativa especialmente en lo que concierne a las distribuciones de pinturas y petroglifos. De acuerdo con esta hipótesis los objetivos de investigación se refieren a obtener registros nuevos organizando la prospección de acuerdo con la extensión de los Distritos Geológicos Cerro Áspero e Intihuasi, establecer sus características estilísticas y efectuar estudios de sitio detallados de acuerdo con protocolos de investigación ya sometidos a prueba por el equipo de investigadores, los cuales abarcan las propiedades litológicas, los signos, sus combinaciones y ubicación en la arquitectura de cada sitio rupestre. Se procurará alcanzar un corpus de sitios y de arte amplio y representativo del arte rupestre de la Provincia. Los esfuerzos de síntesis realizados hasta ahora no han contemplado el arte del sur de Córdoba más que en los casos conocidos desde fines del siglo XIX, por lo tanto, es particularmente importante abordar su localización y estudio con premura antes que se destruyan y, asimismo, prever las medidas precautorias como para que esto no suceda.

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.