Una estrategia integral y definición de políticas socio habitacionales, a partir de los códigos de valores, derechos y necesidades de la población que habita en Villas de Emergencia de la Ciudad de Córdoba (Red Pictor)

La pobreza y exclusión social en que se encuentran las familias o individuos que habitan en situación de emergencia social y habitacional en la ciudad de Córdoba, generan pautas de apropiación y construcción de hábitat diferentes al resto de la población. El presente proyecto propone elaborar una estrategia integral de desarrollo e inclusión social y urbana, y definir políticas públicas que puedan dar respuesta al problema socio-habitacional de los sectores de villas de emergencia de la ciudad de Córdoba teniendo en cuenta valores y pautas de la población. Bajo este marco contextual, a través del desarrollo del presente proyecto de investigación aplicada, se busca abordar explícitamente el factor socio-habitacional y su incidencia en los procesos de exclusión de sectores de la población que no acceden a los derechos a la ciudad y que llevan a niveles de tensión social y violencia creciente. Cuando nos referimos al “no acceso” a los derechos a la ciudad, nos referimos al no acceso a beneficios básicos de infraestructura, de servicios de salud y educación de calidad, entre otros. En términos específicos, plantea abordar la dificultad que existe para el desarrollo de políticas y proyectos sectoriales socio-habitacionales para el sector de villas de emergencia que tengan en cuenta los valores, potencialidades y recursos de la población y los actores involucrados en dicha problemática, elaborando una estrategia integral para definir políticas públicas.

Relaciones interculturales, mercado de trabajo y localización socio-espacial de los inmigrantes bolivianos que residen en áreas urbanas y periurbanas de la ciudad de Córdoba

Este proyecto estudiará los procesos de segmentación del mercado laboral y de segregación socio-espacial de los inmigrantes bolivianos en áreas urbanas y peri-urbanas de la ciudad de Córdoba, y las maneras en que dichos procesos son justificados a través de estereotipos basados en distinciones culturales y/o raciales. Focalizaremos sobre las relaciones de desigualdad y de explotación que signan el mercado de trabajo y otros espacios de sociabilidad en el contexto actual de acumulación del capital. Nos planteamos las siguientes hipótesis: 1) Los inmigrantes bolivianos que residen en la ciudad de Córdoba se vinculan, como mano de obra no calificada, con un mercado laboral informal segmentado étnicamente, en el marco de procesos discriminatorios basados en estereotipos étnico-raciales. 2) Algunos inmigrantes bolivianos lograron cierta movilidad económicoproductiva, convirtiéndose en patrones de sus co-nacionales en diferentes sectores (construcción, horticultura, comercio informal, industria de indumentaria), hecho que es facilitado por la activación de redes migratorias. 3) Los estereotipos sobre los bolivianos son re-significados y, a veces, confrontados por agentes vinculados con los medios y con organismos gubernamentales y no gubernamentales. 4) La segregación residencial es otro mecanismo discriminatorio que favorece la exclusión de los inmigrantes trabajadores. Nuestro objetivo principal es caracterizar los diferentes ámbitos laborales en los que se desempeñan los inmigrantes bolivianos en la ciudad de Córdoba y conceptualizar las relaciones inter e intra culturales que se dan en ese marco, teniendo en cuenta la incidencia de: las redes migratorias, las trayectorias migratorias y laborales, y la heterogeneidad de los capitales de los inmigrantes; la localización socio-espacial de los lugares de trabajo y de otros espacios de sociabilidad; y, las maneras en que diversos agentes reproducen o confrontan los estereotipos sobre los bolivianos. Se aplicará una estrategia de triangulación de métodos y de técnicas. Desde un enfoque cuantitativo analizaremos los aspectos socio-demográficos de la población de origen boliviano que reside en la ciudad de Córdoba, teniendo en cuenta su inserción laboral y ubicación socio-espacial en áreas urbanas y peri-urbanas. Se analizarán periódicos de edición provincial y aquellos editados por organizaciones de inmigrantes bolivianos en Córdoba y en Buenos Aires. Se caracterizarán las acciones y políticas destinadas a inmigrantes bolivianos. Se realizarán estudios etnográficos de casos en las áreas urbanas y peri-urbanas en donde residen y/o trabajan inmigrantes bolivianos. Se desarrollarán talleres destinados a inmigrantes bolivianos con el objetivo de reflexionar sobre sus derechos laborales y sus derechos como inmigrantes.

La educación superior en la Provincia de Córdoba. El caso de los Institutos Superiores de Formación Técnico Profesional y su contribución al desarrollo socio-económico

El estudio y análisis reflexivo del sistema educativo y en especial, del nivel superior que se desarrolla en instituciones no pertenecientes a la universidad en el acontecer de un proceso de desarrollo humano mundial, regional y local y en el marco de los nuevos órdenes e incertidumbres por los cambios a que asistimos permanentemente en la sociedad actual, lleva a plantearnos la centralidad de la educación y la contribución que ésta realiza atendiendo las demandas/necesidades socioeconómicas del entorno socio-productivo. El presente trabajo de investigación se propone estudiar la realidad de los Institutos Superiores, que si bien, no están insertos en el ámbito de la universidad, pertenecen al mismo nivel de formación. Nos referimos específicamente a las instituciones de Formación Técnica Profesional de gestión pública (estatales y privados) existentes en la Provincia de Córdoba. Este estudio busca describir la situación institucional, analizar experiencias innovadoras respecto de su aporte al desarrollo socio-económico de la región y al mismo tiempo proponer alternativas superadoras ante la crisis en la cual está inserto el sistema, a la vez que, abrirá posibilidades de concretar otras investigaciones. La convicción que nos moviliza es que, este trabajo puede brindarnos elementos para reorientar la transformación del subsistema ligado a las políticas de desarrollo socio-económico de la región y del país, aumentar el grado de familiaridad con el tema mencionado y abrir interrogantes para futuras investigaciones, en esta tarea de construir una educación de calidad con equidad para todos y entre todos.

Calidad de vida del niño en situación socio-económica adversa

¿Cuál es la calidad de vida de los niños bajo diferentes situaciones sociales y de salud en la ciudad de Córdoba durante el período 2004 a 2006? ¿Porqué medir la Calidad de Vida en los niños? El desarrollo actual de la sociedad en su conjunto y de las ciencias en lo particular, han determinado que el 80% a 90% de los niños con diferentes dificultades físicas, psíquicas o sociales lleguen a la edad adulta. La presencia de esas dificultades en el momento de la maduración física y psicosocial puede impedir el desarrollo normal, originando un número no determinado de secuelas . Por ello nos parece importante identificar los problemas que afectan la CV de los niños, reconocerlos y darlos a conocer tan pronto como sea posible. Ello permitiría: - Identificar grupos que necesitan una pronta intervención en lo físico, psicológico o social. (Impacto de corto y mediano plazo). - Proveer información más allá de los parámetros cuantitativos (fisiológicos o bioquímicos). No es raro observar que individuos con grados equivalentes de dificultad muestran una diferencia notable en la sensación de bienestar y en el desarrollo de sus funciones. Diversas investigaciones han demostrado que la evaluación de la CV proporciona una imagen más adecuada de la que hacen otros parámetros por separado, y que lo hace tal como lo percibe el individuo afectado. - La evaluación de la CV se correlaciona mejor con la sensación de bienestar y la utilización de servicios sociales que la calificación que un médico, por ejemplo, hace de ese individuo. Esto hace a la eficiencia del modelo elegido. Los resultados pueden identificar grupos que demandan servicios en exceso y señalar posibles causas. - La evaluación de la CV de un individuo proporciona información que los padres, amigos o profesionales no pueden dar. Los parientes y profesionales tienden a subestimar la CV del niño y evalúan en forma diferente la importancia de las preocupaciones e incertidumbres de una situación. - El mapa de riesgo de la infancia Argentina otorga prioridad y por ende oportunidad al estudio de la CV de los niños. La eficiencia del modelo propuesto cobra importancia al suponer un impacto social y cambios positivos de importancia. El Objetivo general es: Investigar la Calidad de Vida del niño en forma genérica y específica. Los Objetivos específicos: Identificar un sistema de prioridades a partir de un proyecto genérico. Examinar la Calidad de Vida en relación a la salud en sus propios grupos de riesgo.

Coordinación socio-política. Redes de influencia y estructuras de poder en CórdobaSocio-political coordination. Influence Networks and power structures in Córdoba.

Los mecanismos de producción y reproducción de la influencia política es una importante área de estudio de la ciencia política en las últimas décadas. En la misma se han disputado diferentes teorías, desde las que plantean la influencia predominante de grupos de poder y sectores corporativos tanto en las decisiones del estado como en las no decisiones, hasta los que plantean que existe la puja de diferentes intereses dentro del Estado pero que no existe ningún grupo predominante. El análisis de redes (network analysis) permite estudiar este objeto mediante la observación de la estructura de relaciones de los actores influyentes dentro de la política provincial. En esta area de estudio, este proyecto propone estudiar de qué manera se produce y reproduce la influencia política en la Provincia de Córdoba.Las hipótesis que plantea el proyecto son las siguientes: H1- La estructura del poder socio-político provincial adquiere una configuración reticular en la que existe un núcleo de actores que representan intereses tradicionales organizados y permite un escaso acceso de nuevas organizaciones que defienden intereses sociales difusos. H2- En el proceso de influencia sociopolítica provincial operan mecanismos de influencia interpersonales directos e indirectos (Brokerage) que permiten a los actores acceder e influir en los decisores públicos. H3- En el proceso de influencia socio-política interviene una diversidad de recursos de poder que los actores utilizan para influir las políticas públicas. Para esto se propone como objetivos del proyecto los siguientes: 1- Identificar y analizar la estructura de poder e influencia que subyace a la política provincial. 2- Analizar los intereses, actores y sectores incluidos y excluidos de la estructura de influencia política. 3- Analizar los mecanismos y recursos de producción y reproducción del poder y la influencia. 4- Analizar las áreas de política del estado provincial que resultan lugar de influencia de los actores y sectores que configuran la estructura de poder socio-política. 5- Analizar el sistema de decisión colectiva (policy domain) en dos áreas de política provincial. 6- Analizar los recursos que posibilitan a los actores ejercer poder e influencia en las áreas de políticas estudiadas. Para la verificación empírica de las hipótesis se realiza un diseño de investigación que incluye el mapeo y análisis de dos tipos de redes políticas diferentes, la "red de influencia en la política provincial" y la red de influencia en un "área de políticas públicas". La reconstrucción de las redes políticas se realizará mediante entrevistas semi-estructuradas a actores sociales y políticos en un muestreo no probabilístico de tipo "bola de nieve". La investigación pretende realizar un aporte a la comprensión de la coordinación política y, en tal sentido, espera alcanzar una adecuada descripción y comprensión de los procesos de influencia y de estructuración del poder en la Provincia de Córdoba.

Gestión del diseño y la innovación en la relación universidad - entramado socio-productivo.

El problema que aborda la investigación es la falta de transferencia de conocimientos de diseño + innovación (arquitectura, diseño industrial, diseño gráfico, etc.) al sistema socio productivo de la provincia de Córdoba, lo cuál afecta la productividad y la competitividad de las empresas y, por otra parte, dificulta la inserción laboral de los profesionales formados en las universidades del medio. La provincia de Córdoba posee un importante potencial industrial que intenta contrabalancear el predominio de la región metropolitana de Buenos Aires. Las áreas de mayor desarrollo son la automotriz, metal-mecánica, agro-industrial, la construcción y la alimentaria. El diseño correctamente gestionado, constituye una fuente de ventajas comparativas, una eficaz metodología para la innovación de productos y procesos y un factor de rentabilidad económica. Por otro lado, existe una falta de respuesta a problemas relacionados al diseño, (como los aspectos relativos a la calidad de vida, la responsabilidad social y la protección del ambiente, por mencionar algunos) que no son formulados como prioridades cuantitativas en los productos de diseño promovidos por las empresas. En este sentido, las Universidades de la Red cuentan con instrumentos específicos a nivel de grado y postgrado para promover la interrelación entre Universidad, Empresas y ONGs de la Provincia. La carrera de Diseño Industrial de la Universidad Nacional de Córdoba y la Maestría en Diseño de la Universidad Católica de Córdoba han estado cooperando desde inicios del 2009 en la conformación del Programa Córdoba Diseña del Ministerio de Ciencia y Tecnología de la Provincia de Córdoba, que tiene el objetivo de "desarrollar y orientar las capacidades de análisis, evaluación y asistencia técnica en temas referidos al Diseño para el gobierno, las empresas, las universidades y centros de investigación". En el marco de ese programa del que las universidades participantes son miembros, existe un diagnóstico incipiente de los requerimientos de las empresas y de la actividad de los diseñadores en la provincia. Al mismo tiempo, se ve necesario recabar datos sobre los requerimientos de diseño desde el sector de organizaciones no gubernamentales y sin fines de lucro. A los efectos de contar con un relevamiento que posibilite un diagnóstico más preciso, es necesario sistematizar y cruzar los datos que se derivan de: la conformación del entramado socio-productivo de la provincia, la oferta académica y el capital humano que estamos formando en las Universidades. Ambas universidades integrantes de la Red, cuentan con una reconocida trayectoria en el Área de Diseño y con capital humano de diferentes disciplinas (diseño industrial, arquitectura, gestión pública, sociología, etc.) para llevar adelante el proyecto. Los resultados del proyecto servirán para formular un marco teórico específico, fundamentar estrategias de mejoramiento de la calidad académica, delinear propuestas de sistemas asociativos y definición de prioridades de líneas de investigación para mejorar la eficiencia de la relación Universidades-Empresas-Sociedad. Por otra parte, posibilitarán relevar las demandas del medio-socio productivo en términos de la formación profesional requerida, la inserción de los profesionales y la importancia de la innovación en tanto valor agregado a productos y procesos en el entramado socio-productivo de la provincial de Córdoba. OBJETIVOS - Analizar, sistematizar y consolidar información respecto a la experiencia acumulada, las capacidades actuales y las potencialidades en materia de diseño e innovación en Córdoba; - Identificar las empresas del medio productivo local y las organizaciones del tercer sector que demandan profesionales formados en diseño e innovación, e indagar sobre los requerimientos que plantean en términos de competencias y formacion académica; -Identificar los desfasajes que pudieran existir en relación a la demanda que plantea el medio productivo.

Relaciones interculturales, mercado de trabajo y localización socio-espacial de los inmigrantes bolivianos que residen en áreas urbanas y periurbanas de la ciudad de Córdoba.

Este proyecto estudiará los procesos de segmentación del mercado laboral y de segregación socio-espacial de los inmigrantes bolivianos en áreas urbanas y peri-urbanas de la ciudad de Córdoba, y las maneras en que dichos procesos son justificados a través de estereotipos basados en distinciones culturales y/o raciales. Focalizaremos sobre las relaciones de desigualdad y de explotación que signan el mercado de trabajo y otros espacios de sociabilidad en el contexto actual de acumulación del capital. Nos planteamos las siguientes hipótesis: 1) Los inmigrantes bolivianos que residen en la ciudad de Córdoba se vinculan, como mano de obra no calificada, con un mercado laboral informal segmentado étnicamente, en el marco de procesos discriminatorios basados en estereotipos étnico-raciales. 2) Algunos inmigrantes bolivianos lograron cierta movilidad económico-productiva, convirtiéndose en patrones de sus co-nacionales en diferentes sectores (construcción, horticultura, comercio informal, industria de indumentaria), hecho que es facilitado por la activación de redes migratorias. 3) Los estereotipos sobre los bolivianos son re-significados y, a veces, confrontados por agentes vinculados con los medios y con organismos gubernamentales y no gubernamentales. 4) La segregación residencial es otro mecanismo discriminatorio que favorece la exclusión de los inmigrantes trabajadores. Nuestro objetivo principal es caracterizar los diferentes ámbitos laborales en los que se desempeñan los inmigrantes bolivianos en la ciudad de Córdoba y conceptualizar las relaciones inter e intra culturales que se dan en ese marco, teniendo en cuenta la incidencia de: las redes migratorias, las trayectorias migratorias y laborales, y la heterogeneidad de los capitales de los inmigrantes; la localización socio-espacial de los lugares de trabajo y de otros espacios de sociabilidad; y, las maneras en que diversos agentes reproducen o confrontan los estereotipos sobre los bolivianos. Se aplicará una estrategia de triangulación de métodos y de técnicas. Desde un enfoque cuantitativo analizaremos los aspectos socio-demográficos de la población de origen boliviano que reside en la ciudad de Córdoba, teniendo en cuenta su inserción laboral y ubicación socio-espacial en áreas urbanas y peri-urbanas. Se analizarán periódicos de edición provincial y aquellos editados por organizaciones de inmigrantes bolivianos en Córdoba y en Buenos Aires. Se caracterizarán las acciones y políticas destinadas a inmigrantes bolivianos. Se realizarán estudios etnográficos de casos en las áreas urbanas y peri-urbanas en donde residen y/o trabajan inmigrantes bolivianos. Se desarrollarán talleres destinados a inmigrantes bolivianos con el objetivo de reflexionar sobre sus derechos laborales y sus derechos como inmigrantes.

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

GESTIÓN DEL DISEÑO Y LA INNOVACIÓN EN LA RELACIÓN UNIVERSIDAD - ENTRAMADO SOCIO-PRODUCTIVO

PROBLEMA DE INVESTIGACION El problema que aborda la investigación es la falta de transferencia de conocimientos de diseño + innovación (arquitectura, diseño industrial, diseño gráfico, etc.) al sistema socio productivo de la provincia de Córdoba, lo cuál afecta la productividad y la competitividad de las empresas y, por otra parte, dificulta la inserción laboral de los profesionales formados en las universidades del medio. La provincia de Córdoba posee un importante potencial industrial que intenta contrabalancear el predominio de la región metropolitana de Buenos Aires. Las áreas de mayor desarrollo son la automotriz, metal-mecánica, agro-industrial, la construcción y la alimentaría. El diseño correctamente gestionado, constituye una fuente de ventajas comparativas, una eficaz metodología para la innovación de productos y procesos y un factor de rentabilidad económica. Por otro lado, existe una falta de respuesta a problemas relacionados al diseño, (como los aspectos relativos a la calidad de vida, la responsabilidad social y la protección del ambiente, por mencionar algunos) que no son formulados como prioridades cuantitativas en los productos de diseño promovidos por las empresas. En este sentido, las Universidades de la Red, cuentan con instrumentos específicos a nivel de grado y postgrado para promover la interrelación entre Universidad, Empresas y Ongs de la Provincia. La carrera de Diseño Industrial de la Universidad Nacional de Córdoba y la Maestría en Diseño de la Universidad Católica de Córdoba han estado cooperando desde inicios del 2009 en la conformación del Programa Córdoba Diseña del Ministerio de Ciencia y Tecnología de la Provincia de Córdoba, que tiene el objetivo de "desarrollar y orientar las capacidades de análisis, evaluación y asistencia técnica en temas referidos al Diseño, para el gobierno, las empresas, las universidades y centros de investigación". En el marco de ese programa del que las universidades participantes son miembros, existe un diagnóstico incipiente de los requerimientos de las empresas, y de la actividad de los diseñadores en la provincia. Al mismo tiempo, se ve necesario recabar datos sobre los requerimientos de diseño desde el sector de organizaciones no gubernamentales y sin fines de lucro. A los efectos de contar con un relevamiento que posibilite un diagnóstico más preciso, es necesario sistematizar y cruzar los datos que se derivan de: la conformación del entramado socio-productivo de la provincia, la oferta académica y el capital humano que estamos formando en las Universidades. Ambas universidades integrantes de la Red, cuentan con una reconocida trayectoria en el Área de Diseño y con capital humano de diferentes disciplinas (diseño industrial, arquitectura, gestión pública, sociología, etc.) para llevar adelante el proyecto. Los resultados del proyecto servirán para formular un marco teórico específico, fundamentar estrategias de mejoramiento de la calidad académica, delinear propuestas de sistemas asociativos y definición de prioridades de líneas de investigación para mejorar la eficiencia de la relación Universidades-Empresas-Sociedad. Por otra parte, posibilitarán relevar las demandas del medio-socio productivo en términos de la formación profesional requerida, la inserción de los profesionales y la importancia de la innovación en tanto valor agregado a productos y procesos en el entramado socio-productivo de la provincial de Córdoba. OBJETIVOS - Analizar, sistematizar y consolidar información respecto a la experiencia acumulada, las capacidades actuales y las potencialidades en materia de diseño e innovación en Córdoba. - Identificar las empresas del medio productivo local y las organizaciones del tercer sector que demandan profesionales formados en diseño e innovación, e indagar sobre los requerimientos que plantean en términos de competencias y formacion académica. -Identificar los desfasajes que pudieran existir en relación a la demanda que plantea el medio productiv

Enfoques sobre la ciudadanía. Philosophical Perspectives on Citizenship.

La necesidad que da origen al presente proyecto se relaciona con la ausencia de un tratamiento de la cuestión de la ciudadanía que haga interactuar distintos enfoques filosóficos -el principal indicador de esta carencia es la ausencia de producciones académicas que den cuenta de la complejidad que adquiere la temática si se la aborda desde los problemas que nos proporcionan otras perspectivas filosóficas y políticas-. En este sentido, el problema general del proyecto apunta a hacer discutir diferentes abordajes conceptuales para pensar la ciudadanía. Específicamente, trabajamos a partir de dos enfoques: 1) la discusión entre liberales y comunitaristas y sus actuales derivas y 2) la cuestión de la biopolítica y su relación con la temática de la ciudadanía. Se procura revisar la discusión liberales-comunitaristas propia de las ciencias políticas, interpelándola a partir de conceptos como los de dominación, relaciones de poder, control sobre la vida, disciplina, entre otros provenientes de la filosofía práctica, la teoría social, las ciencias de la educación, etc. Nuestra investigación parte de la hipótesis de que hacer discutir las problemáticas que se disputan liberales-comunitaristas, con la Teoría Crítica de la Escuela de Frankfurt y con los recientes fenómenos biopolíticos, permite un abordaje que atiende a la efectiva complejidad de las prácticas de ciudadanía en nuestra vida en común en las sociedades democráticas contemporáneas. Esto permitirá complejizar los presupuestos con los que tradicionalmente se ha pensado la ciudadanía, a partir sobre todo de los fenómenos socio-políticos más recientes, como los nuevos movimientos sociales, las discusiones acerca de la legislación del aborto y la eutanasia, los esfuerzos de los estados nacionales por incrementar medidas de seguridad que van desde la imposición de fuertes barreras a la inmigración hasta la realización de guerras preventivas. Entendemos que estos, entre otros fenómenos, desafían la hermenéutica tradicional sobre la ciudadanía. Es de esta manera que se buscará comprender los límites y alcances de las ideas de ciudadanía, entendiéndola como un concepto histórico formador de subjetividades. La metodología se basa en una perspectiva interdisciplinaria que proporciona las herramientas para un análisis conceptual de la temática de la ciudadanía. Esta metodología está orientada al desarrollo de un marco teórico que resulte productivo para investigaciones de campo en las ciencias sociales, así como también para la elaboración de un material bibliográfico destinado a docentes abocados a la ciudadanía. Otro de los propósitos fundamentales es el de formar una red entre diferentes equipos de investigación a nivel nacional a partir de las “I Jornadas Nacionales sobre Ciudadanía” y de la organización de un seminario especializado con un profesor visitante. As far as the general topic of citizenship concerns philosophy, the theoretical problem of how to reconcile the different perspectives, assuming that this is an enterprise that can be done, remains an open question. Furthermore, the absence of academic material dealing with the problem seems to be a good indicator of this tendency. The main focus of the present Project aims at coping with some of the most notorious theoretical approaches to citizenship. More specifically, we will analyze the next two approaches: 1) the debate libertarians-communitarians and 2) the relationship between biopolitics and citizenship. Our purpose is to revise the discussion libertarians-communitarians incorporating concepts such as domination, power-relationships, life-control, among others that find their roots in practical philosophy, social theory, education and so on. To the extent that theories of citizenship are only provided with the usual conceptual machinery, some of the most remarkable phenomena of our democratic societies will stand for them out of reach: the existence of new social movements, abortion and euthanasia, inmigration, etc. Our hypothesis is that by making the debate libertarians-communitarians interact with the Critical Theory as well as with biopolitical concepts, we will be in a better position to try to understand these diverse phenomena. With the development of some sort of a new hermeneutics, we expect to criticize the old ideas related to citizenship and to re-elaborate them in a way that allows us to understand this concept in a less-fundamental, historical sense. Methodologically, we will adopt a multi-dimensional approach which expects to be fruitful to many other investigations in the area of social sciences. The Project pretends to be useful as a consultation resource for educators in a bibliographical index to design their curricula. At the same time,a seminar with a visiting profesor, the organization of a Congres will be our main objectives.

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.