Desarrollo de la creatividad en contextos formales y no formales de aprendizaje.

El trabajo propuesto apunta a profundizar en el conocimiento de la dinámica que se establece entre ciertas características de los contextos de aprendizaje y el desempeño creativo. Los fundamentos teóricos del estudio se encuentran en los desarrollos de la Psicología Educacional, especialmente en las investigaciones ligadas al enfoque socio-constructivista, que atienden al carácter situado de los aprendizajes así como a la interacción de diferentes variables complejas en la definición del comportamiento. Por sus fundamentos metodológicos el proyecto se inscribe en la perspectiva de los estudios de diseño o investigación basada en diseños. Los objetivos generales son: (1) Avanzar en el conocimiento de las características de los contextos de aprendizaje que estimulan la creatividad; (2) mejorar la calidad de los procedimientos e instrumentos de medición de la creatividad; (3) comparar rasgos de contextos formales y no formales de aprendizaje desde la perspectiva de la creatividad (4) relevar, analizar y proponer soluciones a algunos problemas ligados a los estudios de diseño en el campo de la investigación educativa. El supuesto de partida es que una intervención instructiva diseñada para atender a ciertos rasgos característicos de los contextos creativos puede incidir favorablemente sobre la creatividad en los aprendizajes. Por su naturaleza, la investigación basada en diseños atiende al logro de metas pedagógicas y metas teóricas. Nuestra meta pedagógica es favorecer procesos y desempeños creativos en el marco de los contextos formales y no formales seleccionados para el estudio y con la meta teórica de avanzar en el conocimiento de la influencia que ejercen diferentes rasgos del contexto sobre tales desempeños. En líneas generales el plan de trabajo contempla 5 actividades principales: (1) descripción y análisis del contexto de aprendizaje que se genera (a) en cursos de educación en carreras universitarias de grado (entendidos como contextos formales); (b) museos y talleres comunitarios (entendidos como contextos no formales); (2) diseño e implementación de una intervención instructiva tendiente a conformar un contexto creativo, en cursos universitarios de grado, en museos y en talleres comunitarios; (3) diseño, uso y evaluación de instrumentos y procedimientos para valorar la creatividad; (4) Análisis de la influencia del contexto en el desempeño creativo; (5) Análisis de problemas ligados a la integración de resultados en el marco de la investigación de diseño. Asimismo y complementariamente a la realización de estas actividades se llevarán a cabo acciones tendientes a (6) formación de recursos humanos en el área de la investigación educativa y (7) implementar acciones de transferencia tendientes a mejorar la investigación y la enseñanza de la creatividad. Los principales resultados que esperamos obtener son: (1) completar la formación doctoral y postdoctoral de las becarias que participan de este proyecto; (2) producir documentos tendientes a difundir el conocimiento que se genere en el marco de congresos, jornadas y publicaciones científicas; (3) formación profesional de docentes y estudiantes involucrados en las cátedras donde se implementen los diseños instructivos; (4) transferencia de conocimientos, especialmente en cursos de posgrado.

Alternativas para una optimización de la normativa arquitectónico-urbanística de Nueva Córdoba

Las normativas Arquitectónico urbanísticas de una Ciudad tienen una influencia decisiva sobre la calidad de vida de sus habitantes. El proyecto en curso ha procurado generar criterios y modalidades técnicas concretas para la optimización de las normas que regulan la organización y el crecimiento de nuestra ciudad. El proyecto indaga, para el caso del Barrio de Nueva Córdoba sobre como perfeccionar el código vigente a fin de optimizar su aplicación. Del trabajo en curso, ya se pueden obtener valiosos criterios a considerar a la hora de proponer ajustes al código existente. Así también, se ha detectado valiosa información proveniente de la comparación con códigos de ciudades como Bs. As. en Argentina o Asunción en Paraguay, fruto esto de un convenio oportunamente firmado con la Facultad de Arquitectura de la Universidad Columbia de Asunción del Paraguay. Las hipótesis en estudio indagan entre otros elementos sobre el hecho de que las normas producen efectos indeseables, como la supresión de hecho de dobles alturas y soluciones formales y tipológicas de mayor interés que la hipotética “homogeneidad” implicada en las ordenanzas vigentes desde el año 1987. El análisis y trabajo posterior buscó alternativas que, sin volver a foja cero las normas vigentes, corrijan este y otros problemas de la norma. Las normativas arquitectónico – urbanísticas determinan, en un alto grado, el carácter de la ciudad y su arquitectura. Por esta razón, se considera que la comparación entre las normativas de diferentes ciudades ha permitido proporcionar un material de gran valor y utilidad a la hora de combinar los potenciales que subyacen en cada normativa, favoreciendo la calidad espacial, arquitectónica y urbana para la zona de estudio específica del presente proyecto de investigación

La ciudad en transformación: lineamientos proyectuales para la conformación de un paisaje urbano deseable. Caso Córdoba

El desarrollo de los aspectos formales del paisaje/imagen, elemento determinante de la identidad de la ciudad, es necesario para poder intervenir en el tejido urbano tridimensional, complejo diagrama que articula las plurales conexiones entre la matriz histórica y la multiplicidad de transformaciones operadas. El paisaje dinámico es el lugar de la diversidad y de las continuas transformaciones: las tipologías y los trazados se sustituyen soportando superposiciones, mutilaciones, transformaciones en dos y tres dimensiones, que en algunos casos hacen irreconocible el carácter físico y social. La investigación proyectual constituye uno de los instrumentos que puede generar conocimientos útiles para la sistematización de los procesos decisionales en las instancias de intervenciones físico espaciales urbanas. Este período se presenta como la continuación de investigaciones anteriores donde las hipótesis verificadas son ampliadas y el objeto de la estudio se hace aun más específico. Para ello se plantean tres líneas de síntesis y una de evaluación que se desarrollan en forma paralela e interactúan entre si: • Paisaje y el MKT urbano • Paisaje y la sustentabilidad • Paisaje y la geometría

Educación no formal y Desarrollo regional en la Provincia de Córdoba. Un estudio de las demandas y necesidades de formación para el trabajo 2006-2007

En el contexto actual de cambios sociales, económicos, políticos, culturales y tecnológicos, el sistema de educación no formal de la Provincia de Córdoba enfrenta el desafío de adecuar su enfoque y sus prácticas para poder operar como un verdadero “nexo” entre las personas y el trabajo en pro de un desarrollo regional sustentable. Es por ello, que adquiere significado y relevancia: conocer los perfiles y competencias profesionales/laborales requeridos en cada una de las regiones del territorio jurisdiccional y de ese modo avanzar en la re-definición de las ofertas de formación existente para potenciar el desarrollo productivo. Desde esta perspectiva, este estudio tiene por objetivos identificar, describir y sistematizar las necesidades formativas que requieren el desarrollo regional para generar ofertas educativas no formales o adecuar u optimizar aquellas existentes. El mismo será de tipo exploratorio-descriptivo, desarrollándose en dos instancias: en la primera una investigación bibliográfica y, en la segunda, trabajo de campo focalizado en las regiones socio-productivas de la provincia. La primera aproximación permitirá revisar la literatura y sistematizar de manera organizada, la información existente respecto de la formación profesional y laboral. En cambio, en la segunda pretendemos, a partir de la consulta a personas e instituciones claves, analizar la situación de dicha formación en las distintas regiones de la Provincia de Córdoba desde una perspectiva cuanti-cualitativa. Para ello, se elaborará y aplicará: cuestionarios auto administrado (29 Centros de Desarrollo Regional CeDeR); encuestas (100), entrevistas (30) y se organizarán mesas de trabajo focales regionales (7) de las que participarán informantes claves del sector productivo y educativo con el propósito de conformar un mapa de ofertas y demandas formativas que potencien un desarrollo socio-económico regional sustentable. Ambas miradas, la bibliográfica y de campo, se efectuarán en torno de las siguientes categorías de análisis: a) desarrollo socio-económico regional; b) oferta y demandas de formación profesional y laboral. Se espera como resultado del presente estudio una caracterización socio-cultural y productiva de las regiones, la descripción de la oferta existente y su correspondencia con las demandas de formación profesional y laboral en virtud del desarrollo económico y social a nivel regional y por ende provincial en pro de contribuir en el corto plazo con una vinculación real entre educación y el trabajo socialmente productivo.

Leyes numérico-generativas I

El empleo intensivo de computadoras constituye para las investigaciones en los campos de diseño, arte y arquitectura, como así también en las investigaciones formales y/o generativas de cualquier tipo una constante en nuestra actividad. Todo ello trae aparejadas ventajas innegables (velocidad y diversidad de resultados) como también una nueva estructura de costos. (...) Todas nuestras investigaciones tradicionales se valen de recursos muy semejantes a los mecanismos de las computadoras por tratarse de crecimientos o desarrollos numéricos como también leyes de color (tablas cromáticas). Ahora estamos trabajando bajo el sistema de operativo de Windows (empleando herramientas de programación los lenguajes Pascal y C++) empleados equipos PC 486. Paralelamente continuamos las Investigaciones Tradicionales no-computarizadas en lo referido a Color por considerarlas absolutamente indispensables como complemento de las resoluciones que nos brindan las Computadoras. Objetivo general: Avance y ampliación de posibilidades investigativas en el campo de la Geometría Generativa (Creación de Formas) y Cromogénesis (Estudio sistemático y generación del color). Objetivos específicos: 1. Creación y utilización de programas computarizados sobre Puntos Generadores sobre Circunferencia. 2.Creación de obras pictórico-investigativas con base numérica.

Asociatividad y redes interorganizacionales. El caso de la Red Social de la 5ta. Associativity and interorganizational networks. The case of the Social Network of "la 5ta".

En investigaciones anteriores el equipo trabajó sobre el concepto de asociatividad en las prácticas de emprendimientos socioeconómicos y cooperativas surgidos luego de la crisis del 2001 en Argentina. Las conclusiones de dichas investigaciones se agrupan en dos categorías. La primera identifica como un obstáculo importante para generar y sostener la asociatividad, al elevado grado de desconfianza y fragmentación del tejido social, que dificulta la conformación de formas organizacionales asociativas más allá de las emprendidas por personas vinculadas por lazos afectivos previos. La segunda categoría de conclusiones corresponde a las dificultadas asociadas a los niveles de formalidad requeridos por las políticas públicas que promueven la constitución de formas asociativas.Sobre estos antecedentes se propone el análisis otras formas asociativas de mayor envergadura tales como las redes interorganizacionales, que superan la asociatividad entre individuos e incluyen a diversas organizaciones (de la sociedad civil, actores estatales, instituciones educativas, cooperativas, etc.). Estas redes, que incluyen a las formas asociativas estudiadas anteriormente por el equipo, se diferencian de ellas en que los vínculos trascienden el contexto primario de los actores, no necesariamente se asientan sobre estructuras de coordinación formales y cuentan con una cierta trayectoria de construcción colectiva que sirve de base y sustento a proyectos sociales en sectores de alta vulnerabilidad. El objetivo de la investigación es describir y analizar las características de la asociatividad en una de estas redes existente en la ciudad de Córdoba, en especial en lo que hace al diseño organizacional y funcionamiento asociativo, identificando el proceso de incidencia de la misma en políticas públicas y los factores que favorecen y obstaculizan ese proceso. La metodología consiste en la construcción conjunta, con los propios actores, de los problemas de investigación para desde allí comprender y sistematizar sus propias prácticas con el objetivo de generar un conocimiento capaz de potenciar su dinámica y enriquecer la construcción teórica en torno a estas formas organizacionales. La red elegida es la Red Social de la 5ta, compuesta por alrededor de 30 organizaciones entre las que se cuentan OSC y organismos públicos de distintos niveles (provincial y municipal). Funciona desde el año 1998 en la zona sudeste de la ciudad de Córdoba uno de los sectores que concentra los índices más altos de pobreza y morbilidad y mortalidad materno infantil de la ciudad. El deterioro de la situación económica y el progresivo abandono del Estado han convertido gran parte de la zona donde se articula la Red en una zona marginal, adjudicataria en el imaginario público del estigma de peligrosidad. En este marco, el objetivo de la Red es mejorar a calidad de vida de la comunidad a través de acciones conjuntas y del establecimiento de acuerdos con otros actores institucionales.

Efectos de Territorio y Estrategias Familiares de Reproducción Social. El caso del Barrio Las playas de la ciudad de Villa María - Córdoba. Effects of Land and family strategies of social reproduction. The case of the neighborhood ´Las Playas´ in the city of Villa María - Córdoba.

Nuestro proyecto plantea analizar los recursos materiales y simbólicos que ponen en juego las familias pobres, en el marco de su reproducción social, a fin de evaluar en qué medida sus estrategias contribuyen a superar o reproducir las condiciones de pobreza hipotetizando que las prácticas sociales de las agentes en situación de pobreza, incluyen limitaciones conformadas por la estructura patrimonial disponible, como potencialidades inscriptas en la trayectoria colectiva y el estado de los instrumentos de reproducción del barrio, considerado como parte del sistema de estrategias de reproducción de sus unidades domésticas. En ese sentido la comprensión de las estrategias materiales y simbólicas que ponen en juego las familias pobres, nos ofrecerá una comprensión acabada de la problemática en cuestión a los efectos de lograr una incidencia mayor a la hora de la implementación de políticas públicas destinadas a este grupo poblacional, y grupos poblacionales similares. La inteligibilidad de este escenario social, puede ser aprehendida fundamentalmente, desde las posibilidades abiertas por las herramientas de tipo cualitativas, sin embargo la metodología utilizada en este proyecto de investigación considera la triangulación de inter-metodológica como recurso fundamental a fin de dar cuenta tanto de la dimensión explicativa como comprensiva de los problemas sociales a estudiar. La muestra es teórica intencional, sus alcances se definen por criterio de saturación teórica. Unidades de recolección: unidades familiares en situación de pobreza que viven en el barrio Las Playas, instituciones formales y no formales que conforman los instrumentos de reproducción social. En el trabajo de campo se profundizarán las estrategias de: 1- Observación a partir de la construcción de guías para la mayor precisión de un registro de tipo etnográfico; 2- Entrevistas semi-estructuradas y abiertas a diferentes familias del barrio seleccionadas a partir de la técnica denominada "Bola de Nieve" la cual provee un alcance exhaustivo en el territorio determinado; 3- Entrevista a informantes clave relacionados con ONGs e Instituciones Estatales actuantes en el barrio, referentes barriales y sindicales, punteros políticos, etc. Los datos obtenidos en el trabajo de campo deben relevar información que garantice el registro de las diversas miradas de los participantes y controlar la diferenciación entre los datos originales y las propias interpretaciones (Mendizábal, 2006). por lo cual la triangulación inter-metodológica, posibilitará articular reflexivamente los resultados cuantitavos y cualitativos. Se prevé la transferencia de resultados a través de publicaciones individuales o colectivas sobre los resultados obtenidos así como la presentación preliminar de los mismos en congresos y conferencias. Asimismo, se organizarán seminarios con los sectores de la sociedad civil que se trabaje en los que se espera discutir los resultados obtenidos.

Estructura de governance y desempeño económico-social en la provincia de Córdoba. Desarrollo de indicadores y evaluación en perspectiva comparada.

El presente proyecto pretende llevar adelante una caracterización de las estructuras de governance en dos áreas clave de política pública de la provincia de Córdoba como son el sistema previsional y el desarrollo vial. La hipótesis que guía la investigación es que estas dos áreas presentan una serie de ineficiencias que deben imputarse a factores institucionales que han impedido la generación de transacciones intertemporales eficientes y, en consecuencia, la adopción de políticas de largo plazo y de alta calidad. El objetivo general del proyecto es establecer los aspectos fundamentales de las estructuras de governance que han dado lugar a la configuración y a los resultados en estas dos áreas con el fin de realizar recomendaciones de rediseño institucional orientados a mejorar la eficiencia en estos ámbitos de la gestión pública. Los objetivos particulares son: 1) establecer las características básicas que ha asumido el policy making en el área previsional y de desarrollo de la red vial en los últimos años; 2) especificar en estas áreas los resultados de las políticas públicas, evaluándolos en términos de los resultados y elaborando al respecto una serie de indicadores que permitan establecer las brechas de eficiencia existentes; 3) establecer en cada caso las instituciones políticas implicadas y la organización de las reglas bajo las cuales las decisiones son tomadas, elaborando una serie de indicadores de “calidad institucional”; 4) precisar en cada área los actores involucrados (políticos, electores, burócratas y grupos de interés), estableciendo en cada caso los incentivos que instituciones vigentes implican para cada uno de ellos; 5) desarrollar en cada una de estas dimensiones una estrategia comparativa con la provincia de Santa Fé, de tal modo de poder dar mayor precisión a las conclusiones y a los respectivos indicadores; 6) Desarrollar un modelo formal que de cuenta de las características del proceso de policy making en las dos áreas estudiadas. La estrategia metodológica es una combinación del método comparativo con estudio de caso. Los casos seleccionados para la comparación, siguiendo el criterio de la máxima similitud, son Córdoba y Santa Fe. En cada uno de ellos se seguirá una estrategia de process-tracing, a partir de la cual, y sobre la base de diferentes técnicas de recolección de datos que incluyen pricipalmente la consulta documental y la realización de entrevistas semi-estructuradas, se procederá a reconstruir el proceso de policy making en las áreas de políticas estudiadas. La comparación permitirá mantener bajo cierto control algunas variables contextuales de tipo económico y social. Los resultados que se esperan obtener son: 1) un conjunto de indicadores relativos a la eficiencia de los resultados de las políticas estudiadas; 2) un conjunto de indicadores relativos a la calidad de las estructuras de governance en las áreas analizadas; 3) una evaluación comparativa respecto de la provincia de Santa Fé, de los incentivos derivados de las estructuras de governance en las áreas de políticas públicas estudiadas; 4) la identificación de los actores relevantes y sus orientaciones de comportamiento; 5) criterios de evaluación de los contextos institucionales más amplios que los correspondientes a las áreas especificadas pero vinculados a ellas; 6) modelos formales que den cuenta de los procesos de policy making y que permitan formular hipótesis fundadas sobre áreas diferentes de política pública; 7) una serie de recomendaciones bien fundamentadas empírica y analíticamente sobre diseño y rediseño institucional orientadas a mejorar el proceso de policy making en las áreas examinadas.

Coordinación socio-política. Redes de influencia y estructuras de poder en Córdoba, 2009.

El debate en torno a la manera en que se producen las decisiones colectivas y los resultados comunes ha constituido un importante campo de observación de las Ciencias Sociales en las últimas décadas, pero ha sido poco abordado en la Ciencia Política de nuestro país. El estudio de la coordinación socio-política requiere examinar la manera en que se producen las decisiones colectivas y se orienta el sesgo institucional, e importa la observación de las estructuras y procesos que subyacen a los mecanismos formales de decisión. La teoría pluralista sostiene que las decisiones y políticas públicas resultan de una competencia entre sectores y grupos con diversos recursos de poder, pero que éste se encuentra disperso de tal modo que ninguno puede imponer sus intereses al resto de la sociedad. De otro lado, algunos estudiosos insisten en que existe una diferencia suficientemente importante en la distribución de recursos de poder, lo que produce que las decisiones públicas y los resultados comunes se encuentren fuertemente condicionados por los intereses y perspectivas de grupos poderosos, corporaciones y elites. En esta línea, una parte de la literatura politológica insiste en la necesidad de estudiar no sólo las decisiones que se toman en el estado, sino también las no decisiones e incluso las problemáticas sociales que no logran entrar en agenda de decisiones públicas. La mayoría de los estudios clásicos sobre las élites analizan aspectos de la ecología política y no las relaciones estructurales que se producen entre actores, sectores y grupos. Así, estos enfoques no logran dar cuenta de los procesos y mecanismos que subyacen a la resolución de lo común y cómo se produce y reproduce el poder. El análisis de redes socio-políticas, como sistemas de decisión colectiva, resulta un enfoque más propicio para dar cuenta de esta problemática. Esta perspectiva permite superar las limitaciones de los estudios clásicos porque se enfoca en las estructuras relacionales que configuran los actores y en el efecto que éstos y sus coaliciones tienen sobre los resultados políticos. La presente investigación pretende tomar esta línea de trabajo y estudiar la coordinación socio-política provincial, su grado de apertura y pluralidad. Con estre fin se pretende identificar y analizar la configuración de las redes de influencia y las estructuras de poder socio-político que se configuran en torno a la política provincial. El estudio permite, además: a- analizar los factores subyacentes y los mecanismos de producción y reproducción del poder y la influencia socio-política; y b- analizar las áreas de política provincial en las que los actores y sectores que configuran la estructura de poder, ejercen influencia

ESTRUCTURA DE GOVERNANCE Y DESEMPEÑO ECONÓMICO-SOCIAL EN LA PROVINCIA DE CÓRDOBA, 2003-2011. DESARROLLO DE INDICADORES Y EVALUACIÓN EN PERSPECTIVA COMPARADA

El presente proyecto pretende llevar adelante una caracterización de las estructuras de governance en dos áreas clave de política pública de la provincia de Córdoba como son el sistema previsional y el desarrollo vial. La hipótesis que guía la investigación es que estas dos áreas presentan una serie de ineficiencias que deben imputarse a factores institucionales que han impedido la generación de transacciones intertemporales eficientes y, en consecuencia, la adopción de políticas de largo plazo y de alta calidad. El objetivo general del proyecto es establecer los apectos fundamentales de las estructuras de governance que han dado lugar a la configuración y a los resultados en estas dos áreas con el fin de realizar recomendaciones de rediseño institucional orientados a mejorar la eficiencia en estos ámbitos de la gestión pública. Los objetivos particulares son: 1) establecer las características básicas que ha asumido el policy making en el área previsional y de desarrollo de la red vial en los últimos años; 2) especificar en estas áreas los resultados de las políticas públicas, evaluándolos en términos de los resultados y elaborando al respecto una serie de indicadores que permitan establecer las brechas de eficiencia existentes; 3) establecer en cada caso las instituciones políticas implicadas y la organización de las reglas bajo las cuales las decisiones son tomadas, elaborando una serie de indicadores de “calidad institucional”; 4) precisar en cada área los actores involucrados (políticos, electores, burócratas y grupos de interés), estableciendo en cada caso los incentivos que instituciones vigentes implican para cada uno de ellos; 5) desarrollar en cada una de estas dimensiones una estrategia comparativa con la provincia de Santa Fé, de tal modo de poder dar mayor precisión a las conclusiones y a los respectivos indicadores; 6) Desarrollar un modelo formal que de cuenta de las características del proceso de policy making en las dos áreas estudiadas. La estrategia metodológica es una combinación del método comparativo con estudio de caso. Los casos seleccionados para la comparación, siguiendo el criterio de la máxima similitud, son Córdoba y Santa Fe. En cada uno de ellos se seguirá una estrategia de process-tracing, a partir de la cual, y sobre la base de diferentes técnicas de recolección de datos que incluyen pricipalmente la consulta documental y la realización de entrevistas semi-estructuradas, se procederá a reconstruir el proceso de policy making en las áreas de políticas estudiadas. La comparación permitirá mantener bajo cierto control algunas variables contextutales de tipo económico y social. Los resultados que se esperan obtener son: 1) un conjunto de indicadores relativos a la eficiencia de los resultados de las políticas estudiadas; 2) un conjunto de indicadores relativos a la calidad de las estructuras de governance en las áreas analizadas; 3) una evaluación comparativa respecto de la provincia de Santa Fé, de los incentivos derivados de las estructuras de governance en las áreas de políticas públicas estudiadas; 4) la identificación de los actores relevantes y sus orientaciones de comportamiento; 5) criterios de evaluación de los contextos institucionales más amplios que los correspondientes a las áreas especificadas pero vinculados a ellas; 6) modelos formales que den cuenta de los procesos de policy making y que permitan formular hipótesis fundadas sobre áreas diferentes de política pública; 7) una serie de recomendaciones bien fundamentadas empírica y analíticamente sobre diseño y rediseño institucional orientadas a mejorar el proceso de policy making en las áreas examinadas. La importancia del proyecto surge de la ausencia casi total de este tipo de estudios a nivel provincial en la Argentina y la relevancia que sus resultados pueden tener en términos del diseño e implementación de políticas socio-económicas en la provincia de Córdoba.

Análisis de las Relaciones Internacionales argentinas a partir de la construcción de identidad en los medios, la marca país y los espacios de participación ciudadana como factores domésticos de la política exterior.

El presente proyecto se propone integrar en una investigación tres dimensiones de la proyección identitaria de Argentina en el sistema internacional, como son la construcción mediática de la realidad, las estrategias de comunicación y participación de la sociedad civil y las definiciones en torno a la marca país. En tal sentido, se explorará la incidencia de estas tres dimensiones en la política exterior argentina en el período 2003-2011. Se parte del supuesto de que las producciones periodísticas se alejan cada vez más del ideal de política de comunicación exterior, al tiempo que se acercan en alianzas a las entidades de participación ciudadana. Esta relación muchas veces supera el impacto y construcción de realidad hacia afuera de aquellas estrategias de comunicación formales que diseña el estado argentino. Por un lado, la influencia de la producción mediática, de la sociedad civil y de la marca país no han sido consideradas en forma acabada en el estudio de las relaciones internacionales, a pesar de que los paradigmas actuales les otorgan a estas dimensiones un papel relevante en la construcción de imagen y posicionamiento internacional de los países. Por otro lado, la identificación de estas dimensiones como factores que inciden en la política exterior dan cuenta de un cambio de paradigma en las relaciones internacionales en épocas recientes, en tanto se suman a las dimensiones tradicionales vinculadas al paradigma realista. Finalmente, los hallazgos de este estudio servirán de base para el diseño de una política exterior que amplíe las dimensiones exclusivas del ámbito diplomático, a la vez que integre políticas dispersas relativas a comunicación, medios, participación ciudadana y marca país.

Verificación Formal de Sistemas basada Formal Software Verification based on Automated Analysisen Análisis Automático.

Identificación y caracterización del problema. Uno de los problemas más importantes asociados con la construcción de software es la corrección del mismo. En busca de proveer garantías del correcto funcionamiento del software, han surgido una variedad de técnicas de desarrollo con sólidas bases matemáticas y lógicas conocidas como métodos formales. Debido a su naturaleza, la aplicación de métodos formales requiere gran experiencia y conocimientos, sobre todo en lo concerniente a matemáticas y lógica, por lo cual su aplicación resulta costosa en la práctica. Esto ha provocado que su principal aplicación se limite a sistemas críticos, es decir, sistemas cuyo mal funcionamiento puede causar daños de magnitud, aunque los beneficios que sus técnicas proveen son relevantes a todo tipo de software. Poder trasladar los beneficios de los métodos formales a contextos de desarrollo de software más amplios que los sistemas críticos tendría un alto impacto en la productividad en tales contextos. Hipótesis. Contar con herramientas de análisis automático es un elemento de gran importancia. Ejemplos de esto son varias herramientas potentes de análisis basadas en métodos formales, cuya aplicación apunta directamente a código fuente. En la amplia mayoría de estas herramientas, la brecha entre las nociones a las cuales están acostumbrados los desarrolladores y aquellas necesarias para la aplicación de estas herramientas de análisis formal sigue siendo demasiado amplia. Muchas herramientas utilizan lenguajes de aserciones que escapan a los conocimientos y las costumbres usuales de los desarrolladores. Además, en muchos casos la salida brindada por la herramienta de análisis requiere cierto manejo del método formal subyacente. Este problema puede aliviarse mediante la producción de herramientas adecuadas. Otro problema intrínseco a las técnicas automáticas de análisis es cómo se comportan las mismas a medida que el tamaño y complejidad de los elementos a analizar crece (escalabilidad). Esta limitación es ampliamente conocida y es considerada crítica en la aplicabilidad de métodos formales de análisis en la práctica. Una forma de atacar este problema es el aprovechamiento de información y características de dominios específicos de aplicación. Planteo de objetivos. Este proyecto apunta a la construcción de herramientas de análisis formal para contribuir a la calidad, en cuanto a su corrección funcional, de especificaciones, modelos o código, en el contexto del desarrollo de software. Más precisamente, se busca, por un lado, identificar ambientes específicos en los cuales ciertas técnicas de análisis automático, como el análisis basado en SMT o SAT solving, o el model checking, puedan llevarse a niveles de escalabilidad superiores a los conocidos para estas técnicas en ámbitos generales. Se intentará implementar las adaptaciones a las técnicas elegidas en herramientas que permitan su uso a desarrolladores familiarizados con el contexto de aplicación, pero no necesariamente conocedores de los métodos o técnicas subyacentes. Materiales y métodos a utilizar. Los materiales a emplear serán bibliografía relevante al área y equipamiento informático. Métodos. Se emplearán los métodos propios de la matemática discreta, la lógica y la ingeniería de software. Resultados esperados. Uno de los resultados esperados del proyecto es la individualización de ámbitos específicos de aplicación de métodos formales de análisis. Se espera que como resultado del desarrollo del proyecto surjan herramientas de análisis cuyo nivel de usabilidad sea adecuado para su aplicación por parte de desarrolladores sin formación específica en los métodos formales utilizados. Importancia del proyecto. El principal impacto de este proyecto será la contribución a la aplicación práctica de técnicas formales de análisis en diferentes etapas del desarrollo de software, con la finalidad de incrementar su calidad y confiabilidad. A crucial factor for software quality is correcteness. Traditionally, formal approaches to software development concentrate on functional correctness, and tackle this problem basically by being based on well defined notations founded on solid mathematical grounds. This makes formal methods better suited for analysis, due to their precise semantics, but they are usually more complex, and require familiarity and experience with the manipulation of mathematical definitions. So, their acceptance by software engineers is rather restricted, and formal methods applications have been confined to critical systems. Nevertheless, it is obvious that the advantages that formal methods provide apply to any kind of software system. It is accepted that appropriate software tool support for formal analysis is essential, if one seeks providing support for software development based on formal methods. Indeed, some of the relatively recent sucesses of formal methods are accompanied by good quality tools that automate powerful analysis mechanisms, and are even integrated in widely used development environments. Still, most of these tools either concentrate on code analysis, and in many cases are still far from being simple enough to be employed by software engineers without experience in formal methods. Another important problem for the adoption of tool support for formal methods is scalability. Automated software analysis is intrinsically complex, and thus techniques do not scale well in the general case. In this project, we will attempt to identify particular modelling, design, specification or coding activities in software development processes where to apply automated formal analysis techniques. By focusing in very specific application domains, we expect to find characteristics that might be exploited to increase the scalability of the corresponding analyses, compared to the general case.

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.

Derechos de participación e información en programas dirigidos a adolescentes en escuelas secundarias de la Ciudad de Córdoba: cumplimiento progresivo y estrategias de promoción. Participation and information rights in programs for adolescents in secondary schools in Cordoba City: progressive implementation and promotion strategies.

Abordar la infancia desde el enfoque de derechos (ED) implica una lectura de los derechos de los cuales los niños, niñas y adolescentes (NNA) son titulares y de las acciones estatales que se implementan para viabilizar el ejercicio concreto de ellos. Esta perspectiva exige comprender los contenidos de las políticas púb,el grado de participación que se les asigna y los sentidos que ellas toman en términos de progresividad de los derechos. Los cambios de concepción de la infancia desde la Convención Internacional de los Derechos del Niño (CIDN) y los cambios legislativos interpelan al Estado y la sociedad a modificar la visión hegemónica. Nuestra hipótesis gira alrededor de las siguientes considerac.: se han producido algunas modificaciones en las políticas y acciones estatales, aún no se dan las transformaciones necesarias de las lógicas institucionales y de los operadores que estimulen la participación de NNA en el ámbito escolar. Esto se visualiza en la ausencia de análisis cuali de los contenidos de las acc. y la falta de ftes estadísticas específicas, que muestren la orientac.de los contenidos en los principios de la protecc.integral. Estos presupuestos plantean interrogantes que delimitan el problema de investigación: ¿cómo se construye y reconstruye el ejercicio de la ciudadanía a través de la participación de los NNA, en su paso por la escuela, y cuáles son las lógicas institucionales que habilitan u obstaculizan ese ejercicio? Y ¿cuáles son los recursos institucionales que permitan que los programas y acciones redunden en el ejercicio efectivo de los derechos?.Obj.gral: Describir, analizar e interpretar la progresividad en el ejercicio de los derechos de participación e informacióin que tienen los adolescentes en escuelas secundarias de la cd de Cba, durante 2005 / 2010, para promover espacios públicos de construcción de ciudadanía. Se analizarán tres escuelas de Córdoba, escuela pública provincial, púb. nacional y privada. Obj. Espec.: Analizar las prácticas participativas formales e informales en las escuelas seleccionadas.- Aplicar indicadores cuanti y cualitativos del “Sistema de Indicadores para los derechos de la Infancia” Describir y analizar los recursos materiales y humanos. Elaborar y proponer procedim. para la confec. de registros de datos estadísticos - Elaborar y proponer lineamientos para la elaborac.e implementac.de acciones. Diseñar herramientas de difusión sobre los ds de participación e información.Esta investigac. es de carácter descriptivo e interpretativo, analizará diferentes ftes de informac.con técnicas cuanti y cualitativas, durante período la promulgación de la Ley 26061/05 y la adhesión prov. 9396/07. Se tomarán del Sistema de Indicadores, el derecho a la educación, el tema transversal “Acceso a la información y participación”, y las categorías de análisis “Recepción del Derecho y Capacidades estatales”. Se trabajaran indicadores cuanti y señales de progreso (cualitativos): estructurales, proceso y resultados. Serán analizados los Programas implementados durante el período de estudio. Estrategias cuali observac. participante, entrevistas, grupos focales, talleres de sensibilización, etc .Otras ftes de info: doc. institucionales, registros, evaluac, contenidos de programas y campañas y de difusión, prensa escrita, legislaciones, etc. La info se analizará a través Programa Atlas Ti, y del análisis estadístico. Algunos resultados esperados: Evaluac.y ajuste del Sistema de indicadores, la sensibilizac. desde el EF de autorid. escol. para la formulac. de planes y programas para el monitoreo adecuado de los mismos y para la rendic. de ctas de su gestión. Estimular la participac. de NNA en la escuela. Realizac.de documental. Brindar herramientas al Edo para superv de la aplicación progresiva del ejercicio de los derechos de participación e información de NNA Promov la continua evaluac. de los programas y acc.desde el ED para estimular el reconoc. de la nec.de ajuste de la política. The issue of children from the rights focus implies a reading of the rights in which children and adolescents are the holders and the state actions that are implemented to enable the exercise of them. This perspective requires understanding the contents of the public policies, the participation level that is assigned, and the senses that they take in terms of rights progressivity of. The conception changes about children since the International Convention on the Rights of the Child and legislative changes challenge to the State and society to modify hegemony vision. Our hypothesis revolves around the following considerations: there have been some public policies and state actions changes, but they not turn out, yet, transformations in logical institutional and actors whose are encourages children participation in school. This could be reflects in the absence of qualitative analysis in the actions contents and the lack of sources specific statistics, that will be showing the control of the principal contents of integral protection. These, raise the questions that delimit our problem research: how is built citizenship exercise through children and adolescent’s participation in the school, and what are the institutional logical that empowers or turns difficult that exercise? And What are the institutional resources that make possible the effective exercise of the rights, through different programs and actions?. General Objective: To describe, analyze and interpret exercise progressivity participation and information rights that have the adolescents in secondary schools in Córdoba City during 2005 / 2010, in order to promote public spaces for the construction of citizenship. It will analyze three schools in Cordoba, provincial public school, national public school and private school. . Obj. Specifics: To analyze the formal and informal participative practices in the schools selected. - To apply quantitative and qualitative indicators of the “Indicators System for Infa