Entre la ejecución y la representación: intersecciones de lo real en la construcción escénica. Between the execution and the representation: intersections of the real thing in the scenic construction.

Esta propuesta de investigación se enmarca en los encuentros y discusiones que se están realizando en la Escuela de Artes de la Facultad de Filosofía y Humanidades (CEPIA, CIFFyH y SeCyT, de la U.N.C), en relación a las problemáticas de la investigación en Artes. Los encuentros llevados a cabo en diversas ocasiones y a lo largo de 2009, demuestran la necesidad de establecer un campo particular de la investigación y su relación con la práctica artística. Este proyecto nace de estas inquietudes y establece ciertos ejes de trabajo que permiten poner en práctica ciertos esbozos imaginados. En este sentido, nuestra propuesta se centra en definir la misma construcción escénica como objeto de estudio, delimitando sobre éste la problemática de lo real en el trabajo de la ficción, proponiendo además un equipo que permita investigar en su propio desarrollo creativo las diversas variables que entran en juego. De este modo, se trabajará en una propuesta de laboratorio escénico donde los planteos de orden teórico atraviesen la práctica y, a su vez, la observación de ésta permita una reelaboración y profundización del pensamiento contemporáneo sobre la problemática ejecución/representación, desde los diversos órdenes en que ésta interviene. La idea de representación teatral que planteaba Aristóteles señala que las acciones devienen necesariamente en la definición del carácter de los personajes. Este concepto es clave en el desarrollo del teatro occidental y por ende en las diferentes concepciones de actor. La definición de acción dada por Aristóteles es problemática para parte del teatro contemporáneo ya que supone que toda acción es mimética. También da por supuesto que en el teatro se conforman personajes, y que la unidad narrativa está dada por una programática, que es definida por la acción.La presente investigación se propone indagar en la relación entre la ejecución de la acción y su representación en el desarrollo de un laboratorio teatral. Esto implica que necesariamente es aplicada al trabajo escénico. Nuestra hipótesis de partida es que la relación conflictiva entre acción, ejecución de la misma y representación, se produce a partir de la operación material sobre lo real . Estas intersecciones podrían ser pensadas como una teoría del montaje donde la corporalidad es el principio necesario e irreductible de la construcción. La intersección de lo real es una problemática que permite ahondar sobre los procedimientos por los cuales se construye la escena. La idea de un teatro material, obliga a pensar con qué procedimientos se construye ficción. Un teatro que intenta recalar en lo “real” como modo de señalar la cosa misma, se propone, desde la perspectiva de la realización, indagar en los mecanismos de su construcción (procedimientos), por lo cual supone que la actividad teatral puede dar cuenta de los procesos por los cuales se realiza. La realización de una acción, puede remitir a sí misma y genera una relación “extraña” y ambigua con el mundo de referencia. La acción en sí misma, pone en cuestión la idea de modelo y da cuenta de una crisis en la representación. La teoría ha intentado dividir y sistematizar de manera binaria la manifestación teatral: Teatro de Representación/ Teatro Performático, para distinguir un teatro vinculado a la creación de personajes o para relacionarlo a un teatro de ejecución. Sin embargo, pensamos que es posible encontrar en la producción escénica, intersecciones de lo real que median el mundo de la representación y el de la performance para la construcción de ficción. Nuestra hipótesis de base es que si intervenimos el plano de la ejecución en el actor, la representación varía sustancialmente sus mecanismos de producción de sentido. Este primer planteo no es conflictivo hasta que se pone de manifiesto lo real. This research’s proposal is framed into the meetings and discussions that have been taking place in the School of Arts of the Faculty of Philosophy and Humanities (CEPIA, CIFFyH y SeCyT, of the National University of Cordoba), concerning the difficulties of research in Arts. The meetings carried out along 2009, demonstrate the need to establish a particular field of research and its relation to the practice of arts. This project is born from these concerns and it establishes central axis for the work, that enables us to put on practice some sketches imagined. In this regard, our proposal focuses on defining the construction of the scene as object of study, in itself, delimiting the issue of “the real” in the work of fiction. Proposing, furthermore, a team for researching the many variables that comes into play, in their own creative development. Consequently, the work will be developed in the method of a scenic laboratory, where the theoretical proposals cross over the practice and, in turn, these observations allow a reworking and deepen of contemporary thinking about the problematic of performance / representation, from the diverse orders in which it intervene. The idea of theatrical performance proposed by Aristotle, indicate that actions necessarily turn into the definition of the nature of the characters. This concept is key to the development of Western theaterand consequently on the different conceptions of actor. The definition of action given by Aristotle is problematic for a part of the contemporary theater, because it assumes that every action is mimetic. Also presumes that in the theatre the characters are formed, and narrative unit is given by a programmatic, which is defined by the action. This research proposes to explore the relationship between implementation of the action and its representation in the development of a theatrical laboratory. This implies that it is applied necessarily to the scenic practice. Our preliminary hypothesis is that the co.

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