DENSIFICACION URBANA: POTENCIAL DE DESARROLLO DE AREAS VACANTES.PROPUESTA DE NUEVAS HERRAMIENTAS VALORATIVAS. Acercamientos alternativos al fenómeno del crecimiento. Estudio de casos. Relevamiento y registro gráfico-conceptual.

La ciudad compacta, se ha dispersado en fragmentos deshilvanando el tejido social en fracciones desconectadas del sentido más profundo de lo urbano. Una realidad plena de contradicciones acumula experiencias ajenas a los modelos teóricos de profesionales y de la gestión pública. Los conflictos de la ciudad superan la planificación, siendo la renta del suelo el único paradigma del desarrollo urbano. La presente Investigación pretende reflexionar acerca de las metodologías de trabajo y los instrumentos posibilitantes de una urbanidad sustentable abordando una crítica al actual paradigma de desarrollo urbano. Se pretende el relevamiento de los sectores conpotencial de cambio (fragmentos urbanos, espacios vacantes, áreas degradadas, etc.) transfiriéndolos a una base de datos digitalizada, que pueda convertirse en un instrumento disciplinar y académico Hipótesis Las posibilidades de revisión del modelo de crecimiento extensivo de baja densidad se producen con mayor intensidad en las áreas vacantes de la ciudad. El potencial de los grandes espacios vacantes de la ciudad es definido por la especulación e intereses de los emprendedores que actúan en el mercado. El Código Normativo es el instrumento que consolida este modelo operativo Objetivos �Promover el análisis y crítica de la ciudad y su territorio, a los efectos de posibilitar un proyecto disciplinar con una urbanidad sustentable. �Proponer herramientas de análisis que permita operar de manera eficiente sobre la dinámica de crecimiento. �Elaborar una base digital de datos como instrumento operativo, que favorezca a la comprensión de fenómenos complejos Materiales y métodos a utilizar 1. Recopilación de datos y estudios bibliográficos para definir el marco conceptual y elaboración de metodos de análisis de espacios vacantes. 2. Estudio y análisis de las normativas vigentes 3. Identificación de espacios vacantes de la ciudad de Córdoba, identificando problemas de fragmentación y dispersión urbana y social: técnicas de muestreo. 4. Relevamiento y registro de campo. 5. Experiencia proyectual en la carrera Resultados esperados -Caracterización de fragmentos urbanos de la ciudad de Córdoba -Registro en base de datos identificando fragmentos urbanos de la Ciudad de Córdoba -Elaboración gráficos conceptuales y modelización en 3D -Resultados de experiencia piloto Importancia del proyecto Considerando el crecimiento de la ciudad de Córdoba, la crisis de las infraestructuras a la degradación de los espacios urbanos, la falta de una planificación sustentable y la desactualización de las Normativas Vigentes, se hace necesario la reflexión en el ámbito académico Pertinencia Contar con documentación real y confiable es prioritaria para la gestión de la ciudad, posibilitando articular problemas y oportunidades. Desde el campo metodológico brinda la posibilidad de formar una base teórica suceptible de relacionar la crítica y el proyecto.

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.